实现接口时为何需显式指定方法参数类型？

这个问题其实和TypeScript的类型推断规则直接相关——这不是你的操作错误，而是TypeScript的设计决定：即使接口已经定义了方法参数的类型，类实现时也必须显式声明参数类型，编译器不会自动从接口“继承”这个类型。

具体原因拆解 #

TypeScript在处理类的方法参数时，并不会自动关联到它所实现的接口定义。当你省略参数类型时，编译器会默认这个参数的类型是any；如果你的项目开启了noImplicitAny严格模式（这是TypeScript 2.x之后非常推荐的配置，你的环境显然是开启了的），就会直接抛出TS7006错误。

哪怕接口里已经明确了str是string类型，TypeScript也不会自动把这个类型赋给类方法的参数。这是因为TypeScript的类型推断逻辑中，类方法的参数类型是独立于接口契约的，显式声明能让你更清晰地对齐接口要求，同时避免后续接口变更时出现隐式的类型不匹配问题。

你的例子怎么修复 #

只需要在Bar类的someMethod参数里显式加上string类型声明，和接口保持一致即可：

interface Foo {
  someProperty: Number
  someMethod?: (str: string) => void
}

class Bar implements Foo {
  someProperty = 42
  someMethod (str: string) { // 显式指定参数类型
    console.log(this.someProperty)
  }
}

额外补充 #

这种设计看似繁琐，但其实是为了类型安全。试想一下，如果编译器自动推断参数类型，当你后续修改了接口的参数类型（比如把string改成number），类的方法可能不会同步更新，这时就会出现隐式的类型错误，而显式声明能让你立刻发现这类问题，保证代码的类型一致性。

内容的提问来源于stack exchange，提问作者a paid nerd