路径依赖类型与“基础类型”，哪些被检查？

Question

当使用反射来使用路径依赖类型时，即使我有匹配的“基础类型”，我也会遇到类型不匹配错误。什么是这些“非基础类型”，为什么他们检查而不是“基础类型”？

在下面的代码中，我想compare方法只接受A的同类型子类作为参数。错误在最后一行。

abstract class A(val a:Int) { 
    type Impl <: A 
    def compare(other:Impl) { 
    if(a==other.a) println("equal") else println("diff") 
    } 
} 
class B(a:Int) extends A(a) {type Impl = B} 

object Test { 
    def newInst(a: Int, className: String) = { 
    val constr = Class.forName(className).getConstructors()(0) 
    constr.newInstance(a.asInstanceOf[AnyRef]).asInstanceOf[A] 
    } 

    def main(args: Array[String]) { 
    val b1 = newInst(4, "B") 
    val b2 = newInst(5, "B") 
    b1.compare(b2) // type mismatch error here 
    } 
} 

在最后一行我得到这个错误：

error: type mismatch; 
found : b2.type (with underlying type A) 
required: b1.Impl 

由于B2的类型相同b1的类型（这是），我预计这不会产生错误。由于某些原因，这些路径依赖类型在使用反射时与“基础类型”不同。为什么？

如果我不使用反射，它的工作原理：

val b1 = new B(4) 
val b2 = new B(5) 
b1.compare(b2) // no errors 

（我需要在我的情况下，使用反射）。 newInst()可以使用反射将对象返回为类“B”吗？这会有帮助吗？使用抽象类型时是否有类型擦除？

这是我发现的唯一参考文献（on this forum）关于相同的错误，但它可能没有关系。

Answer 1

这与反射没有任何关系。 b1和b2的类型是A（因为这是返回类型newInst）。要拨打b1.compare(b2)进行编译，b2必须具有b1.Impl类型。编译器只知道它是A的某个子类型，但它不知道哪一个。由于您无法通过A，其中某些子类型为A是必需的，因此会出现错误。

在这个例子中

val b1 = new B(4) 
val b2 = new B(5) 
b1.compare(b2) // no errors 

两个变量的类型为B和B#Impl是B，所以一切typechecks。

Answer 2

I just figured that out too. The expression "underlying type" is a bit misleading, while it actually means "parent type". Ideally I would like to cast the return type of newInst to the class of "className" but that looks like it is not possible in Scala. "

这并不意味着“父类型”。这种类型确实是父母。基础类型是指单一类型的拓宽。数字5的类型是单身;其基础类型是Int。大多数人不会将Int称为“父类型”。 （尽管如此，它也是。）

至于这个问题，你可以投它。没有什么会阻碍你：scala不会和java不能。

def main(args: Array[String]) { 
    val b1 = newInst(4, "B") 
    val b2 = newInst(5, "B") 
    b1.compare(b2.asInstanceOf[b1.Impl]) 
} 
% scala Test 
diff