Почему я не могу создать массив универсального типа?

Question

Это не работает:

def giveArray[T](elem:T):Array[T] = {
    new Array[T](1)
  }

Но это так:

  def giveList[T](elem:T):List[T] = {
    List.empty[T]
  }

Я уверен, что это довольно простая вещь, и я знаю, что массивы могут вести себя немного необычно в Scala.

Может ли кто-нибудь объяснить мне, как создать такой массив, а также почему он вообще не работает?

Answer 1

Это связано с стиранием типа JVM. Манифест был введен для обработки этого, они приводят к тому, что информация о типе должна быть присоединена к типу T. Это скомпилирует:

def giveArray[T: Manifest](elem:T):Array[T] = {
  new Array[T](1)
}

Есть почти дублированные вопросы по этому вопросу. Дай мне посмотреть, смогу ли я выкопать. Для получения дополнительной информации см. http://www.scala -lang.org / documents / files / collection-api / collection_38.html . Я цитирую (в вашем случае замените EvenElems на Elem)

Здесь требуется, чтобы вы помогли компилятору, предоставив некоторую подсказку во время выполнения, что является фактическим параметром типа evenElems

В частности, вы также можете использовать ClassManifest.

def giveArray[T: ClassManifest](elem:T):Array[T] = {
  new Array[T](1)
}

Похожие вопросы:

• не удается найти манифест класса для типа элемента T
• Что такое манифест в Scala и когда он вам нужен?
• Об обобщениях Scala: не удается найти манифест класса для типа элемента T