자바 범 형 및 형식 지우 기

'컴 파 일 러 가 범 형 지우 기 를 한다'는 것 은 상식 이다.(그래,실제 지우 기 는 매개 변수 와 독립 변수의 유형 이다.)이 과정 은'유형 지우 기'로 이 루어 진다.그러나 많은 개발 자 들 이 생각 하 는 것 처럼<..>기호 에 있 는 것 이 모두 지 워 진 것 은 아 닙 니 다.다음 코드 를 보십시오.

public class ClassTest {
public static void main(String[] args) throws Exception {
ParameterizedType type = (ParameterizedType)
Bar.class.getGenericSuperclass();
System.out.println(type.getActualTypeArguments()[0]);
ParameterizedType fieldType = (ParameterizedType)
Foo.class.getField("children").getGenericType();
System.out.println(fieldType.getActualTypeArguments()[0]);
ParameterizedType paramType = (ParameterizedType)
Foo.class.getMethod("foo", List.class)
.getGenericParameterTypes()[0];
System.out.println(paramType.getActualTypeArguments()[0]);
System.out.println(Foo.class.getTypeParameters()[0]
.getBounds()[0]);
}
class Foo<E extends CharSequence> {
public List<Bar> children = new ArrayList<Bar>();
public List<StringBuilder> foo(List<String> foo) {return null; }
public void bar(List<? extends String> param) {}
}
class Bar extends Foo<String> {}
}

 뭐 공부 해요?
　　class 
java .lang.String
　　class ClassTest$Bar
　　class java.lang.String
　　class java.lang.StringBuilder
　　interface java.lang.CharSequence
모든 유형의 매개 변수 가 보존 되 어 있 고 운행 기간 에 반사 체 제 를 통 해 얻 을 수 있다 는 것 을 알 게 될 것 이다.그렇다면 도대체'유형 지우 기'가 무엇 일 까?적어도 어떤 것들 은 지 워 졌 겠 지?예.사실 구조 화 된 정 보 를 제외 한 모든 것 이 지 워 졌 다.여기 서 구조 화 된 정 보 는 프로그램 수행 절차 와 관련 된 것 이 아니 라 유형 구조 와 관련 된 정 보 를 말한다.클래스 와 필드,방법의 유형 적 매개 변수 와 관련 된 메타 데 이 터 는 모두 보존 되 고 반 사 를 통 해 얻 을 수 있다 는 것 이다.
다른 정 보 는 모두 지 워 졌 다.예 를 들 어 다음 코드:

List<String> list = new ArrayList<>();
　　Iterator<String> it = list.iterator();
　　while (it.hasNext()) {
　　String s = it.next();
　　}

 
실제로 이것 으로 변 환 됩 니 다.

　　List list = new ArrayList();
　　Iterator it = list.iterator();
　　while (it.hasNext()) {
　　String s = (String) it.next();
　　}

 
따라서 방법 체 내 에 정 의 된 유형 매개 변 수 는 지 워 지고 필요 할 때 유형 전환 이 있 습 니 다.또한 하나의 방법 이 List 인 자 를 받 아들 이 는 것 으로 정의 되면 이 T 는 Object 로 변 환 됩 니 다.이것 도 네가 new T()를 할 수 없 는 이유 다.질문
지금까지 유형 지우 기 정의 앞의 두 가 지 를 다 말 했 습 니 다.세 번 째 는 bridge 방법 에 관 한 것 입 니 다.저 는 stackoverflow 의 이 문제(대답)에서 이미 설명 을 했 습 니 다.
두 가지 결론.첫째,자바 범 형 은 매우 복잡 하 다.하지만 이런 디 테 일 을 완전히 이해 하지 않 아 도 사용 할 수 있다.
둘째,모든 유형의 정보 가 지 워 졌 다 고 가정 하지 마 세 요.구조 화 된 유형 매개 변수 가 존재 하고 필요 하 다 면 사용 할 수 있 습 니 다(단,반사 체제 에 지나치게 의존 하지 마 세 요).