为何Required<Partial<Inner>>不继承Inner？TypeScript类型报错咨询

你的代码如下：

type Inner = {
  a: string
}
type Foo<I extends Inner> = { f: I }
interface Bar<I extends Inner> {
  b: I
}
type O<I extends Partial<Inner>> = Foo<Required<I>> & Bar<Required<I>>

编译时会触发如下错误：

Type 'Required<I>' does not satisfy the constraint 'Inner'.
  Types of property 'a' are incompatible.
    Type 'I["a"]' is not assignable to type 'string'.
      Type 'string | undefined' is not assignable to type 'string'.
        Type 'undefined' is not assignable to type 'string'.ts(2344)

问题原因 #

你预期Required<Partial<Inner>>等价于Inner，这个结论本身是对的——Partial<Inner>会把Inner的所有属性转为可选，Required又会把这些可选属性转回必选，所以Required<Partial<Inner>>确实等于Inner。

但问题出在泛型约束的范围：你定义O<I extends Partial<Inner>>，意味着I可以是Partial<Inner>的任意子类型，而不仅仅是Partial<Inner>本身。

举两个典型的反例：

• 当I是{}（空对象，属于Partial<Inner>的子类型），Required<I>仍然是{}，这个类型没有a属性，显然不满足Inner的约束（Inner要求必须有a: string）。
• 当I是{a?: undefined}，Required<I>会变成{a: undefined}，a的类型是undefined，也不符合Inner中a: string的要求。

TypeScript的泛型约束需要保证所有符合约束的I都能满足后续的类型要求，而上面这些I的存在导致Required<I>无法满足Inner的约束，所以编译器报错。

解决方案 #

根据你的需求，有两种常见的解决方向：

1. 直接使用Inner作为泛型参数 #

如果你只是想让O的类型是Foo<Inner> & Bar<Inner>，完全不需要泛型，直接写：

type O = Foo<Inner> & Bar<Inner>

因为Required<Partial<Inner>>就是Inner，这样代码更简洁，也不会有类型错误。

2. 约束I并强制类型匹配 #

如果你确实需要保留泛型，且要求Required<I>必须符合Inner的约束，可以通过交叉类型强制Required<I>与Inner对齐：

type O<I extends Partial<Inner>> = Foo<Required<I> & Inner> & Bar<Required<I> & Inner>

这里的& Inner会强制Required<I>必须包含Inner的所有属性及对应类型，确保符合Foo和Bar的约束。

或者，如果你能保证I的属性类型最终会被转为string，也可以用类型断言简化：

type O<I extends Partial<Inner>> = Foo<Required<I> as Inner> & Bar<Required<I> as Inner>

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