TypeScript泛型类型赋值报错咨询：泛型与结构类型不匹配

问题代码 #

type Overwrite<T, U> = Pick<T, Exclude<keyof T, keyof U>> & U;

type Feedback ={
  type: 'error' | 'success';
}

const aFunc = <SubmitResultType extends {feedback: Feedback}>() => {    
    const test: Omit<SubmitResultType,'feedback'> & {feedback: null} = {feedback: null};
};

aFunc<{feedback:Feedback, other: string}>();

错误提示 #

Type '{ feedback: null; }' is not assignable to type 'Omit<SubmitResultType, "feedback"> & { feedback: null; }'.
  Type '{ feedback: null; }' is not assignable to type 'Omit<SubmitResultType, "feedback">'.
'test' is declared but its value is never read.

报错原因 #

核心问题在于泛型类型的不确定性。TypeScript检查泛型函数内部代码时，只会基于泛型约束SubmitResultType extends {feedback: Feedback}做校验，不会提前预知你调用时传入的具体类型。

Omit<SubmitResultType, 'feedback'>代表SubmitResultType去掉feedback后的所有剩余属性——这些属性是未知的，可能包含任意数量、任意类型的其他字段（只要满足泛型约束）。你赋值的{feedback: null}只包含feedback属性，完全没有覆盖Omit<SubmitResultType, 'feedback'>可能存在的其他属性，因此TypeScript判定该值不符合目标类型。

拿你调用时传入的具体类型举例：此时Omit<SubmitResultType, 'feedback'>等价于{other: string}，目标类型就是{other: string, feedback: null}，但你赋值的对象缺少other属性，自然无法匹配。

解决方案 #

根据你的需求，有两种常见处理方式：

1. 允许其他属性可选：如果只需要保证feedback: null，其他属性可选，修改目标类型为：

const aFunc = <SubmitResultType extends {feedback: Feedback}>() => {    
    const test: Partial<Omit<SubmitResultType,'feedback'>> & {feedback: null} = {feedback: null};
};

Partial会把Omit后的所有属性转为可选，此时{feedback: null}就能符合类型要求。

2. 限制泛型无额外属性：如果确定SubmitResultType除了feedback外没有其他属性，修改泛型约束：

const aFunc = <SubmitResultType extends {feedback: Feedback} & Record<string, never>>() => {    
    const test: Omit<SubmitResultType,'feedback'> & {feedback: null} = {feedback: null};
};

Record<string, never>确保SubmitResultType不会有额外的字符串索引属性，此时Omit<SubmitResultType, 'feedback'>是空类型，{feedback: null}可以匹配。

内容的提问来源于stack exchange，提问作者Bertuz