자바 언어의 인터페이스 와 유형 보안

인 터 페 이 스 는 구조물 의 삽입 성 을 실현 하 는 관건 이다.구조물 을 삽입 할 수 있 는 관건 은 하나의 공용 인터페이스 가 존재 하고 모든 구조물 이 이 인 터 페 이 스 를 실현 하 는 데 있다.무엇이 인터페이스 입 니까?자바 의 인 터 페 이 스 는 일련의 방법의 성명 으로 일부 방법 특징의 집합 이다.하나의 인 터 페 이 스 는 방법의 특징 만 있 고 방법 이 없 기 때문에 이런 방법 들 은 서로 다른 곳 에서 서로 다른 유형 으로 실 현 될 수 있 고 이런 실현 은 서로 다른 행위(기능)를 가 질 수 있다.인터페이스의 두 가지 의미:첫째,자바 인터페이스,자바 언어 에 존재 하 는 구 조 는 특정한 문법 과 구 조 를 가진다.둘째,한 가지 방법 이 가 진 특징 집합 은 논리 적 추상 이다.전 자 는'자바 인터페이스'라 고 하고 후 자 는'인터페이스'라 고 한다.자바 언어 규범 에서 한 방법의 특징 은 방법의 이름,파라미터 의 수량 과 종류 만 포함 하고 방법의 반환 유형,파라미터 의 이름과 던 진 이상 은 포함 하지 않 는 다.자바 컴 파일 러 검사 방법의 재 부팅 시 이러한 조건 에 따라 두 가지 방법 이 재 부팅 방법 인지 여 부 를 판단 합 니 다.그러나 자바 컴 파일 러 검사 방법의 교체 시 두 가지 방법(초 유형 과 하위 유형)의 반환 유형 과 던 진 이상 이 같 는 지 확인 합 니 다.인터페이스 계승 과 계승 을 실현 하 는 규칙 이 다 르 기 때문에 한 종 류 는 하나의 직접적인 부류 만 있 지만 여러 개의 인 터 페 이 스 를 실현 할 수 있다.자바 인터페이스 자체 가 실현 되 지 않 았 습 니 다.자바 인 터 페 이 스 는 이미지 와 관련 되 지 않 고 Public 행위 만 묘사 하기 때문에 자바 인 터 페 이 스 는 자바 추상 류 보다 더욱 추상 화 되 었 습 니 다.자바 인터페이스의 방법 은 추상 적 이 고 공개 적 일 수 밖 에 없다.자바 인 터 페 이 스 는 구조 기 가 있어 서 는 안 되 고 자바 인 터 페 이 스 는 Public,정적,final 속성 이 있 을 수 있다.인 터 페 이 스 는 방법의 특징 과 방법의 실현 을 분리 한다.이러한 분할 은 인터페이스 에서 흔히 하나의 역할 을 대표 하 는데 이 역할 과 관련 된 조작 과 속성 을 포장 하고 이 인 터 페 이 스 를 실현 하 는 유형 이 바로 이 역할 을 맡 은 배우 이다.한 배역 은 서로 다른 배우 가 연기 하지만,서로 다른 배우 들 사이 에는 공 통 된 배역 을 연기 하 는 것 외 에 다른 공통점 을 요구 하지 않 는 다.인 터 페 이 스 를 왜 사용 합 니까?두 가지 유형 중의 두 가지 유사 한 기능 은 그들의 동태 적 인 결정 을 실현 하도록 한다.그러면 그들 은 추상 적 인 아버지 류 를 제공 하고 자 류 는 각각 아버지 류 가 정의 하 는 방법 을 실현 한다.문제 의 발생:자바 는 하나의 계승 언어 이다.일반적인 상황 에서 어떤 구체 적 인 유형 이 이미 하나의 초 류 를 가지 고 있 는 지 해결 하 는 것 은 그의 아버지 류 에 아버지 류 를 추가 하거나 아버지 류 의 아버지 류 에 아버지 류 를 추가 하여 클래스 등급 구조의 맨 위로 만 이동 하 는 것 이다.이렇게 되면 구체 적 인 유형 에 대한 삽입 가능 한 디자인 은 전체 등급 구조 에서 모든 유형 에 대한 수정 이 된다.인 터 페 이 스 는 삽입 가능 한 보증 이다.한 등급 구조 에서 모든 클래스 는 하나의 인 터 페 이 스 를 실현 할 수 있다.이 인 터 페 이 스 는 이러한 모든 하위 클래스 에 영향 을 줄 수 있 지만 이러한 어떠한 초 클래스 에 도 영향 을 주지 않 는 다.이러한 인 터 페 이 스 는 이 인터페이스 에 규정된 방법 을 실현 해 야 한다.그리고 그 하위 클래스 는 이런 방법 에서 자동 으로 계승 할 수 있다.물론 모든 방법 을 바 꾸 거나 그 중의 어떤 방법 을 선택 할 수도 있다.이때 이런 하위 클래스 는 삽입 성 을 가진다(그리고 이 인터페이스 유형 으로 적재 하여 그의 모든 하위 클래스 를 전달 할 수 있다).우리 가 관심 을 가 지 는 것 은 그 구체 적 인 유형 이 아니 라 우리 가 필요 로 하 는 인 터 페 이 스 를 실현 하 는 지 여부 이다.인 터 페 이 스 는 관련 성과 방법 호출 에 있어 삽입 성 을 제공 하고 소프트웨어 시스템 의 규모 가 클 수록 생명 주기 가 길 어 지고 인 터 페 이 스 는 소프트웨어 시스템 의 유연성 과 확장 성 을 확보 할 수 있다.형식 은 자바 인 터 페 이 스 를 사용 하여 소프트웨어 단 위 를 내부 와 외부 와 결합 시킨다.자바 인 터 페 이 스 를 사용 하 는 것 은 구체 적 인 클래스 가 아 닌 변수의 유형 성명,방법의 반환 유형 성명,파 라 메 트릭 형식 성명,데이터 형식의 변환 을 진행 합 니 다.이상 적 인 상황 에서 구체 적 인 자바 류 는 자바 인터페이스 와 추상 적 인 자바 류 에서 설명 하 는 방법 만 실현 해 야 지 불필요 한 방법 을 주어 서 는 안 된다.유형 등급 구조 자바 인터페이스(및 추상 류)는 일반적으로 하나의 유형의 등급 구조의 출발점 으로 사용 된다.만약 에 하나의 유형 이 이미 주요 한 초 유형 이 있다 면 하나의 인 터 페 이 스 를 실현 함으로써 이런 유형 은 다른 부차적인 초 유형 을 가 질 수 있다.이런 부차적인 초 유형 을 혼합 유형 이 라 고 한다.Java 인터페이스 상용 방법 단일 방법 인터페이스 public 인터페이스 Actionlistener(){public abstract void actionPerformed(ActionEvent event);}단 하나의 방법 만 있 습 니 다.이 인터페이스(이 인터페이스 에 있 는 유일한 방법 을 다시 쓰 는 것)를 실현 해 야 이벤트 모니터 목록 에 등록 할 수 있 습 니 다.(매개 변 수 는 Actionlistener 형식)이벤트 소스 가 바 뀌 었 을 때 이 유일한 actionPerformed 방법 을 자동 으로 호출 할 수 있 습 니 다.표지 인 터 페 이 스 는 방법 과 속성 이 없 는 인터페이스 입 니 다.표지 인 터 페 이 스 는 그의 유형 을 실현 하 는 데 어떠한 의미 적 인 요구 가 있 지 않 고 이 를 실현 하 는 유형 이 특정한 유형(전달)에 속 한 다 는 것 을 나타 낸다.표지 인 터 페 이 스 를 너무 많이 사용 하 는 것 을 추천 하지 않 습 니 다.상수 인 터 페 이 스 는 자바 인터페이스 로 상수 를 설명 한 다음 에 이 인 터 페 이 스 를 실현 하 는 클래스 에서 이 상수 들 을 사용 합 니 다.이런 상수 인터페이스의 방법 을 모방 하지 말 것 을 건의 합 니 다.자바 언어 유형 보안 문제 자바 는 강 한 언어 입 니 다.이것 은 자바 컴 파일 러 가 코드 를 검사 하여 한 번 의 할당 이 없 는 지 확인 하고 모든 방법의 호출 이 유형 에 부합 한 다 는 것 을 의미한다.만약 일치 하지 않 는 상황 이 있다 면 자바 컴 파일 러 는 오 류 를 줄 것 이다.형식 검 사 는 이러한 간단 한 사실 을 바탕 으로 합 니 다.모든 변수의 성명 은 이 변수 에 유형 을 줍 니 다.모든 방법 은 구조 기 를 포함 한 성명 이 이 방법의 특징 을 준다.이렇게 되면 자바 컴 파일 러 는 모든 표현 식 에 대해 뚜렷 한 유형 을 추정 할 수 있 고 자바 컴 파일 러 는 뚜렷 한 유형 을 바탕 으로 유형 을 검사 할 수 있다.자바 언어 는 유형 이 안전 합 니 다.자바 컴 파일 러 에 의 해 받 아들 여진 합 법 적 인 자바 류 보증 은 유형 이 안전 하 다 는 것 이다.프로그램 이 실행 되 는 동안 어떤 종류의 오류 도 없 을 것 이라는 얘 기다.자바 프로그램 은 원래 한 유형 에 속 하 는 변 수 를 다른 유형 으로 처리 할 수 없 기 때문에 이 로 인해 발생 하 는 오류 가 발생 하지 않 습 니 다.쉽게 말 하면 자바 언어 는 세 가지 체제 에 의 해 유형 안전 을 실현 했다.컴 파일 기간 의 유형 검사,자동 저장 관리,배열 의 경계 검 사 를 실시 했다.주:이 편 은 대부분 염 홍 선생님 의《자바 와 모델》을 담 고 있다.