Почему scala не объединяет этот тип лямбда с базовым типом?

Question

trait A { 
    type T 
    def test(t: T): Unit 
} 

case class B[S <: A](a: S, t : S#T) { 
    def test() = a.test(t) // Error: type mismatch; 
    // found : B.this.t.type (with underlying type S#T) 
    // required: B.this.a.T 
} 

Неужели я не ожидаю, что вышеприведенное? Может ли мой код быть исправлен?

Answer 1

Компилятор не имеет достаточных доказательств того, что S#T может быть использована в качестве аргумента для test в конкретном случае.

Рассмотрим hypotecical примера ослаблена лестница компилятора

trait A2 extends A{ 
    type T <: AnyRef 
} 

class A3 extends A2{ 
    override type T = Integer 

    def test(t: Integer): Unit = println(t * 2) 
} 

Так B[A2] должен принять экземпляр A3 вместе со всем, что есть <: AnyRef в то время как A3 потребности точно Integer своей собственной test реализации

Вы можете поймать бетон введите определение B, чтобы убедиться, какой тип будет использоваться

case class B[S <: A, ST](a: S {type T = ST}, t: ST) { 
    def test() = a.test(t) 
} 

Answer 2

я мог придумать с кодировками (удален параметрами типа для упрощения):

scala> :paste 
// Entering paste mode (ctrl-D to finish) 

def test0(a: A)(t : a.T) = a.test(t) 

abstract class B{ 
    val a: A 
    val t: a.T 
    def test = a.test(t) 
} 

// Exiting paste mode, now interpreting. 

test0: (a: A)(t: a.T)Unit 
defined class B 

этого с другой стороны, не работал с тематическими классами аргументами (ни классами по этому вопросу).

Одна из причин, ваша кодировка не будет работать:

scala> def test1(a: A)(t : A#T) = a.test(t) 
<console>:12: error: type mismatch; 
found : t.type (with underlying type A#T) 
required: a.T 
     def test1(a: A)(t : A#T) = a.test(t) 

Важной частью является required: a.T (по сравнению с A#T). Метод испытания в A не принимает каких-либо Т, оно принимает Т this.T, или, другими словами, Т, принадлежащих к одному конкретному экземпляру А.

Answer 3

Вместо проекции типа можно использовать зависимый тип a.T:

trait A { 
    type T 
    def test(t: T): Unit 
} 

case class B[S <: A](a: S)(t : a.T) { 
    def test() = a.test(t) 
}