IDE가 너무 똑똑하다면 왜 "clone ()"을 캐스팅해야합니까?

코드를 입력하는 동안 IDE ( NetBeans ) 유형이 내 확인 Collections합니다. 그러나 왜 반환 된 객체를 캐스팅해야 Object.clone()합니까? 어느 것이 좋습니다. 파울이 없습니다. 그러나 여전히 이해가되지 않습니다.

유형 검사가 캐스팅없이 반환 된 객체를 Object.clone()불가능합니까? 제네릭 프레임 워크는 나를 IDE가 확인할 수 있습니다 생각하게 유형 은 "의 오른쪽에 객체 참조 = I 입력을 나는 동안 캐스팅없이"마크? 나는 그것을 얻지 못한다.

부록
나의 사용 사례는 pubdate 개인 Calendar필드 가 있다는 것 입니다. 나는 쓰려고했다 :

Calendar getPubdate() {
    return pubdate;
}

그러나 호출자가 내 pubdate를 수정할 수있는 위험이 있으므로 사본을 반환했습니다.

Calendar getPubdate() {
    return (Calendar) pubdate.clone();
}

그런 다음 왜 내가 캐스팅해야하는지 궁금했습니다 pubdate.clone(). 메소드 시그니처에는 바로 유형이 있습니다. NetBeans 는이를 알아낼 수 있어야합니다. 그리고 NetBeans는와 비슷한 일을하고있는 것 같습니다 Collections.

왜 반환 된 객체를 캐스팅해야 Object.clone()합니까?

를 반환하기 때문 Object입니다.

제네릭 프레임 워크는 나를 IDE가 확인할 수 있습니다 생각하게 유형 은 "의 오른쪽에 객체 참조 = I 입력을 나는 동안 캐스팅없이"마크? 나는 그것을 얻지 못한다.

Object.clone 일반이 아닙니다.

clone디자인 할 때 제네릭이 존재했다면 아마도 F-Bounded Polymorphism을 사용하여 다음과 같이 보일 것입니다.

interface Cloneable<T extends Cloneable<T>> {
  T clone();
}

Java에 MyType 기능이있는 경우 다음과 같습니다.

interface Cloneable {
  this clone();
}

그러나 제네릭 Object.clone은 디자인 되었을 때 존재 하지 않았고 Java에는 MyType이 없으므로 안전하지 않은 유형의 버전이 Object.clone우리가 사용해야 합니다.

이것은 IDE의 기능이 아니라 언어 정의의 기능입니다.

IDE는 프로그래밍 언어를보다 효율적으로 사용하도록 도와 주며 해당 언어의 의미를 변경하지 않습니다. 즉, 에디터 헬퍼는 원하는 것이 확실 할 때 캐스트를 자동으로 삽입 할 수 있지만, 언어의 규칙을 어 기고 컴파일되지 않은 코드가 유효한 척하는 것은 아닙니다.

편집 IDE가 자체 컴파일러를 번들로 묶을 수 있다는 것은 사실이며, 예를 들어 부분 구문 분석 트리에 더 많은 내부 정보가 포함 된 오류보고를 개선하기 위해 많은 사람들이 정확히 그렇게합니다. 그러나이 내부 컴파일러가 공식 SDK와 다른 언어 의미를 구현하게 하는 것은 매우 나쁜 생각입니다. 즉 개발에서 작동하는 코드가 프로덕션 환경에 설치 될 때 신비하게 실패 할 수 있기 때문에 정의에 따라 문제가 발생합니다. 디버깅 가능!

Object.clone 메서드의 형식 서명 때문입니다. 형식 서명은 메서드가 Object 형식의 개체를 반환 할 것임을 나타냅니다.

protected Object clone() throws CloneNotSupportedException

컬렉션은 소위 제네릭 형식을 사용하여 캐스팅 유형을 자동으로 대체합니다.

따라서이 코드가 있다면 :

List<Integer> ints = Arrays.asList(1,2,3);
int x = ints.get(0);`

컴파일러는 배후에 캐스트를 추가하므로 코드는 실제로 다음과 같습니다.

List ints = Arrays.asList(1,2,3);
int x = (Integer)ints.get(0);

완전성을 위해 Java 5부터 공변량 리턴 유형이 허용 됩니다. 따라서 다음을 작성할 수 있습니다.

public MyObject implements Cloneable {
  @Override
  public MyObject clone() {
    try {
      return (MyObject)super.clone();
    } catch (CloneNotSupportedException e) {
      throw new AssertionError();
    }
  }
}

이를 통해 다음 코드는 합법적입니다.

MyObject original = new MyObject();
MyObject clone = original.clone();