Кажется, я не понимаю что-то важное, возможно, об стирании (черт возьми).
У меня есть метод, который я хотел создать массив размера n, заполненный значениями из gen:
def testArray[T](n: Int, gen: =>T) {
val arr = Array.fill(n)(gen)
...
}
И используйте его, например, как:
testArray(10, util.Random.nextInt(10))
Но я получаю ошибку:
scala: could not find implicit value for evidence parameter of type scala.reflect.ClassManifest[T]
val arr = Array.fill(n)(gen)
^
Пожалуйста, объясните, что я сделал неправильно, почему эта ошибка и какой код это делает невозможным?
Это потому, что в testArray конкретный тип T не известен во время компиляции. Ваша подпись должна выглядеть как def testArray[T : ClassManifest](n: Int, gen: =>T), это добавит к вашему методу неявный параметр типа ClassManifest[T], который автоматически передается вызову testArray, а затем передается далее на вызов Array.fill. Это называется context bound.
Метод Array.fill имеет следующую подпись:
def fill[T](n: Int)(elem: => T)(implicit arg0: ClassManifest[T]): Array[T]
Чтобы получить экземпляр ClassManifest[T], вам нужно знать конкретный тип. A ClassManifest можно получить следующим образом:
implicitly[ClassManifest[String]]
A ClassManifest неявно доступен для каждого конкретного типа.
Для любой ошибки implicit вы можете добавить имплициты, которые вам нужны, с параметром type:
def wrap[T](n:Int)(elem: => T)(implicit c:ClassManifest[T], o:Ordering[T])
Если вы сами не представили ClassManifest или Ordering, писатели библиотеки (скорее всего) предоставили вам разумные значения по умолчанию.
Если вы вызовете метод wrap:
wrap(2)(3)
Он расширяется следующим образом:
wrap[Int](2)(3)(implicitly[ClassManifest[Int]], implicitly[Ordering[Int]])
Если вы представили пользовательский класс Person здесь, вы получите ошибку, чтобы не найти неявный экземпляр Ordering[Person]. Писатели библиотеки не могли знать, как заказать Person. Вы могли бы решить следующее:
class Person
implicit val o = new Ordering[Person] { // implement required methods }
wrap(2)(new Person)
Компилятор Scala выглядит в разных областях для implicits, Ordering обычно не указывается так. Я предлагаю вам найти неявное разрешение в Интернете, чтобы узнать больше об этом.