typescript类实现签名不正确的接口方法时没有错误

Question

interface Foo {
  fn1(x: string): void;
}

class Test implements Foo {
  public fn1 (): string {
    return "111"
  }
}

预期得到一个错误，如：类测试错误地实现了接口 Foo

因为函数的签名不正确

没有运气。 显示没有任何错误

Answer 1

这实际上不是错误的签名。 可以使用单个参数作为字符串调用它，它只会忽略该参数。 请记住，这是 Javascript 的工作方式，并且 Typescript 编译为 Javascript：

function bar() {
    console.log('bar');
}

bar('baz'); // no error at runtime in Javascript

同样，接口的签名表示该方法为 void，这与实际返回字符串的方法兼容。 如果调用者认为它是空的，那么他们永远不会观察到它返回一个字符串。 如果他们认为obj.fn1()没有返回任何内容，那么没有人会写以下内容：

let result = obj.fn1(); // why am I assigning the return value of a void method?

因此，尽管具有“错误”的参数和返回类型，但该方法实际上可以安全地使用，就好像它接受一个字符串并且不返回任何内容一样，因此它与接口的签名兼容。

---

这一切都很好，但 Typescript可能被设计为在此处报告错误，并且错误消息可能对您的示例有所帮助。 但是在很多情况下它不会有帮助。 考虑这个代码：

let names = ['Alice', 'Bob', 'Clive'];
let counts: Record<string, number> = {};

names.forEach(name => counts[name] = 0);

Array.prototype.forEach的签名表示callbackfn的类型应该是：

(value: any, index: number, array: any[]) => void

但是箭头函数的类型是(name: string) => number 。 这具有较少的参数和非空的返回类型。 因此，它与您的示例中的“错误”完全相同。 当然，这是forEach的基本正确用法，Typescript 抱怨它也无济于事。

Answer 2

Typescript 使用结构类型来确定类型兼容性。 对于函数，这意味着声明和实现不需要完全相同的签名，只要编译器可以确定通过声明调用实现是安全的。

以这种方式考虑示例，

  interface Foo {
  fn1(x: string): void;
}

class Test implements Foo {

  constructor()
  {}

  public fn1 (): string {
    return "111"
  }
}

const fn1: Foo = new Test(); // error, fn1 has parameter, although Test fn1 doesn't expect one
const fn2: Test = new Test();      

在fn1而不是fn2上出现错误的原因是，一旦赋值完成，编译器只知道变量的类型，而不是你最初分配给它的类型，并将根据变量的实际类型进行检查。 所以对于fn1这意味着Foo.fn1需要一个参数，没有办法知道它不需要。 对于fn2 ，它将检查Test.fn1 ，已知它不需要参数。

这如何尝试在 Typescript 中保护您的类型。