Typescript 假定属性类型为 T |属性 ["key"] 而不仅仅是 T

Question

假设我们有一个如下定义的类型:

type PropsBase<T> = {
    optionalProp?: T;
} 

type Props<T, TAdditionalProps extends object> = PropsBase<T> & TAdditionalProps

基本上我有一个公共(public)属性对象，然后子类可以根据需要添加更多属性。 然后我想这样使用它:

type State<T> = {
    value: T;
}

abstract class Base<T, TAdditional extends object = {}> {
    state: State<T>;
    constructor(props: Readonly<Props<T, TAdditional>>) {
        this.state = {
            value: props.optionalProp || this.fallbackValue() // ERROR!
        }
    }

    abstract fallbackValue(): T;
}

这会导致以下错误:

TS2322: Type 'T | Props<T, TAdditional>["optionalProp"]' is not assignable to type 'T'.
   'T' could be instantiated with an arbitrary type which could be unrelated to 
   'T | Props<T, TAdditional>["optionalProp"]'.

如果我做optionalProp不是可选的(删除 ? )然后它可以工作，如果我删除 Readonly 它也可以工作从构造函数中，只需使用 Props<T, TAdditional>相反。

所以我的问题是:为什么会发生这种情况？有没有办法仍然使用 Readonly这里有一个可选属性？

附注我有strict: true在我的 tsconfig.json 中。我知道如果我将其设置为 false它会起作用的。

Answer 1

我认为从||切换到 ？？解决您的问题。

Playground

type PropsBase<T> = {
    optionalProp?: T;
} 

type Props<T, TAdditionalProps extends object> = PropsBase<T> & TAdditionalProps

type State<T> = {
    value: T;
}

abstract class Base<T, TAdditional extends object = {}> {
    state: State<T>;
    constructor(props: Readonly<Props<T, TAdditional>>) {
        this.state = {
            value: props.optionalProp ?? this.fallbackValue()
        }
    }

    abstract fallbackValue(): T;
}