Неправомерное Scala или Eclipse, использование ошибка Implicits

Question

У меня есть класс, определяемые ниже:

class NDArray[T](data: List[List[T]])(implicit num: Numeric[T]) 
..... 

Я объект, который создает и возвращает новый NDArray:

object Foo 
{ 
    def apply() = 
    { 
     new NDArray(List(List()) 
    } 
} 

Я получаю следующее error: Недостаточно аргументов для конструктора NDArray: (неявное число: числовое [A]) com.numscal.matrix.NDArray [A]. Неопределенный параметр значения num.

Я попытался импортировать Numeric в объект, который создает NDArray, но это не работает. Мои юнит-тесты для NDArray не импортируют Numeric, и у них нет никаких проблем.

Я смущен относительно того, что происходит. Есть идеи?

Answer 1

scala> List(List()) 
res19: List[List[Nothing]] = List(List()) 

Там нет неявной Числовой для Nothing, используйте List.empty[List[TypeYouNeed]]

Answer 2

data список списков типа T. Для конструктора NDArray требуется объект типа Numeric[T]. Поскольку этот параметр объявлен implicit, это означает, что вам не нужно указывать его явно, когда компилятор может найти его в видимой в настоящее время области, которая также была определена как implicit.

Теперь, поскольку вы создаете экземпляр NDArray без указания T, компилятор сообщает T. Он находит список списков и использует тип элемента внутреннего списка как T. Но поскольку вы не указали, что один и список пуст, по умолчанию это List[Nothing], поэтому компилятор заключает, что T - это тип Nothing.

Затем он ищет implicit экземпляр Numeric[Nothing], но этого не существует.

Есть несколько вещей, которые вы можете сделать. Либо:

new NDArray(List(List[Int]())) 

Или:

new NDArray[Int](List(List())) 

(Хотя я не уверен, что последний из них сработает, я не знаю, если компилятор будет считать параметр типа внутреннего списка. правильно, вам просто нужно попробовать.)

Номер implicit экземпляра Numeric[Int] уже импортирован по умолчанию, так как он является частью Predef. Вам не нужно явно импортировать его. То же самое относится ко всем примитивным числовым типам.

Я не знаю, хотите ли вы использовать список списков целых чисел, или плавать, или что-то еще. Компилятор тоже не знает, и он не может сделать вывод, потому что список, который вы указали, пуст.