Karl의 언어들

제네릭 타입

제네릭 타입은 타입에 대해 매개변수화된 제네릭 클래스나 인터페이스를 말해요. 덕분에 컴파일러가 클래스나 인터페이스에 타입 안전성을 강제할 수 있어요.

제네릭이 아닌 다음 Container 인터페이스를 살펴봐요:

class Container {
    private Object object;

    public void set(Object object) { this.object = object; }
    public Object get() { return object; }
}

이 인터페이스는 Object 타입을 받고 반환하기 때문에 기본형이 아닌 모든 타입과 함께 동작해요. 하지만 여기에는 대가가 따라요. 어떤 코드는 Integer를 기대하면서 get을 호출하는데 다른 코드는 String을 추가하면서 set을 호출하면, 런타임 예외가 발생할 수 있어요.

제네릭 클래스와 제네릭 인터페이스는 다음과 같은 형식을 가져요:

class ClassName<T1, T2, ..., Tn> { ... }
interface InterfaceName<T1, T2, ..., Tn> { ... }

클래스나 인터페이스 이름 뒤에 오는, 꺾쇠괄호(<>)로 구분된 타입 매개변수 부분은 타입 매개변수(타입 변수라고도 해요) T1, T2, ..., Tn을 지정해요. 이 타입 매개변수들을 클래스나 인터페이스의 본문 안에서 사용하면 제네릭 타입 안전성을 얻을 수 있어요.

다음은 Container의 제네릭 버전이에요:

class Container<E> {
    private E object;

    public void set(E object) { this.object = object; }
    public E get() { return object; }
}

이제 인스턴스를 만들 때 어떤 타입을 담을지 선언해야 하고, 컴파일러가 그 제약을 강제해요:

// empty <> can infer from context
Container<String> stringContainer = new Container<>();
// compiler knows this is a String, so it is allowed
stringContainer.set("Some string");
// no cast needed, compiler knows it is a String
String result = stringContainer.get();
// this causes a compiler error:
stringContainer.set(42);

리스트

리스트는 Java에서 순서가 있는 시퀀스 컬렉션이에요. 배열과 달리 List는 크기를 늘려서 원하는 만큼 항목을 담을 수 있어요. 표준 구현 중 하나는 크기를 조정할 수 있는 배열로 뒷받침되는 ArrayList예요. 또 다른 표준 구현은 이중 연결 리스트로 뒷받침되는 LinkedList 클래스예요.

List는 비어 있을 수도 있고, 중복을 포함해 원하는 만큼 항목을 담을 수도 있어요. List는 어떤 타입의 객체를 담을 수 있는지 나타내는 타입이 지정된 제네릭 인터페이스예요. 예를 들어:

List<String> emptyListOfStrings = List.of();
List<Integer> singleInteger = List.of(1);
List<Boolean> threeBooleans = List.of(true, false, true);
List<Object> listWithMultipleTypes = List.of("hello", 1, true);

List에는 원소를 추가하고, 제거하고, 가져오고, 원소가 있는지 확인하는 다양한 유용한 메서드가 있어요:

List<Character> vowels = new ArrayList<>(List.of('a', 'e', 'i', 'o', 'i', 'e', 'a'));
int startingSize = vowels.size(); // 7
vowels.add('u'); // vowels is now ['a', 'e', 'i', 'o', 'i', 'e', 'a', 'u']
char a = vowels.get(0); // 'a'
boolean hadI = vowels.remove('i'); // true and vowels is now ['a', 'e', 'o', 'i', 'e', 'a', 'u']
boolean hasI = vowels.contains('i'); // true (still have one more left)