Java: Użycie "this" jako nazwy argumentu/parametru metody instancji?

Question

Ostatnio from this question nauczyłem się, że następujący wydaje się być java prawna:

class Bar { 
    void foo(Bar this) {} 
} 

Teraz Próbowałem dowiedzieć się, gdzie w standardzie Java mówi, że mogą to zrobić, i spojrzał here ale nie można znaleźć sekcji.

Czy ktoś może cytować, gdzie pozwala na tę formę deklaracji metody i jakie są ograniczenia deklarowania argumentu o nazwie this?

Answer 1

Jest on ważny w wersji 1.8 lub nowszej JDK.

A oto JLS saying that

Parametr odbiornik jest opcjonalne urządzenie składniowym dla metody przykład wykonania konstruktora lub klasa wewnętrzna jest. W przypadku metody instancji parametr receive reprezentuje obiekt, dla którego wywołana jest metoda. Dla konstruktora klasy wewnętrznej parametr odbiornika reprezentuje natychmiast zamykające się wystąpienie nowo skonstruowanego obiektu. Tak czy inaczej, parametr odbiornika istnieje wyłącznie w celu umożliwienia oznaczenia typu reprezentowanego obiektu w kodzie źródłowym, aby typ mógł być opatrzony komentarzem.

Jeśli czytać pełne wypunktowania można znaleźć poniżej imp notatek,

Jeżeli parametr odbiornik jest dozwolone, jego typ i nazwa są określone w następujący sposób:

• W metodzie instancji typem parametru receive musi być klasa lub interfejs , w którym deklarowana jest metoda, oraz nazwa parametr odbiornika musi być taki; w przeciwnym razie wystąpi błąd podczas kompilacji .

• W konstruktorze wewnętrzną klasa, typ parametru odbiornika musi być klasy lub interfejsu, który jest natychmiast załączając oświadczenie rodzaj wewnętrznej klasy oraz nazwę parametru odbiornik musi być Identifier . to gdzie Identyfikator jest prostą nazwą klasy lub interfejsu, który jest bezpośrednio otaczającą deklaracją typu wewnętrznego klasy; w przeciwnym razie wystąpi błąd podczas kompilacji .