TypeScript 编译器在实现泛型接口时不强制执行类型参数？

Question

考虑一个具有两个实现的 TypeScript 接口：

interface IFoo {}

class FooA implements IFoo {}
class FooB implements IFoo {}

接下来，考虑一个接受IFoo 的实现作为类型参数的通用接口：

interface IFooHandler<F extends IFoo> {
    handle(foo: F): string
}

现在，我们来实现IFooHandler接口，具体实现IFoo作为类型参数：

class FooAHandler implements IFooHandler<FooA> {
    handle(foo: FooB): string {
        return "Hello, Foo A!";
    }
}

在 2.0.3 版本中使用 tsc 编译完美。所以这是我的问题：为什么会编译？

请注意，我在FooAHandler 的handle() 函数中使用了FooB 作为参数类型。我假设这段代码会触发编译器错误，因为IFooHandler<F> 接口规定handle 方法应该接受F 类型的参数（因此，如果是IFooHandler<FooA>，则类型为FooA -- 并且不是FooB）。

我在 TypeScript 文档中找不到有关此行为的任何信息。这种行为是否是故意的，如果是，其背后的原因是什么？还是我只是以错误的方式使用此功能？

---

只是为了比较，在 Java 中实现完全相同的示例（省略代码，因为它非常相似）会产生（预期的）编译错误：

FooAHandler.java:1: 错误 FooAHandler 不是抽象的并且没有覆盖 IFooHandler 中的抽象方法句柄（FooA）

Answer 1

发生这种情况是因为编译器不按名称比较类型，而是检查它们的结构，并且由于 IFoo、FooA 和 FooB 都是空的，所以它们都是相等的。

即使在做的时候：

interface IFoo {
    a: string;
}

class FooA implements IFoo {
    a: string;
}

class FooB implements IFoo {
    a: string;
}

编译器仍然不会抱怨，但是一旦我们区分了FooA 和FooB：

class FooA implements IFoo {
    a: string;
    b: string;
}

class FooB implements IFoo {
    a: string;
    c: string;
}

我们得到编译器错误：

Class 'FooAHandler' incorrectly implements interface 'IFooHandler<FooA>'.  
  Types of property 'handle' are incompatible.  
    Type '(foo: FooB) => string' is not assignable to type '(foo: FooA) => string'.  
      Types of parameters 'foo' and 'foo' are incompatible.  
        Type 'FooA' is not assignable to type 'FooB'.  
          Property 'c' is missing in type 'FooA'.  

(code in playground)

附注：
空对象（就像你的所有接口一样）将始终接受所有内容：

interface IFoo { }

function fn(foo: IFoo) {}

fn(3); // ok
fn("string"); // ok
fn({ key: "value" }); // ok

(code in playground)