Dlaczego ta składnia parametru typu nie jest kompilowana?

Question

Say mam:

class Class[CC[A, B]] 
class Thing[A, B <: Int] 
class Test extends Class[Thing] // compile error here 

pojawia się błąd kompilatora:

kinds of the type arguments (cspsolver.Thing) do not conform to the expected kinds of the type parameters (type CC) in class Class. cspsolver.
Thing's type parameters do not match type CC's expected parameters: type C's bounds <: Int are stricter than type B's declared bounds >: Nothing <: Any

Jednak kiedy zmodyfikować kod tak, że wygląda to tak:

class Class[CC[A, B]] 
class Thing[A, B] { 
    type B <: Int 
} 
class Test extends Class[Thing] 

kompiluje grzywny. Czy nie są one funkcjonalnie równoważne?

Answer 1

Przyczyna jest podana w komunikacie kompilatora. W wersji Class użytkownik oczekuje nieograniczonego numeru CC, natomiast Thing ma ograniczenie, że argumentem drugiego typu musi być <: Int. Jedną z możliwości jest dodanie samo ograniczenie do Class jak w

class Class[CC[A,B <: Int]] 
class Thing[A, B <: Int] 
class Test extends Class[Thing] 

Answer 2

Opracowanie na wyjaśnienie Petr Pudlák, oto co Zakładam dzieje: kompilator próbuje ujednolicić CC[A, B] z Thing[A, B <: Int]. Zgodnie z deklaracją B w górnej granicy typu jest Any, która jest wybierana do utworzenia B. Oczekuje się jednak, że B w Int będzie miało górny typ, a zatem kompilator nie powiedzie się z otrzymanym komunikatem o błędzie.

Jest to konieczne w celu zachowania stabilności systemu typu, jak pokazano na poniższym szkicu. Zakładamy, że Thing określa operację, która opiera się na fakcie, że jego B <: Int np

class Thing[A, B <: Int] { 
    def f(b: B) = 2 * b 
} 

Jeśli zadeklarowana Class jak

class Class[CC[A,B]] { 
    val c: CC 
} 

i Test jak

class Test extends Class[Thing] { 
    val t: Thing 
} 

bez kompilator skarży , możesz wykonać następujące połączenie:

new Test().t.f(true) 

co oczywiście nie jest bezpieczne.