Блог

У меня есть код scala 2.13, который в основном сводится к следующему

 import scala.language.implicitConversions

trait Base {
  type V
  def v: V
}

case class Derived(v: Int) extends Base {
  type V = Int
}


object TestImplicitConversion {
  implicit def getV[T <: Base](a: T): T#V = a.v

  val a: Int = Derived(5)
}

 

Здесь я бы ожидал , что компилятор будет использовать неявное преобразование getV для преобразования Derived в Int , но код не компилируется. Добавление вызова вручную в getV , приведет к компиляции кода. Может кто-нибудь помочь мне понять, почему преобразование, где в стандарте это объясняется.

Способ, который я нашел для выполнения такого преобразования, заключается в добавлении второго общего параметра и ограничения

 implicit def getV2[T <: Base, S](a: T)(implicit constraint: T#V =:= S): S = constraint(a.v)
 

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

Редактировать:

Альтернативное решение, предоставленное @user с использованием типа уточнения, действительно кажется лучшим подходом. Но на самом деле это не дает ответа на вопрос, почему его оригинальная реализация не работает. Поэтому мне все еще интересно понять, почему компилятор не использует неявное определение, когда явный вызов приведет к компиляции кода.

Как упоминал в комментариях Джанлука Агуцци, проекция типа является необоснованной, и ее следует избегать. Более того, T это не конкретный тип, поэтому вы все равно не можете использовать проекции на нем. Вместо этого вы можете принимать только Base#V в качестве параметра типа и использовать тип уточнения для типа a :

 implicit def get[T](a: Base { type V = T }): T = a.v
 

Таким образом, вы можете избежать приведения и ввода проекций.

Скасти