Typescript: 일반 정의에서 '확장'을 사용하여 일반 유형 속성에 호환 가능한 값을 할당 할 수 없습니다.

이 글을 쓰면 어떻게 될지 고려하십시오

var t = new GenericComponent<{on: boolean, thing: string}>();
t.onInput({ value: 30 });
t.state.thing.substr(0); // 'thing' property should exist, but doesn't

다음은 간단한 예입니다.

class Stateful<State extends { on: boolean }> {
  state: State = {
    on: true
  }; // error
}

이것이 작동하지 않는 이유는 Stateful 이 { on: boolean } 와 정확히 동일한 유형 인수로 인스턴스화 될 때만 유효하기 때문입니다.

기본적으로 _ 존재 _ 유형 T , Stateful 의 유형 인수의 제약 조건을 충족하여 인스턴스화가 유효하지만 _for all_ types T 보유하지 않습니다. T 는 Stateful 의 형식 인수 제약 조건을 충족합니다.

따라서 위의 잘못된 코드는 모든 유형에 대해 T<T> 여기서 T, Stateful`.

논리적으로 다음과 같이 볼 수 있습니다.

역설

1. P { on: boolean } 유형으로 지정합니다.
2. T 를 P 할당 할 수있는 모든 유형 T Stateful<T> 위의

반대 사례에 의한 반증

1. U { on: boolean, value: number } 유형으로 지정합니다.
2. U 는 정의에 따라 P ->에 할당 가능합니다.
3. Stateful<U> 유효하지 않음-> 대체
4. 따라서 타입에게 존재 T 되도록 T 귀속 인 P 및 Stateful<T> 잘못된 실체화 -> 넌지시

@RyanCavanaugh @aluanhaddad 촬영, 나는 그것을 알고 있었다. 나는 문제를 더 단순한 것으로 정리하려고 노력하는 동안 혼란스러워했습니다. 다시 시도해보세요. 이 경우 부분 사용은 어떻습니까? 여전히 비슷한 오류가 발생합니다.

interface BaseState {
    on: boolean;
};

class Component {
    state: BaseState;

    setState(partialState: Partial<BaseState>) {
        this.state = { ...this.state, ...partialState };
    }

    onInput({ value }: { value: number }) {
        this.setState({ on: value > 0 });  // no error
    }
}

class GenericComponent<State extends BaseState> {
    state: State;

    setState(partialState: Partial<State>) {
        this.state = { ...this.state, ...partialState };
    }

    onInput({ value }: { value: number }) {
        this.setState({ on: value > 0 });  // error: Argument of type '{ on: boolean; }' is not assignable to parameter of type 'Partial<State>'
    }
}