파라메트릭 다형성편집자 확인

파라메트릭 다형성의 가장 대표적인 구현 방식 중 하나는 제네릭이다. Java, C#, TypeScript와 같은 현대적인 정적 타입 언어에서 널리 채택된 방식으로, 클래스, 인터페이스, 메서드를 정의할 때 구체적인 타입을 지정하지 않고 타입 매개변수를 사용한다. 이 타입 매개변수는 나중에 실제 사용 시점에 구체적인 타입으로 대체된다.

예를 들어, Java에서 List<T>와 같은 컬렉션 클래스는 제네릭을 사용하여 정의된다. 여기서 T는 타입 매개변수로, 이 리스트가 담을 요소의 타입을 나타낸다. 사용자는 List<String>이나 List<Integer>와 같이 구체적인 타입을 제공하여, 문자열 리스트나 정수 리스트와 같은 타입 안전한 자료구조를 생성할 수 있다. 이는 동일한 List 코드가 다양한 타입에 대해 재사용되면서도 컴파일 타임에 타입 검사를 보장한다는 점에서 파라메트릭 다형성을 구현한다.

C#과 TypeScript도 유사한 제네릭 문법과 의미를 제공한다. C#의 List<T>나 TypeScript의 Array<T>는 모두 동일한 원리로 작동한다. 이러한 언어들은 제네릭을 통해 타입 안전성과 코드 재사용성을 동시에 확보한다. 특히 타입 매개변수에 제약 조건을 추가하여 특정 기능을 가진 타입만 사용하도록 제한할 수도 있다.

제네릭을 사용하는 주요 이점은 강력한 컴파일 타임 타입 검사로 인한 런타임 오류 감소와, 형변환 없이 코드를 작성할 수 있어 성능상의 이점이 있다는 점이다. 또한 컬렉션과 알고리즘과 같은 범용 코드를 타입에 구애받지 않고 한 번만 작성하면 되므로 코드의 재사용성이 극대화된다.

C++에서 파라메트릭 다형성을 구현하는 주요 방식은 템플릿이다. 템플릿은 컴파일 시간에 구체적인 타입이 결정되는 메커니즘으로, 함수 템플릿과 클래스 템플릿으로 나뉜다. 함수나 클래스를 정의할 때 구체적인 타입을 지정하지 않고, 대신 플레이스홀더(일반적으로 typename T 또는 class T)를 사용하여 일반화된 코드를 작성한다. 이후 이 템플릿을 사용할 때 컴파일러가 실제 타입을 대입하여 해당 타입에 맞는 코드를 생성한다. 이 과정을 템플릿 인스턴스화라고 한다.

템플릿의 가장 큰 특징은 타입 안전성을 유지하면서도 코드 재사용성을 극대화한다는 점이다. 예를 들어, std::vector나 std::list 같은 컨테이너들은 템플릿 클래스로 구현되어 있어, 사용자가 vector<int>나 vector<string>과 같이 원하는 타입으로 인스턴스화할 수 있다. 이렇게 생성된 각 특수화된 버전은 서로 완전히 별개의 타입으로 취급되지만, 동일한 템플릿 코드에서 생성되었기 때문에 논리적 구조는 동일하다.

C++ 템플릿은 매우 강력하고 유연한 기능으로, 템플릿 메타프로그래밍과 같은 고급 기법의 기초가 된다. 그러나 이 유연성에는 비용이 따른다. 템플릿 코드는 일반적으로 헤더 파일에 전부 작성해야 하며, 컴파일 시간이 길어질 수 있고, 에러 메시지가 복잡해지는 단점이 있다. 또한, 런타임이 아닌 컴파일 타임에 모든 것이 결정되므로, 다른 언어의 제네릭과 달리 타입 소거가 발생하지 않는다.

타입 매개변수 방식은 Haskell, Scala, ML과 같은 함수형 프로그래밍 언어에서 파라메트릭 다형성을 구현하는 주요 방법이다. 이 방식은 함수나 데이터 타입을 정의할 때 구체적인 타입 대신 타입 변수를 사용한다. 이 타입 변수는 임의의 타입으로 대체될 수 있으며, 이를 통해 동일한 코드 구조를 다양한 타입에 대해 재사용할 수 있다.

Haskell에서는 타입 시그니처에 소문자로 시작하는 타입 변수(예: a, b)를 명시하여 파라메트릭 다형 함수를 정의한다. 예를 들어, 리스트의 길이를 반환하는 length :: [a] -> Int 함수는 리스트 내 요소의 타입(a)에 전혀 의존하지 않는다. Scala에서는 제네릭 클래스나 메서드를 정의할 때 대괄호([ ]) 안에 타입 매개변수를 선언한다. 예를 들어, List[T]는 타입 매개변수 T를 가지며, 이는 Int, String 등 어떤 타입으로도 구체화될 수 있다.

이 방식의 주요 특징은 타입 안전성을 보장하면서도 추상화 수준이 높다는 점이다. 컴파일 시점에 타입 검사가 이루어지므로 런타임 오류를 줄일 수 있으며, 구현 코드는 단 한 번만 작성하면 된다. 또한, Haskell과 같은 언어에서는 파라메트릭 다형성과 타입 클래스를 결합하여 임시 다형성(ad-hoc polymorphism)을 함께 사용하기도 한다.

파라메트릭 다형성은 서브타입 다형성과 구분되는 다형성의 한 형태이다. 서브타입 다형성은 객체 지향 프로그래밍에서 흔히 볼 수 있는 상속 계층 구조를 통해 동작한다. 부모 클래스 타입의 참조 변수가 자식 클래스 타입의 객체를 참조할 수 있으며, 이를 통해 런타임에 실제 객체 타입에 따라 적절한 메서드가 호출된다. 이는 메서드 오버라이딩을 통해 구현되며, 하나의 인터페이스에 대해 여러 구체적인 구현을 제공한다는 점에서 다형성을 실현한다.

반면 파라메트릭 다형성은 타입 자체를 매개변수화한다는 점에서 근본적으로 다르다. 함수나 클래스, 인터페이스를 정의할 때 구체적인 타입을 지정하지 않고, 나중에 사용될 타입을 위한 자리 표시자(타입 매개변수)를 사용한다. 예를 들어, 리스트를 처리하는 함수를 작성할 때 그 리스트가 정수 리스트인지 문자열 리스트인지에 관계없이 동일한 로직을 적용할 수 있도록 일반화한다. 이는 코드의 재사용성을 높이고 타입 안전성을 보장한다.

두 다형성은 상호 배타적이지 않으며, 현대 프로그래밍 언어에서는 종종 함께 사용된다. 예를 들어, 제네릭 컬렉션(파라메트릭 다형성)에 다양한 서브타입의 객체(서브타입 다형성)를 담아 처리할 수 있다. 그러나 서브타입 다형성이 주로 런타임에 결정되는 동적 특성에 기반한다면, 파라메트릭 다형성은 컴파일 타임에 타입이 결정되고 검사되는 정적 특성이 강하다는 차이가 있다.

임시 다형성은 동일한 함수 이름이나 연산자가 서로 다른 타입에 대해 서로 다른 구현을 가지는 형태의 다형성을 말한다. 이는 함수 오버로딩이나 연산자 오버로딩을 통해 구현되며, 호출 시 전달된 인자의 타입에 따라 컴파일러나 인터프리터가 적절한 구현을 선택한다. 즉, 하나의 함수 이름이 여러 타입에 대해 다르게 동작할 수 있지만, 그 구현은 각 타입에 대해 미리 정의되어 있어야 한다.

파라메트릭 다형성이 단일한 일반적인 구현을 다양한 타입에 적용하는 것과 달리, 임시 다형성은 각 타입 쌍에 대해 구체적인 구현이 필요하다는 점에서 대비된다. 예를 들어, + 연산자는 정수형에서는 덧셈으로, 문자열에서는 연결(concatenation)으로 작동할 수 있는데, 이는 언어 설계자가 정수와 문자열 각각에 대해 별도의 + 연산 동작을 정의했기 때문에 가능한 것이다. 이처럼 동작이 타입에 따라 "임시로" 결정된다는 특징에서 이름이 유래했다.

주요 프로그래밍 언어에서 임시 다형성은 흔히 발견된다. C++, Java, C# 등의 언어는 함수 오버로딩을 지원하여 매개변수의 타입, 개수, 순서가 다른 여러 함수를 같은 이름으로 정의할 수 있게 한다. 또한 하스켈의 타입 클래스나 러스트의 트레이트도 임시 다형성을 구현하는 메커니즘으로 볼 수 있으며, 이들은 특정 타입에 대한 함수의 구현을 명시적으로 선언하는 방식을 취한다.

임시 다형성은 특정 타입에 최적화된 동작을 제공할 수 있고, 코드의 가독성을 높일 수 있는 장점이 있다. 그러나 지원할 타입의 조합마다 명시적으로 구현을 추가해야 하므로, 새로운 타입이 추가될 때마다 관련된 모든 오버로딩된 함수를 업데이트해야 하는 유지보수 부담이 있을 수 있다.