阻止 Typescript 允许替换为父类

发布于03月29日

为什么这段代码可以在打印脚本中运行？指定的类型是Child，但它也允许传递任何超类(Parent)...反之亦然(用子类替换父类).

class Parent {
  constructor(private foo: string) {}

  bar() {
    return this.foo;
  }
}

class Child extends Parent {
  bar() {
    return 'baz';
  }
}

function doSomething(item: Child) {}

doSomething(new Parent('')); // No type error here...

有没有什么办法可以限制这一点，从而引发类型错误？

EDIT:简化示例

EDIT 2:用示例内容填充课程

TypeScrip的 struct 类型系统的基本规则是，如果y至少具有与x相同的成员，则x与y兼容.例如，考虑下面的代码，该代码涉及一个名为Pet的接口，该接口具有名称属性:

interface Pet {
  name: string;
}

let pet: Pet;
// dog's inferred type is { name: string; owner: string; }
let dog = { name: "Lassie", owner: "Rudd Weatherwax" };
pet = dog;

为了判断宠物狗是否可以分配给宠物，编译器判断了宠物狗的每个属性，以在宠物狗中找到对应的兼容属性.在这种情况下，Dog必须有一个名为name的成员，该成员是一个字符串.是这样的，所以允许赋值.

判断函数调用参数时使用相同的赋值规则:

interface Pet {
  name: string;
}

let dog = { name: "Lassie", owner: "Rudd Weatherwax" };

function greet(pet: Pet) {
  console.log("Hello, " + pet.name);
}
greet(dog); // OK