为何TypeScript中两种接口声明方式的类型检查行为存在差异？

在TypeScript里，接口中以方法形式声明的函数成员，和以属性形式声明的函数类型成员，在类型兼容性检查上存在明显差异。

先看基础类型定义：

interface ObjectInQuestion {
  value: any
}

接下来是两个对比接口：

// 以方法形式声明函数成员
interface FirstInterface {
  callback(obj: Partial<ObjectInQuestion>): void;
}

// 以属性形式声明函数类型成员
interface SecondInterface {
  callback: (obj: Partial<ObjectInQuestion>) => void;
}

再看测试代码的差异表现：

function takesFirstInterfacePasses(_: FirstInterface) { }

function takesSecondInterfaceFails(_: SecondInterface) { }

// 接受完整ObjectInQuestion类型参数的函数
function thisTakesEntireObject(_: ObjectInQuestion) { }

function whyDoTheseFunctionsCheckDifferently() {
  // 类型检查通过
  takesFirstInterfacePasses({ callback: thisTakesEntireObject })
  // 类型检查失败
  takesSecondInterfaceFails({ callback: thisTakesEntireObject })
}

原因解析 #

这是TypeScript针对两种函数成员声明方式的兼容性规则差异导致的：

• 对于接口中的方法签名（比如FirstInterface里的callback(obj: ...): void），TypeScript采用双向协变的参数检查规则：既允许源函数的参数类型是目标参数类型的子类型，也允许是父类型。这里ObjectInQuestion是Partial<ObjectInQuestion>的子类型（完整类型可以兼容属性可选的Partial类型），因此方法签名接受这种赋值。
• 对于接口中的函数类型属性（比如SecondInterface里的callback: (obj: ...) => void），TypeScript采用严格逆变的参数检查规则：要求源函数的参数类型必须是目标参数类型的父类型（或更宽泛的类型），以此保证类型安全。这里ObjectInQuestion比Partial<ObjectInQuestion>更严格（属性为必选），不符合逆变要求，因此类型检查报错。

这种规则设计是为了在方法场景下兼顾灵活性（比如类的方法重载、继承场景），而在函数属性场景下保证更严格的类型约束。

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