Тип метода вывода в спецификации Java

Question

В настоящее время я пишу компилятор Java и реализовал раздел 15.12.2.7. JLS7 (http://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.12.2.7), один из самых раздражающих разделов спецификации. У меня все еще есть одна проблема, поскольку спецификация почему-то кажется неопределенной или неоднозначной. Моя проблема заключается в этой строке:

lcta (U) =? если верхняя граница U - объект, иначе? extends lub (U, Object)

U - выражение произвольного типа. Какова верхняя граница выражения типа? Кроме того, почему lcta всегда является шаблоном?

Спецификация определяет

CandidateInvocation (G) = LCI (Inv (G)).

Теперь рассмотрим случай, когда Inv (G) = {List <String>}, то есть единственный возможный вызов кандидата - это один параметризованный тип. Теперь, в связи с правилом

LCI (G < X1, ..., Xn >) = G < ЛВТА (X1), ..., ЛВТА (Xn) >,

результат CandidateInvocation (G) = LCI ({Список < Строка >}) будет определяться как:

< Список ЛВТА (String) >

на мой взгляд, ЛВТА должен простофиля ly return String здесь, потому что, если List <String> - единственный возможный вызов, рекомендуется вывести список <String> в качестве аргумента. Однако определение lcta (U) диктует, что результат тоже? или ? extends lub (...), поэтому результат ВСЕГДА содержит подстановочный знак. Это кажется странным. Что я неправильно истолковываю здесь?

Answer 1

Я спросил в списке рассылки компилятор Dev и получил ответ:

Да, спецификация здесь не так. Правило для lcta (U) является просто полным дерьмом :). Кроме того, они заявили, что было бы даже лучше не называть lcta (U) вообще для одного аргумента и просто использовать U (поскольку наименьший аргумент общего типа для одного аргумента U всегда должен быть сам U).

Answer 2

Это похоже на ошибку спецификации. Пункт lcta(U) не существовал в JSL3. По-видимому, определение JLS3 lci(e1..en) является неполным, когда n=1, и новая спецификация пытается его исправить. Но исправить кажется тарабарщина, как вы рассуждали.

Javac7 вычисляет lci({ List<String> }) как List<String>, игнорируя добавленные предложения.

Эта проблема должна быть поднята до спецификаторов; не знаете, как с ними связаться. Вы можете попробовать openjdk compiler-dev список рассылки; на нем есть знающие люди.