TypeScript两种可选函数类型定义写法的差异与规范咨询

官方合法性依据 #

写法A onPress?(): void 是TypeScript原生支持的合法语法，属于对象类型中的可选方法签名声明规则，是TS从早期版本就纳入规范的标准语法，不是解析器的容错兼容行为。
在TS的类型定义规则里，对象类型的函数成员支持两种声明范式：一种是把函数作为普通属性值，写为「属性名: 函数类型」的形式，也就是提到的写法B；另一种是沿用类、接口中方法声明的习惯，直接写方法签名，方法名后加?即可标记为可选，不需要额外通过:分隔标注函数类型。

两种写法的差异 #

二者并非完全等价，在TS严格编译选项开启的场景下存在明确的类型行为差异：

• this 推导规则不同：方法签名（写法A）内的this会自动绑定为所属对象的类型，在noImplicitThis开启时不会报错；属性式函数声明（写法B）如果没有手动标注this类型，函数内部的this默认推导为any，开启noImplicitThis时会直接抛出类型错误。
• 参数类型检查严格度不同：开启strictFunctionTypes编译选项时，属性式的函数类型会执行严格的参数逆变检查，对类型兼容性的校验更严格；方法签名默认走双向协变的宽松检查，允许参数类型不满足严格逆变的赋值行为，可能漏掉潜在的类型问题。
• 成员归类不同：TS类型系统会把方法签名归类为「方法成员」，把属性式函数归类为「属性成员」，在使用映射类型、内置工具类型（比如Readonly、Partial）做类型转换时，部分场景下对两类成员的处理逻辑存在细微差别。

在无参数、无内部this访问的简单场景中，两种写法的实际使用表现几乎没有区别。

社区书写规范推荐 #

目前TS社区的主流惯例、官方手册的多数示例、ESLint TypeScript插件的默认规则，都更推荐使用写法B onPress?: () => void，核心原因有三个：

• 结构一致性：无论属性的值是原始类型、对象还是函数，都遵循「属性名 → 可选标记? → 冒号分隔 → 类型值」的统一书写逻辑，读代码时不需要额外区分是方法声明还是属性声明，认知成本更低。
• 类型安全更可控：写法B会严格遵循所有严格模式下的类型检查规则，能提前捕获更多类型不兼容的隐患，避免方法签名的宽松检查带来的隐式bug。
• 工具链兼容性更好：IDE类型提示、文档生成工具、第三方类型工具对属性式函数声明的解析逻辑更统一，不会因为方法签名的特殊语法出现提示偏差。

对比示例代码 #

type Props = {
   onPress?(): void // 可选方法签名写法（写法A）
}

type OtherProps = {
   onPress?: () => void // 属性式函数类型写法（写法B，社区推荐）
}

const instanceOfProps: Props = {
    onPress: () => {}
}

const instanceOfOtherProps: OtherProps = {
    onPress: () => {}
}

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