자바 범 형의 유형 지우 기 예시 상세 설명
자바 범 형 이라는 특성 은 JDK 1.5 에서 시작 되 었 기 때문에 이전 버 전 을 호 환 하기 위해 자바 범 형의 실현 은 문법 적 으로 범 형 을 지원 하지만 컴 파일 단계 에 서 는 이른바'유형 지우 기'(Type Erasure)를 하 는'위 범 형'전략 을 채택 했다.모든 범 형 표시(괄호 안의 내용)를 구체 적 인 유형(그 에 대응 하 는 원생 태 유형)으로 바 꾸 는 것 은 범 형 이 전혀 없 는 것 과 같다.유형 지우 기 를 이해 하 는 것 은 범 형 을 잘 사용 하 는 데 도움 이 된다.특히'난치병'으로 보 이 는 문제 들 은 유형 지우 기 를 이해 하면 쉽게 풀 린 다.
일반적인 유형 지우 기 원칙 은:
•형식 매개 변수 설명 을 제거 합 니 다.즉,<>와 그 포 위 된 부분 을 삭제 합 니 다.
•유형 매개 변수의 상하 계 에 따라 모든 유형 매개 변 수 를 원생 태 유형 으로 추정 하고 교체 합 니 다.유형 매개 변수 가 무제 한 어댑터 이거 나 상하 계 한정 이 없 으 면 Object 로 교체 합 니 다.상하 계 한정 이 존재 하면 하위 클래스 교체 원칙 에 따라 유형 매개 변수의 가장 왼쪽 한정 유형(즉,부모 클래스)을 추출 합 니 다.
•형식 안전 을 위해 필요 할 때 강제 형식 변환 코드 를 삽입 합 니 다.
•유형 을 지 운 후의 코드 가 여전히 일반적인'다 형 성'을 가지 도록'브리지 방법'이 자동 으로 생 성 됩 니 다.
1 클래스 정의 의 형식 매개 변 수 를 지 웁 니 다.
1.1 무제 한 형식 지우 기
클래스 정의 의 형식 매개 변수 가 제한 이 없 을 때 형식 지우 기 에서 Object 로 직접 대 체 됩 니 다.즉,
그림 1:클래스 정의 의 형식 매개 변 수 를 지 웁 니 다.
1.2 제한 유형 지우 기
클래스 정의 의 유형 매개 변수 에 제한(상하 계)이 있 을 때 유형 지우 기 에서 유형 매개 변수의 상계 나 하계 로 바 꿉 니 다.예 를 들 어
그림 2:클래스 정의 에 제 한 된 형식 매개 변 수 를 지 웁 니 다.
2 지우 기 방법 정의 의 형식 매개 변수
지우 기 방법 정의 의 유형 매개 변수 원칙 과 지우 기 클래스 정의 의 유형 매개 변 수 는 같 습 니 다.지우 기 방법 정의 에 있 는 제한 유형 매개 변 수 를 예 로 들 면 3 참조.
그림 3:일반적인 방법의 유형 적 인 파 라 메 터 를 지 웁 니 다.
3.브리지 방법 과 범 형의 다 형
다음 코드 를 고려 하 십시오:
public interface Info<T> {
// just return var:-)
T info(T var);
}
public class BridgeMethodTest implements Info<Integer> {
@Override
public Integer info(Integer var) {
return var;
}
}
public interface Info {
// just return var
Object info(Object var);
}
public class BridgeMethodTest implements Info {
@Override
public Integer info(Integer var) {
return var;
}
}
$ javap BridgeMethodTest.class
Compiled from “BridgeMethodTest.java”
public class BridgeMethodTest implements Info<java.lang.Integer> {
public BridgeMethodTest();
public java.lang.Integer info(java.lang.Integer);
public java.lang.Object info(java.lang.Object);
}
// Decompiled by Jad v1.5.8e. Copyright 2001 Pavel Kouznetsov.
// Jad home page: http://www.geocities.com/kpdus/jad.html
// Decompiler options: packimports(3)
// Source File Name: BridgeMethodTest.java
public class BridgeMethodTest
implements Info
{
public BridgeMethodTest()
{
}
public Integer info(Integer integer)
{
return integer;
}
public volatile Object info(Object obj)
{
return info((Integer)obj);
}
}
물론 우 리 는 범 형 을 바탕 으로 하 는 다 형 태 를 사용 할 때'브리지 방법'을 너무 많이 고려 하지 않 아 도 된다.자바 컴 파일 러 는 우리 가 모든 것 을 잘 관리 하 는 데 도움 을 줄 것 이다.
브리지 방법 에 대한 더 많은 정 보 는 JLS 의 관련 장 을 참고 할 수 있다.
총결산
자바 팬 타 입 지우 기 에 관 한 이 글 은 여기까지 소개 되 었 습 니 다.더 많은 자바 팬 타 입 지우 기 내용 은 예전 의 글 을 검색 하거나 아래 의 관련 글 을 계속 찾 아 보 세 요.앞으로 많은 응원 부 탁 드 리 겠 습 니 다!
참고 자료
•http://docs.oracle.com/javase/tutorial/java/generics/index.html
•http://docs.oracle.com/javase/tutorial/extra/generics/index.html
이 내용에 흥미가 있습니까?
현재 기사가 여러분의 문제를 해결하지 못하는 경우 AI 엔진은 머신러닝 분석(스마트 모델이 방금 만들어져 부정확한 경우가 있을 수 있음)을 통해 가장 유사한 기사를 추천합니다:
Is Eclipse IDE dying?In 2014 the Eclipse IDE is the leading development environment for Java with a market share of approximately 65%. but ac...
텍스트를 자유롭게 공유하거나 복사할 수 있습니다.하지만 이 문서의 URL은 참조 URL로 남겨 두십시오.
CC BY-SA 2.5, CC BY-SA 3.0 및 CC BY-SA 4.0에 따라 라이센스가 부여됩니다.
좋은 웹페이지 즐겨찾기
