Dlaczego operator instanceof jest dozwolony na nieograniczonym typie karty wieloznacznej, ale nie na innych parametrach sparametryzowanych w Javie?

Question

Myślę, że z powodu type erasure używanie instanceof i class literals jest niedozwolone dla parameterized generic types z wyjątkiem unbounded wild card types. Dlaczego projektanci języka Java zezwalają na ten wyjątek? Nie ma żadnej roli usuwania typów dla nieograniczonych typów dzikich kart?

Answer 1

Chodzi o to, że obiekt zna swoją konkretną klasę - ale nie ogólne argumenty tego typu. Jeśli więc skonstruujemy model ArrayList<Integer>, który w chwili wykonywania wie, że jest to typ ArrayList z rodzaju o pewnej liczbie - ale nie wie o części Integer.

W "ArrayList pewnego rodzaju" część jest właśnie ArrayList<?> środki, dlatego:

if (foo instanceof ArrayList<?>) 

jest prawidłowy. To jest po prostu równoważne użyciu typu surowego:

if (foo instanceof ArrayList)