Neden scala bu tür birleştirme birleştirmiyor lambda altta yatan tipte?

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 
} 

Yukarıdakilerin derlenmesini beklemek yanlış mıyım? Kodum düzeltilebilir mi?

Answer 1

Derleyici özel bir örneğine ait T S#Ttest için bağımsız değişken olarak kullanılabileceğini olmayan yeterli kanıt vardır somut örnekte.

trait A2 extends A{ 
    type T <: AnyRef 
} 

class A3 extends A2{ 
    override type T = Integer 

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

Yani B[A2]<: AnyRefA3 ederken ihtiyaçları tam olarak Integer kendi test uygulanması için hiçbir şey birlikte A3 örneğini kabul etmelidir zayıflamış scala derleyicisi için bu hypotecical örneği inceleyin

Sen beton yakalayabilirsiniz

Ne tür kullanılacağını öğrenmek için B tanımında yazın

Answer 2

I (basitleştirme için türü parametreleri kaldırıldı) kodlamaları ile gelebilir:

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 

Bu, diğer taraftan durum sınıfları argümanları (ne de bu konuda sınıfları) ile çalışmadı. Kodlamanız işe yaramaz nedenlerinden

biri: (A#T karşı)

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) 

önemli parçası required: a.T olduğunu. A test yöntemi T this.T alır ya da başka bir deyişle, herhangi bir T almaz, A.

Answer 3

yerine bir tür projeksiyon Bağımlı tipini a.T kullanabilirsiniz:

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

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