제네릭 기반 클래스 필드 유형

근본적인 문제는 제네릭 형식 매개 변수가 제어 흐름 분석을 통해 좁혀지지 않는다는 것입니다. 이는 TypeScript에서 상당히 오랫동안 열려있는 문제입니다 . 자세한 내용 은 microsoft / TypeScript # 13995 를 참조하세요.

당신이 검사 할 때 typeA의 switch/의 case문, 컴파일러는 유형 좁힐 수 있습니다 type리터럴 형식으로 변수를 "array"하지만 좁은하지 않는 형식 매개 변수 T 에를 "array". 따라서 any[]유형에 값을 할당하는 것이 안전한지 확인할 수 없습니다 AvailableTypes[T]. 컴파일러는 현재 수행하지 않는 분석을 수행해야합니다. 예를 들어 "좋아요, if 유형에서 type === "array"추론 한 다음이 블록 내에서로 범위 를 좁힐 수 있으므로 유형은 is , aka, 등입니다. 할당하는 것이 안전 합니다. " 그러나 이것은 일어나지 않습니다.TtypecaseT"array"this.valueAvailableTypes["array"]any[][]

동일한 문제로 인해 " value확실히 할당되지 않음"오류가 발생합니다. 컴파일러는 여기에서 제어 흐름 분석을 수행하지 않기 때문에 switch/ case가 모든 가능성을 소진 하는 것을 볼 수있는 수단 T이 없습니다.

여기서 가장 쉬운 해결 방법은 유형 어설 션 을 사용 하여 컴파일러에게 확인할 수 없기 때문에 수행중인 작업을 알고 있음을 알리는 것입니다.

완전성 문제를 처리하기 위해 다음 default과 같이 던지는 케이스를 만들 수 있습니다 .

class Wrapper<T extends keyof AvailableTypes> {

    private readonly type: T;
    private readonly value: AvailableTypes[T];
    constructor(type: T) {
        this.type = type;

        switch (type) {
            case 'array':
                this.value = [] as AvailableTypes[T]; // assert
                break;
            case 'string':
                this.value = '' as AvailableTypes[T]; // assert
                break;
            case 'object':
                this.value = {} as AvailableTypes[T]; // assert
                break;
            default:
                throw new Error("HOW DID THIS HAPPEN"); // exhaustive
        }
    }
}

또는 type에서 T로 확장 할 수 있습니다. keyof AvailableTypes그러면 컴파일러가 케이스가 완전하다는 것을 이해하는 데 필요한 제어 흐름 분석을 수행 할 수 있습니다 .

class Wrapper<T extends keyof AvailableTypes> {
    private readonly type: T;
    private readonly value: AvailableTypes[T];
    constructor(type: T) {
        this.type = type;
        const _type: keyof AvailableTypes = type; // widen to concrete type
        switch (_type) {
            case 'array':
                this.value = [] as AvailableTypes[T]; // assert
                break;
            case 'string':
                this.value = '' as AvailableTypes[T]; // assert
                break;
            case 'object':
                this.value = {} as AvailableTypes[T]; // assert
                break;
        }
    }
}

(다른 해결 방법 건전성 변화를 구현 사람 코멘트에서 언급은 ) 당신이 값이있는 경우는 사실을 활용하는 t유형 T, 및 키 k유형을 K extends keyof T다음의 유형 t[k]으로 컴파일러에 의해 보일 것이다 T[K]. 우리가 유효한을 할 수 그래서 만약 AvailableTypes, 우리와 그것에 단지 인덱스 할 수 있습니다 type. 아마도 다음과 같습니다.

class Wrapper<T extends keyof AvailableTypes> {
    private readonly type: T
    private readonly value: AvailableTypes[T];
    constructor(type: T) {
        this.type = type;
        const initValues: AvailableTypes = {
            array: [],
            string: "",
            object: {}
        };
        this.value = initValues[type];
    }
}

이것은 타입 단언과 switch문장 보다 훨씬 더 좋은 방법 이며 부팅하기에 상당히 안전한 방법입니다. 따라서 사용 사례에서 금지하지 않는 한이 솔루션을 사용하겠습니다.

좋아요, 그 중 하나가 도움이되기를 바랍니다. 행운을 빕니다!

코드에 대한 플레이 그라운드 링크

업데이트 : 제네릭 클래스 대신 구별 된 공용체