const变量声明是否属于类型定义？结合TS属性报错场景问询

首先直接给结论：你这里的const Point = { x: 1, y: 2 }不属于类型定义，但TypeScript会根据这个变量的初始化值自动推断出一个类型，这就是你执行Point.z = 6时出现报错的原因。

具体拆解一下： #

• 类型定义（比如type、interface关键字声明的内容）是TypeScript独有的语法，只在编译阶段用来描述数据结构，不会被编译成JavaScript代码；而const Point = {...}是值的声明，会生成对应的JavaScript常量，它本质是在创建一个对象值，不是定义类型。
• 但TypeScript有自动类型推断的特性：当你用const声明并初始化一个对象时，TS会根据对象的初始属性，自动为这个变量推断出一个精确的类型——在这里就是{ x: number; y: number; }。这个推断出来的类型会被用来做后续的类型检查，所以当你尝试添加不存在的z属性时，TS会抛出类型错误，阻止你违反这个推断出的类型结构。

补充：如果想允许给这个对象添加新属性怎么办？ #

如果你确实需要扩展这个对象的属性，可以手动定义一个包含索引签名的类型，比如：

// 定义一个允许添加任意数字类型属性的类型
type FlexiblePoint = {
  x: number;
  y: number;
  [key: string]: number; // 索引签名，允许任意字符串键对应数字值
};

const Point: FlexiblePoint = { x: 1, y: 2 };
Point.z = 6; // 现在不会报错了

当然，也可以用any类型绕过检查，但这会失去TypeScript的类型安全优势，不推荐在实际项目中这么做。

内容的提问来源于stack exchange，提问作者overexchange