Typescript: Невозможно присвоить совместимое значение универсальному типизированному свойству с помощью `extends` в универсальном определении.

Подумайте, что произойдет, если вы напишете это

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 , так что экземпляр действителен, но это не выполняется _ для всех_ типов T где T удовлетворяет ограничению аргумента типа Stateful .

Таким образом, приведенный выше ошибочный код утверждает, что для всех типов T<T> где T, Stateful`.

Логически мы можем посмотреть на это следующим образом

Утверждение

1. Пусть P будет типом { on: boolean }
2. Для всех типов T таких что T присваивается P , определение 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>'
    }
}