Java 8은 정적 인터페이스 메소드를 허용합니다
Java 8을 사용하면 인터페이스 가 정적 메소드가있을 있습니다. 또한 구체적인 인스턴스 메소드를 가질 수 있지만 인스턴스 필드는 가질 수 없습니다.
여기에는 실제로 두 가지 질문이 있습니다.
- 왜 나쁜 옛날에는 인터페이스에 정적 메소드를 포함 할 수 없었습니까?
- 정적 메서드를 재정의 할 수없는 이유는 무엇입니까?
인터페이스의 정적 메소드
인터페이스가 이전 버전에서 정적 메소드를 가질 수 없었던 강력한 기술적 이유는 없었습니다. 이것은 중복 질문 의 포스터 에 의해 훌륭하게 요약됩니다 . 정적 인터페이스 메소드는 처음으로 간주되었다 작은 언어 변화 하고 있었다 공식 제안 자바 7에 추가 할 수는 있지만, 나중에 된 예기치 못한 합병증으로 인해 하락했다.
마지막으로 Java 8에는 정적 인터페이스 메소드와 기본 구현을 통한 대체 가능한 인스턴스 메소드가 도입되었습니다. 그래도 인스턴스 필드를 가질 수 없습니다. 이러한 기능은 람다 식 지원의 일부이며 JSR 335의 H 부분 에서 자세한 내용을 읽을 수 있습니다 .
정적 메서드 재정의
두 번째 질문에 대한 대답은 조금 더 복잡합니다.
정적 메소드는 컴파일 타임에 해석 할 수 있습니다. 동적 디스패치는 컴파일러가 객체의 구체적인 유형을 결정할 수 없으므로 호출 할 메서드를 확인할 수없는 인스턴스 메서드에 적합합니다. 그러나 정적 메소드를 호출하려면 클래스가 필요하며 해당 클래스는 정적으로 알려져 있기 때문에 컴파일 타임에 동적 디스패치가 필요하지 않습니다.
여기에서 무슨 일이 일어나고 있는지 이해하려면 인스턴스 메소드 작동 방식에 대한 약간의 배경이 필요합니다. 실제 구현이 상당히 다르다고 확신하지만, 모델이 동작을 정확하게 관찰 한 메소드 디스패치 개념을 설명하겠습니다.
각 클래스에는 메소드를 구현하기 위해 메소드 서명 (이름 및 매개 변수 유형)을 실제 코드에 맵핑하는 해시 테이블이 있다고 가정하십시오. 가상 머신은 인스턴스에서 메소드를 호출하려고 시도 할 때 클래스에 대한 오브젝트를 조회하고 클래스 테이블에서 요청 된 서명을 찾습니다. 메소드 본문이 발견되면 호출됩니다. 그렇지 않으면 클래스의 부모 클래스가 얻어지고 조회가 반복됩니다. 이것은 메소드가 발견되거나 더 이상 상위 클래스가 없을 때까지 진행 NoSuchMethodError
됩니다.
수퍼 클래스와 서브 클래스 모두 테이블에 동일한 메소드 서명에 대한 항목이있는 경우 서브 클래스 버전이 먼저 발생하고 수퍼 클래스 버전이 사용되지 않습니다. 이는 "재정의"입니다.
이제 객체 인스턴스를 건너 뛰고 서브 클래스로 시작한다고 가정 해 봅시다. 위와 같이 해결이 진행되어 일종의 "재정의 가능한"정적 메서드가 제공됩니다. 그러나 컴파일러가 런타임에 클래스에 대해 지정되지 않은 유형의 객체를 쿼리하기를 기다리는 대신 알려진 클래스에서 시작하기 때문에 모든 컴파일 타임에 해결이 가능합니다. 정적 메소드를 "재정의"하는 것은 항상 원하는 버전을 포함하는 클래스를 지정할 수 있기 때문에 의미가 없습니다.
생성자 "인터페이스"
다음은 질문에 대한 최근 수정 사항을 다루기위한 자료입니다.
의 각 구현에 대해 생성자와 같은 메소드를 효과적으로 위임하려는 것처럼 들립니다 IXMLizable
. 1 분 동안 인터페이스로이를 시행하는 것을 잊고이 요구 사항을 충족하는 클래스가 있다고 가정하십시오. 어떻게 사용 하시겠습니까?
class Foo implements IXMLizable<Foo> {
public static Foo newInstanceFromXML(Element e) { ... }
}
Foo obj = Foo.newInstanceFromXML(e);
Foo
새 객체를 "구성"할 때 구체적 유형의 이름을 명시 적으로 지정해야하기 때문에 컴파일러는 실제로 필요한 팩토리 메소드가 있는지 확인할 수 있습니다. 그렇지 않은 경우 어떻게해야합니까? 내가 구현할 수 있다면 IXMLizable
은 "생성자"부족 것을, 나는 인스턴스를 생성하고 코드에 전달, 그것은 이다IXMLizable
필요한 모든 인터페이스를.
구성은 인터페이스가 아닌 구현의 일부입니다 . 인터페이스에서 성공적으로 작동하는 코드는 생성자를 신경 쓰지 않습니다. 어쨌든 생성자를 신경 쓰는 모든 코드는 구체적 유형을 알아야하며 인터페이스는 무시할 수 있습니다.