为什么在覆盖接口时 TypeScript 不会发出警告

Question

interface ClockInterface {
    setTime(d: Date);
}

class Clock implements ClockInterface  {
    // I would expect this to raise a compile error 
    // as it's not implementing the interface
    setTime(d) {
        // some logic that needs an instance of Date
    }
}

var cc = new Clock();

// otherwise it allows you to do any bad stuff you want.
cc.setTime(234);
cc.setTime('234');
cc.setTime([]);

当然，将setTime(d) { 更改为setTime(d: Date) { 确实会导致对setTime 的最后3 次调用引发警告。

一个更简单的例子就是：

class Clock implements ClockInterface  {
    setTime() {
        // some logic that needs an instance of Date
    }
}

Answer 1

Liskov Substitution Principle。该类可替代接口，所以它可以implement它。

当你说implements 时，TypeScript 执行的唯一检查是“类是否可以分配给指定的接口？”。考虑这种情况：

interface CatVeterinarian {
    checkup(a: Cat): void;
}

interface HumanDoctor {
    checkup(a: Human): void;
}

class UniversalDoctor implements CatVeterinarian, HumanDoctor {
    checkup(a: Animal) {
        // ...
    }
}

假设这是一个错误：你将如何解决它？你的UniversalDoctor 类真的可以同时充当CatVeterinarian 和HumanDoctor。你无事可做。

您可以使用非Date 参数调用Clock 这一事实仅仅代表了一个额外 功能——接受任意setTime 参数的能力。显然，编译器说“你的类太多，它不满足那个接口*；几乎每个接口的实现者都会有一些额外的'东西'不属于原始界面。