Я не понимаю этот отрывок в спецификации языка Java:
JLS 4.9:
Значения типа пересечения — это те объекты, которые являются значениями
всех типов Ti для 1 ≤ i ≤ n.
Насколько я Знаете, невозможно напрямую объявить, что тип переменной является типом пересечения.
Место, где я видел используемый тип пересечения, находится в объявлении универсальных классов, но это кажется не иметь ничего общего со значениями типа пересечения.
Итак, к чему же относятся значения типов пересечений, упомянутые здесь?Кроме того, что подразумевается под «теми объектами, которые являются значениями всех типов Ti»?
Подробнее здесь: https://stackoverflow.com/questions/790 ... pe-in-java
