您可以定义T2来扩展T1

interface T2 extends T1 {
    a: number
    b: 'b1' | 'b2'
}

如果T2不能分配给T1，您将得到错误
运动场

您可以使用通用类型。Playground

// Defined in external library
type Subtype = {
    a: number | string
    b: 'b1' | 'b2' | 'b3'
    c?: boolean
}

// Want to define internally while checking if it's a supertype
// type Supertype = {
//     a: number
//     b: 'b1' | 'b2'
// }

// Behold!
export type CreateSupertypeOf<Sub extends Super, Super> = Super;

// Fails if not a supertype
type Supertype = CreateSupertypeOf<Subtype, {
    a: number
    b: 'b1' | 'b2'
}>

注意，在这个例子中，Suptype不能赋值给Supertype，看起来你混淆了对方差的理解（阅读更多关于方差和子类型的内容）。

Type 'Subtype' does not satisfy the constraint '{ a: number; b: "b1" | "b2"; }'.
  Types of property 'a' are incompatible.
    Type 'string | number' is not assignable to type 'number'.
      Type 'string' is not assignable to type 'number'.

您可能指的是这个（Playground）：

type Subtype = {
    a: number
    b: 'b1' | 'b2'
    c?: boolean
}
type Supertype = CreateSupertypeOf<Subtype, {
    a: number | string
    b: 'b1' | 'b2' | 'b3'
}>