如何从投影类型推断正确的类型参数？

Question

让 Scala 从类型投影中推断出正确的类型时遇到了一些麻烦。

考虑以下几点：

trait Foo {
  type X
}

trait Bar extends Foo {
  type X = String
}

def baz[F <: Foo](x: F#X): Unit = ???

然后以下编译正常：

val x: Foo#X = ???    
baz(x)

但以下内容无法编译：

val x: Bar#X = ???    
baz(x)

Scala 看到x 的“基础类型字符串”，但丢失了x 是Bar#X 的信息。如果我注释类型，它可以正常工作：

baz[Bar](x)

有没有办法让 Scala 为 baz 推断正确的类型参数？
如果不是，一般的答案是什么？

Answer 1

程序通过在上下文中添加这个隐式转换来编译：

implicit def f(x: Bar#X): Foo#X = x

由于这种隐式转换对于任何F <: Foo 都是正确的，我想知道为什么编译器不自己这样做。

Answer 2

您还可以：

trait Foo {
    type X
}
trait Bar extends Foo {
    type X = String
}
class BarImpl extends Bar{
  def getX:X="hi"
}
def baz[F <: Foo, T <: F#X](clz:F, x: T): Unit = { println("baz worked!")}
val bi = new BarImpl
val x: Bar#X = bi.getX
baz(bi,x)

但是：

def baz2[F <: Foo, T <: F#X](x: T): Unit = { println("baz2 failed!")}
baz2(x)

失败：

test.scala:22: error: inferred type arguments [Nothing,java.lang.String] do not conform to method baz2's type parameter bounds [F <: this.Foo,T <: F#X]
baz2(x)
^
one error found

我认为基本上，F <: foo f x>特定 X 来自哪个类。您的 X 只是一个字符串，不保留指向 Bar 的信息。

注意：

def baz3[F<: Foo](x : F#X) = {println("baz3 worked!")}
baz3[Bar]("hi")

也有效。你定义了一个 val x:Bar#X=???就是那个意思？？？仅限于 Bar#X 在编译时可能发生的任何情况...编译器知道 Bar#X 是字符串，因此 x 的类型只是一个字符串，与任何其他字符串没有区别。