TypeScript는 JavaScript에 정적 타입을 도입하는 언어로서, 제네릭(Generics) 기능을 이용하여 재사용성과 유연성을 제공합니다. 그러나 가끔 제네릭 상속을 다룰 때 가변성 문제에 직면할 수 있습니다. 이러한 문제를 이해하고 관리하는 것은 TypeScript로 안정적이고 확장 가능한 코드를 작성하는 데 중요합니다.

1. 가변성 문제란?

가변성 문제는 제네릭 클래스 또는 인터페이스가 다른 제네릭 타입과의 관계에서 발생하는데, 이 관계에서 에러가 발생하거나 예상하지 못한 동작이 발생하는 것을 의미합니다. TypeScript에서는 제네릭 타입 간의 관계를 명확히 이해하고 선언하여 이러한 문제를 방지할 수 있습니다.

2. 제네릭 상속과 가변성

제네릭 클래스나 인터페이스를 상속할 때, 부모 클래스의 제네릭 타입과 자식 클래스의 제네릭 타입 간의 관계를 명확히 해야 합니다. 이 때, TypeScript에서는 +와 - 기호를 사용하여 공변성과 반공변성을 선언함으로써 가변성 문제를 방지할 수 있습니다.

다음은 이를 위한 예시 코드입니다.

class Parent<T> {
  value: T;
}

class Child<T> extends Parent<T> {
  // ...
}

3. 공변성과 반공변성

• 공변성(Covariance): Child 클래스에서 Parent 클래스의 제네릭 타입을 상속받을 때, 공변성을 선언합니다. 이 경우, 양의 방향으로 타입 호환성이 유지됩니다.
• 반공변성(Contravariance): Child 클래스에서 Parent 클래스의 제네릭 타입을 반대 방향으로 상속받을 때, 반공변성을 선언합니다. 이 경우, 음의 방향으로 타입 호환성이 유지됩니다.

결론

가변성 문제와 제네릭 상속은 TypeScript에서 코드를 작성할 때 고려해야 하는 중요한 요소입니다. 공변성과 반공변성을 명확히 이해하고, 이를 적절하게 활용하여 안정적이고 확장 가능한 코드를 작성하는 것이 필요합니다. TypeScript의 문서에서 제네릭 가변성에 대한 자세한 내용을 확인할 수 있습니다.

오이따! TypeScript의 제네릭 상속과 가변성에 대해 알아보았습니다. 이러한 개념을 잘 숙지하고 적절하게 활용하여 안정적이고 확장 가능한 코드를 작성하는 것이 중요합니다.