Co to jest lewa granica dla typu ogólnego lub metody i dlaczego wybrano tę zasadę do wymazywania typu?

Question

Od Angelika Langer's generic FAQ:

Parametry typu elidującego.

Kiedy kompilator znajdzie definicji generycznego typu lub metody, to usuwa wszystkie wystąpienia parametrów typu i zastępuje je ich od lewej związana, lub typ obiektu, jeśli nie wiąże została określona.

Edit: Jak to rozumieć w tym przypadku od lewej związany znaczy, co znaczy dosłownie tj najdalej w lewo w liście granicami. Chcę zrozumieć, dlaczego wybrano tę politykę?

Answer 1

W tym przypadku "leftmost" nie jest terminologią techniczną. Dosłownie oznacza "najdalej w lewo". Oznacza to po prostu, że gdy parametr typ ma kilka granic (ograniczenia) tak:

T extends Callable<Long> & Runnable 

kompilator zastępuje wszystkie wystąpień parametru typu T ze związanym czyli najdalej w lewo (w tym przypadku, który jest Callable<Long>) :

ten sposób, jak w przykładzie Angelika, to:

private T task1, task2; 

zastępuje się następująco:

private Callable task1, task2; 

Answer 2

Nie ma powodu. Wystarczy wybrać jeden. Cała sprawa jest do bani. To tak, jakby zapytać, które z twoich dzieci chcesz ocalić. Chcesz zachować wszystko, duh. Ale ci nie pozwalają.