typescript - "Duck" typescript 中的打字与函数参数

Question

Typescript 在某些情况下执行“鸭子”键入，例如当您针对接口(interface)检查函数参数的有效性时。

例如:

interface Named {
  name: string
}

function printName(x: Named) {
  return x.name;
}

const myVar = {
  name: "John",
  happy: "OK", // This extra key-value pair does not break our printName function
};

printName(myVar);

但是，当您创建变量并定义其类型时，额外的键值对将抛出类型错误:

const myVar: Named = { name: "Jim", extraVal: "Oops" } // The "extraVal" is not allowed.

1) 为什么 Typescript 在第二个实例中检查精确匹配，而不检查传递给函数的参数？

2) 在使用 duck-typing 时是否还有其他实例，如何区分这些实例？

Answer 1

TypeScript 的类型系统是 structural (您称之为“鸭子”类型)，一般，额外的属性不被视为违反对象类型的结构。换句话说，TypeScript 中的对象类型是“开放/可扩展”的，而不是 "closed/exact" ;已知类型 {a: string} 具有字符串值 a 属性，但不知道缺少其他属性。

开放对象类型启用有用的东西，例如 interface 和 class 扩展，所以如果 Y extends X 那么你可以使用 Y 任何你可以使用 X 的地方，即使 Y 有更多的功能。

所以为了回答你的第二个问题，语言中的大多数地方只依赖于结构子类型。

---

据我所知，编译器唯一表现得好像对象类型是精确的地方是在您创建新的对象字面量时。编译器假设当你创建一个对象字面量时，你关心它的所有属性。如果您随后立即将这样的文字分配给不知道所有对象文字属性的类型，编译器会警告您:编译器将忘记这些额外的属性并且无法跟踪它们，这可能是您的错误部分。这叫做 excess property checking .只有当您有一个“新的”对象文字(尚未分配给任何地方)并且您将其分配给一个不需要其所有属性的类型时，它才会启动。

手册中给出的为什么需要进行此检查的示例涉及拼写错误的可选属性。如果你有一个像 { weird?: boolean } 类型的变量，并给它赋值对象字面量 {wierd: true }，编译器会说“嗯，这个值确实适合该类型。它没有weird 属性，这很好，因为它是可选的。但它有这个额外的wierd 属性，我会立即忘记；为什么有人会那样做？也许这是一个错误。”我不知道你是否同意这个推理，但就是这样。

---

所以为了回答你的第一个问题，编译器很高兴

const myVar = {
  name: "John",
  happy: "OK"
};    
printName(myVar);

因为对象字面量在其初始赋值时没有加宽(已知 myVar 的类型同时具有 name 和 happy属性)，当你将它传递给 printName() 时，它就不再“新鲜”了。编译器不会知道 printName() 实现中的 happy 属性，但它知道 中的 happy 属性myVar.

不满意

const myVar: Named = { name: "Jim", happy: "OK" };

因为它会被过多的属性检查捕获。 myVar 的类型将不包含任何对 happy 的引用。

---

好的，希望对你有帮助；祝你好运!