А указание типа (handleAbc3[String]) почему не помогает? Во 2м случае

Question

Scala User Group

Mikekekeke

А указание типа (handleAbc3[String]) почему не помогает? Во 2м случае

подставляется ведь нужный. (пардонте, если спрашиваю какую-то ересь =) )

#programming #russian #scala

0

08.11.2017

4 ответов

14 просмотров

Mikhail S

оно и не должно помогать. потому что метод handleAbc3 не просит имплиситов и соответственно все, что ты укажешь в точке вызова этого метода никак не относится к тем имплиситам которые должны быть зарезолвлены ВНУТРИ метода handleAbc3. представь, что тело этого метода компилируется полностью изолированно от остальной части(а именно так и происходит) и он понятия не имеет где может быть вызван и с какими параметрами, ведь твой код может просто в либе лежать скомпилированный и никогда не знаешь кто будет тобой пользоваться.

0

08.11.2017

Mikhail S

во втором случае у тебя такое тело метода def handleAbc2(x: ABC[String]) = { printAbc(x) // разворачивается в printAbc(x)(format) - потому что x:ABC[String] и он ищет имплисит для ABC[String] и естественно находит верхний подходящий implicit val format }

0

08.11.2017

Mikhail S

руками разверни то, что делает компилятор и тогда все сразу станет понятно) в 3-ем тебе надо def handleAbc3[T](x: ABC[T])(implicit f: ABC[T] => String) = { printAbc(x) // развернется в printAbc(x)(f), потому что имплисит f:ABC[T] => String подходит под то, что ищет компилятор для printAbc } и теперь в точке вызова handleAbc3(ABC("adsda")) - развернется в handleAbc3(ABC("asda"))(format) - и нет нужды указывать [String] - оно само выведет

0

08.11.2017

Oleg ℕižnik · Accepted Answer

Oleg ℕižnik

Ты указываешь тип в вызове метода, а ошибка в определении.

0

08.11.2017

169 похожих чатов

А указание типа (handleAbc3[String]) почему не помогает? Во 2м случае

4 ответов

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