TypeScript中函数参数将unknown替换为具体类型报错的原因与解决

报错原因 #

这个报错是TypeScript的函数类型兼容性规则导致的，核心是函数参数类型逆变特性：

• 父接口Foo中约定func的参数类型为unknown，意味着所有实现Foo接口的实例，其func方法必须支持接收任意类型的入参。
• 你在子接口Bar中将func的参数收窄为SolidType，相当于要求func只能接收SolidType类型的入参，违反了父接口的契约。如果将Bar实例赋值给Foo类型的变量，按照Foo的约定可以传入任意类型参数调用func，就会出现运行时错误，因此TypeScript会提前抛出类型不兼容的错误。

这个场景下你没有错误使用unknown，只是继承接口时违反了父接口的类型约定。 #

最优替代方案 #

最适合这类需要在具体场景收窄参数类型的通用接口定义方案是使用泛型：

// 定义带泛型参数的通用接口，默认类型为unknown，兼顾通用场景
interface Foo<T = unknown> {
  func: (arg0: T) => number;
}

type SolidType = {
  someNumber: number;
}

// 继承时传入具体参数类型，自动完成类型收窄
interface Bar extends Foo<SolidType> {}

const x: Bar = {
  func: (arg0) => {
    // 这里arg0会自动推断为SolidType类型，无需额外类型判断
    return arg0.someNumber;
  }
}

这个方案既保留了父接口的通用性，又完全符合TypeScript的类型安全规则，后续调用Bar实例的func方法时，也会自动校验入参必须符合SolidType类型。 #

其他可选方案 #

如果特殊场景下不能使用泛型，可以选择以下两种方案：

• 类型断言（不推荐，仅用于兼容老代码）：
  如果你能保证所有调用Foo类型func方法的场景都会传入符合子类型要求的参数，可以用类型断言绕开校验：

  interface Bar extends Foo {
    func: (arg0: SolidType) => number;
  }
  
  const x: Bar = {
    func: (arg0: SolidType) => arg0.someNumber
  } as unknown as Bar;
  

• 类型组合（无需多态场景使用）：
  如果你不需要将Bar实例赋值给Foo类型变量，可以直接组合类型避免继承契约冲突：

  type Bar = Omit<Foo, 'func'> & {
    func: (arg0: SolidType) => number;
  }
  

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