[Scala]Вызвать конструктор параметризованного типа

Можно неявно передавать в функцию билдер, который и будет создавать объекты нужного типа.

Например,

trait PuperBuilder[+T] {
  def create(): T
}

implicit def string2puperBuilder(lst: List[String]) = new PuperBuilder[String] {
  def create() = "New"
}

def addObject[T](list:List[T])(implicit builder: List[T] => PuperBuilder[T]): List[T] = {  
  val newObject = builder(list).create(); 
  newObject :: list 
} 

Проверка:

scala> addObject(List("1", "2"))
res0: List[java.lang.String] = List(New, 1, 2)

Только я передавал бы билдер напрямую, иначе каждый раз будет создаваться объект-оболочка. Это не .NET, где можно требовать от параметрического типа наличия конструктора по-умолчанию.

P.S. Скалу только начал изучать.

Хотя билдер можно сделать и модулем, тогда лишние оболочки создаваться не будут, но все равно, это неправильный путь, как мне кажется :)

val newObject = new T;

А скобачки в Scala не пишут?
val newObject = new T()

> А скобачки в Scala не пишут?

Не роляет, там сначала вообще было new T(name)...

dave, изврат-то какой :)

>Это не .NET, где можно требовать от параметрического типа наличия конструктора по-умолчанию.

а что случиться, если этот конструктор приватный?

Так, как в ОП-посте это сделать невозможно потому что type erasure. А делать надо так:

import scala.reflect.Manifest

scala> def addObject[T](list: List[T])(implicit m: Manifest[T]) = {
     val newObject = m.erasure.newInstance
     newObject :: list
}

Проверяем:

scala> val l = List("asdf")
l: List[java.lang.String] = List(asdf)

scala> addObject(l)
res17: List[Any] = List(, asdf)

Разумеется, должен быть конструктор по умолчанию. И вообще, про implicit-аргументы для создания объектов правильно сказали, этот путь более прямой.

а что случиться, если этот конструктор приватный?

будет еггог, надо думать

А скобачки в Scala не пишут?

Пишут для нечистых вызовов, когда есть побочный эффект.

Ну это всего лишь соглашение.

> будет еггог, надо думать

интересно также, что будет в скале — надеюсь, что ЕГГОГ будет во время компиляции...?

а насчет .нет — там получается надо делать еггог во время исполнения, либо отказаться от шаблонов над типами с приватным конструктором, что тоже хреново

>res17: List[Any] = List(, asdf)

похоже, ты недокопипастил, и получился List[Any]

надо = m.erasure.newInstance.asInstanceOf[T]

З.Ы. эта вещь выглядит подозрительно — того и гляди, кинет исключение в рантайме

> dave, изврат-то какой :)

чувак, а *ты* подумал, что будет, если у тебя у Т конструктор по умолчанию будет приватный?

тебе с этим надо считаться, так что implicit тут неизбежен, вопрос только какой конкретно

>получился List[Any]

Ага, недоглядел.

Наткнулся http://www.0chan.ru/c/res/105485.html

Выездная сессия ЛОРа?