제네릭 타입 예시

제네릭 파라미터가 있는 무언가가 있다고 치죠, 예를 들어 클래스 Foo:

class Foo<T>{
    foo: T;
}

어떤 한 타입을 위해 이 클래스의 특별한 버전을 만들고 싶을 수 있습니다. 다음은 클래스의 내용을 새로운 변수로 복사한 후 그 변수에 제너릭의 파라미터를 구체적인 타입으로 대체한 타입을 붙여주는 내용입니다. 예를 들어 Foo<number> 클래스를 원한다면:

class Foo<T>{
    foo: T;
}
let FooNumber = Foo as { new ():Foo<number> }; // ref 1

여기 ref 1 에서 FooNumber 가 Foo 와 동일하지만 new 연산자와 함께 호출하면 Foo<Number> 의 인스턴스가 생성되는 것으로 정의한 것입니다.

상속

타입 표명 패턴은 개발자가 올바르게 사용할 것이라고 가정한다는 점에서 안전하지 않습니다. 다른 클래스를 사용하는 언어에서 이런 경우에 대한 일반적인 패턴은 그냥 상속을 사용하는 것입니다:

class FooNumber extends Foo<number>{}

주의사항 하나: 기반 클래스에서 데코레이터를 사용했다면 상속한 클래스의 동작은 기반 클래스와 다를 수 있습니다 (상속한 클래스는 데코레이터로 감싸지지 않았으므로).

당연히 클래스 특수화를 하지 않더라도 변환 / 표명 패턴을 사용하게 될 것이므로 먼저 범용적인 타입 표명 패턴을 먼저 소개했습니다, 예를 들어:

function id<T>(x: T) { return x; }
const idNum = id as {(x:number):number};

이 스택오버플로 질문 에서 영감을 받음