искореженных Вложенный класс namein Спецификация языка Java-

Question

Рассмотрим следующие два класса:

// a.java 
public class a 
{ 
    public static class $b 
    { 

    } 
} 

// a$.java 
public class a$ 
{ 
    public static class b 
    { 

    } 
} 

Очевидно, что из-за внутренней/вложенное имя класса коверкая, в $ .b и а. $ b будет скомпилирован в файл класса с именем $$ b.class. Когда команда javac a.java a$.java выполняется, Oracle Java компилятор (Javac 1.7.0_45) производит следующий вывод:

a$.java:3: error: duplicate class: a.$b 
    public static class b 
       ^
1 error 

Где это сказать в спецификации языка Java, что эти имена классов (a$.b и a.$b) столкновение, или это просто установленное соглашение из-за выходных файлов с таким же именем?

Answer 1

6.1, который указывает на 3.8, который говорит:

Идентификатор представляет собой последовательность неограниченной длины Java букв и цифр Java, первая из которых должна быть буква Java.

...

The "Java буквы" включают в себя прописными и строчными буквами ASCII латинские буквы AZ (\ u0041- \ u005a), и аз (\ u0061- \ u007a), и, по историческим причинам, ASCII подчеркивание (_, или \ u005f) и знак доллара ($, или \ u0024). Символ $ следует использовать только в механически сгенерированном исходном коде или, реже, для доступа к уже существующим именам в унаследованных системах.

(курсив мой)

Хотя на самом деле, это просто вопрос вы имеющий имя дубликат класса после генерации байт-кода. Такая же ошибка возникла бы с двумя сталкивающимися именами классов, которые не включали $ в источник.

Изменить, чтобы добавить: двоичный формат задается в 13.1