typ Własna dziedziczenie w Scala

Question

Say I mają następujące cechy:

trait A 

trait B { this: A => } 

trait C extends B // { this: A => } 

Compiler błąd: illegal inheritance; self-type C does not conform to B's selftype B with A
Jak oczekiwano, gdybym odkomentuj zaworem adnotacji, kompilator jest szczęśliwy.

Myślę, że to całkiem oczywiste, dlaczego C również potrzebuje tego typu siebie. Czego nie rozumiem, dlaczego nie może go "odziedziczyć" z A, skoro kompilator mógł już zorientować się, że jest potrzebny?

Myślę, że może zmniejszyć szczegółowość, gdy użyjesz własnego typu ze skomplikowanymi hierarchiami, szczególnie jeśli mieszkasz w dużą grupę cech, z których każda ma swój własny typ.

Chyba prawdopodobnie istnieje dobry powód obecnego zachowania, po prostu nie mogłem znaleźć/dowiedzieć się, co to jest.

Początkowo myślałem, że może to być związane z linearyzacją mixin, ale wydaje mi się, że nie gra tutaj (nawet gdybym miał więcej cech mieszanych z bardziej skomplikowanymi typami siebie).

Czy może to powodować niejednoznaczności w niektórych przypadkach? Jeśli tak, dlaczego nie może działać, gdy nie ma dwuznaczności?

Czy jest to związane z pewnymi trudnościami we właściwym jej wdrożeniu?

Mogę znaleźć kilka dyskusji na ten temat (np. self type is not inherited), ale najczęściej po prostu określają problem i stwierdzają, że tak jest bez zbytniego wyjaśnienia i/lub rozwiązania (jeśli istnieje).

Answer 1

to nie jedyne rozwiązanie. Oznacza to, że akceptowane jest wszystko, co dziedziczy interfejs A. Jeśli musisz polegać na konkretnej implementacji, wybrałbyś mixin; jeśli implementacja jest zależna od użytkownika lub masz dobry powód, dla którego nie chcesz określać miksu w funkcji (na przykład w celu poluzowania problemów z zależnościami), zrobiłbyś to jako własny typ.