TypeScript Duck Typing，未将属性字符串显示为数字错误

Question

不重复

这不是重复的问题，因为这里我的问题是索引签名而不是对象文字或类型注释。请仔细阅读我的问题。

几天后我开始学习 TypeScript。当我到达主题鸭打字时。我对它的一些基本规则感到困惑。

概述

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

//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};

问题

我有一个问题，如果 TypeScript 是一种类型安全语言。然后在下面的代码中，我的所有参数类型都是数字，索引签名类型也是数字。

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>。它有一个数字索引签名来键入boolean，因为例如访问arr[0] 会产生boolean 类型的值。但是arr.toString（一个string类型的键）有() => string类型，这显然和boolean不一样。

---

编辑添加基于 cmets。

让我们考虑一个声明：

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

相反，这些是不好的，因为数字命名的属性不适合索引签名类型：

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

最后，这是 OK，因为数字命名的属性有一个布尔值：

x = { 42: true };