[JAVA] 19. 지네릭스 Generics(와일드 카드, 지네릭 메서드, 지네릭 타입의 형변환, 지네릭 타입의 제거), 열거형 Enum, 애너테이션 (Annotation)

 

 

https://hyejin.tistory.com/586

[JAVA] 18. 지네릭스 Generics

 

 

1️⃣ 와일드 카드 

< ? extends T> : 와일드 카드의 상한 제한, T와 그 자손들만 가능 
<? super T> : 와일드 카드의 하한 제한, T와 그 조상들만 가능 
<?> : 제한 없음. 모든 타입이 가능. <? extends Object>와 동일 

-> 지네릭 타입에 와일드 카드를 쓰면 여러 타입을 대입할 수 있다. 

 

 

2️⃣ 지네릭 메서드 

메서드 선언부에 지네릭 타입이 선언된 메서드를 지네릭 메서드라고 한다. 

지네릭 타입의 선언 위치는 반환타입 바로 앞이다. 

이때 지네릭 클래스에 정의된 타입 매개변수와 지네릭 메서드에 정의된 타입 매개변수는 전혀 별개의 것이다!!

-> FruitBox에 선언된 타입 매개변수 T와 지네릭 메서드 sort에 선언된 타입 매개변수 T는 문자만 같을 뿐 서로 다른 것이다. 

 

static 멤버에는 타입 매개변수를 사용할 수 없지만, 이처럼 메서드에 지네릭 타입을 선언하고 사용하는 것은 가능하다. 

 

static Juice makeJuice(FruitBox<? extends Fruit> box) {

    String tmp = "";

    ...

    return new Juice(tmp);

} 

-> 지네릭 메서드로 바꾸기 

static <T extends Fruit> Juice makeJuice (FruitBox<T> box) {

   String tmp = "";

   ...

   return new Juice(tmp);

}

이 메서드를 호출할 때는 타입 변수에 타입을 대입해야한다. 

-> 대부분의 경우에는 컴파일러가 타입을 추정할 수 있기 때문에 생략해도 된다. 

 

 

 

❗️ 와일드 카드, 지네릭 메서드 

와일드 카드 : 하나의 참조변수로 서로 다른 타입이 대입된 여러 지네릭 객체를 다루기 위한 것이다. 

지네릭 메서드 : 메서드를 호출할 때 마다 다른 지네릭 타입을 대입할 수 있게 한 것이다. 

 

 

3️⃣ 지네릭 타입의 형변환 

-> 지네릭 타입과 원시타입의 형변환은 가능하지만, 경고가 발생한다. 

 

Box<Object> box = null;

Box<String> strbox = null;

 

box = (Box<Object>)strbox; // error

strbox = (Box<String>)box; // error 

 

-> 대입된 타입이 Object일지라도 불가능하다. 

 

-> 근데 와일드 카드가 사용된 지네릭 타입은 형변환 가능하다. 

근데 반대로의 형변환은 가능하지만, 확인되지 않은 형변환이라는 경고가 바랭한다. 

FruitBox<? extends Fruit> 에 대입될 수 있는 타입이 여러개인데다가 FruitBox<Apple>를 제외한 다른 타입은 FruitBox<Apple>로 형변환될 수 없기 때문이다.

 

 

4️⃣ 지네릭 타입의 제거 

컴파일러는 지네릭 타입을 이용해서 소스파일을 체크하고, 필요한 곳에 형변환을 넣어준다.

그리고 지네릭 타입을 제거한다. 즉 컴파일된 (*.class) 에는 지네릭 타입에 대한 정보가 없다. 

 

이렇게 하는 이유는 지네릭이 도입되기 이전의 소스코드와의 호환성을 유지하기 위해서이다. 

jdk1.5부터 지네릭스가 도입되었지만, 아직도 원시 타입을 사용해서 코드를 작성하는 것을 허용한다. 

 

1. 지네릭 타입의 경계를 제거한다. 

-> 지네릭 타입이 <T extends Fruit> 라면 T는 Fruit로 치환된다. 

 

2. 지네릭 타입을 제거한 후에 타입이 일치하지 않으면, 형변환을 추가한다.

와일드 카드가 포함된 경우, 적절한 타입으로 형변환을 추가한다. 

 

 

5️⃣ 열거형 Enum

열거형은 서로 관련된 상수를 편리하게 선언하기 위한 것으로 여러 상수를 정의할 때 사용하면 유용하다. 

-> 자바의 열거형은 타입에 안전한 열거형이라서 실제 값이 같아도 타입이 다르면 컴파일 에러가 발생한다. 이처럼 값 뿐만 아니라 타입까지 체크하기 때문에 타입에 안전하다고 한다!

 

 

- 열거형 정의와 사용

enum 열거형 이름  { 상수명1, 상수명2 ...} 

이 열거형에 정의된 상수를 사용하는 방법은 열거형이름.상수명 이다. 

 

열거형 상수간의 비교에는 == 을 사용할 수 있다. ( equals가 아닌 ==로 비교가 가능하다는 것은 그만큼 빠른 성능을 제공한다는 얘기이다.)

그러나 비교연산자는 사용할 수 없고, compareTo()를 사용해야 한다, 

 

 

 

- 모든 열거형의 조상 java.lang.Enum

 

- 열거형에 멤버 추가하기

Enum 클래스에 정의된 ordinal()이 열거형 상수가 정의된 순서를 반환하지만, 이 값을 열거형 상수의 값으로 사용하지 않는 것이 좋다.

이 값은 내부적인 용도로만 사용되기 위한 것이기 때문이다. 

 

열거형 상수의 값이 불연속적인 경우에는 열거형 상수의 이름 옆에 원하는 값을 괄호와 함께 적어주면 된다. 

그리고 지정된 값을 저장할 수 있는 인스턴스 변수와 생성자를 새로 추가해 주어야 한다. 

이때 열거형 생성자는 Private 로 외부에서 객체 생성 불가능하다. 

 

 

6️⃣ 애너테이션 annotation

애니테이션이란 주석처럼 프로그래밍 언어에 영향을 미치지 않으며 유용한 정보를 제공하는 것이다. 

 

자바를 개발한 사람들은 소스코드에 대한 문서를 따로 만들기보다 소스코드와 문서를 하나의 파일로 관리하는 것이 낫다고 생각했다.

그래서 소스코드이 주석 /** ~ */ 에 소스코드에 대한 정보를 저장하고, 소스코드의 주석으로부터 html문서를 생성해내는 프로그램 javadoc.exe를 만들어 사용했다. 

 

/** 로 시작하는 주석 안에 소스코드에 대한 설명들이 있고 그 안에 '@'이 붙은 태그들을 이용해서 주석 안에 정보를 제공하고 javadoc.exe라는 프로그램이 이 정보를 읽어서 문서를 작성하는데 사용한다. 

 

이 기능을 응용하여 프로그램의 소스코드 안에 다른 프로그램을 위한 정보를 미리 약속된 형식으로 포함시킨 것이 바로 애너테이션이다. 

애터네이션이 주석처럼 프로그래밍 언어에 영향을 미치지 않으면서도 다른 프로그램에게 유용한 정보를 제공할 수 있다는 장점이 있다. 

 

자신이 작성한 소스코드 중에서 특정 메서드만 테스트하기 원한다면 @Test 애너테이션을 붙이면 된다. 

@Test 는 테스트 프로그램에게 알리는 역할을 할 뿐, 메서드가 포함된 프로그램 자체에는 아무런 영향을 미치지 않는다.

주석처럼 존재하지 않는 것이나 다름없다.