TypeScript Duck Typing，不显示属性字符串为number的错误

Question

概述

在下面的代码中，我已经完全理解了。这就是为什么我们使用鸭式打字。

//Object declaration & initialization
let obj1 : {id:number, name:string};
obj1 = {id: 1,name: "Ahmer Ali Ahsan"};
//Error, missing property name
obj1 = {id:1};

let obj2 : {id:number, [obj2: string]:any};
obj2 = {id: 1, firstname: "Ahmer"};
//We add new property members due to index signatures
obj2 = {id: 2, firstname: "Ahmer", middlename:"Ali", lastname: "Ahsan"};
//We erase property members due to index signatures
obj2 = {id:2};

问题

let obj3 : {id:number, [obj3: number]: number};
obj3 = {id: 1, rollno: "Why error is not showing here?"};

当我将rollno赋给字符串值时，为什么没有因为[obj:number]:number索引签名而出现错误？

请用你的答案简单解释一下。如果我的索引签名的概念还不清楚。

Answer 1

您的解释：此对象的所有键必须是数值，并且所有值必须是number类型

实际解释：数字键所达到的所有值必须是number类型

考虑array 。它具有boolean类型的数字索引签名，因为例如访问arr[0]会生成boolean类型的值。但是arr.toString（一个属于String类型的键）具有type()=>String，这显然与Boolean不同。

编辑以根据备注添加。

让我们考虑一个声明：

var x: { [n: number]: boolean; };

这是一个数字索引签名。数字索引签名表示具有数字名称的属性与特定类型匹配。它们对具有非数字名称的属性没有影响。

数字索引签名仅约束具有数字名称（而不是字符串名称）的属性

换句话说，这些都是可以的，因为它们的键名不是数字的：

x = { hello: 100 }; // OK! 'hello' is not numeric
x = { rollno: 'wat!'}; // OK! 'rollno' is not numeric
x = { lookThisIsNotNumeric: false }; // OK! 'lookThisIsNotNumeric' is not numeric

相反,这些属性不是OK的,因为以数值命名的属性不适合索引签名类型：

x = { 1: 'hello' }; // Error! 1 is a number and 'hello' is not a boolean
x = { 10: 653 }; // Error! 10 is a number and 653 is not a boolean
x = { 25: 'hello' }; // Error! 25 is a number and 'hello' is not a boolean

x = { 42: true };