Границы, включающие преобразование захвата в Java ⇐ JAVA

[Anonymous]

У меня есть сомнения по поводу JLS 18.3.2:

18.3.2 Границы, включающие преобразование захвата
Когда связанный набор содержит границу вида G = capture(G), подразумеваются новые границы и могут подразумеваться новые формулы ограничений, как следует.
Пусть P1, ..., Pn представляют параметры типа G, а B1, ..., Bn представляют параметры типа G, а B1, ..., Bn представляют параметры типа G. >границы этих параметров типа. Пусть θ представляет замену [P1:=α1, ..., >Pn:=αn].
Пусть R быть типом, который не является переменной вывода (но не обязательно является правильным типом).
Набор границ для α1, ..., αn подразумевается, генерируется из объявленных границ

Код: Выделить всё

P1, ..., Pn

, как указано в §18.1.3.
Кроме того, для всех i (1 ≤ i ≤ n):
• Если Ai не является подстановочным знаком, то подразумевается связанное αi = Ai.
• Если Ai является подстановочным знаком в форме ?< /code> :
– αi = R подразумевает ложную границу
– αi

Подробнее здесь: https://stackoverflow.com/questions/791 ... on-in-java