TypeScript扩展类型创建、对象赋值差异解析及宽松类型声明方法咨询

先看你提到的两个场景，确实容易让人困惑，我们一步步拆解背后的逻辑：

一、两种赋值场景的行为差异解释 #

这是TypeScript的结构化类型系统和**额外属性检查（Excess Property Checks）**共同作用的结果：

场景1：已定义变量赋值 #

type User = { name: string, age: number }; 
const user1 = { name: 'Harry', age: 21, skills: 'backend', isAdmin: true } 
const user2: User = user1; // 无报错

当你创建user1时，TypeScript会自动推断它的完整类型为{ name: string; age: number; skills: string; isAdmin: boolean }。把这个变量赋值给User类型的user2时，TypeScript执行的是常规结构化类型兼容检查：只要源类型包含目标类型的所有必填属性，就认为两者兼容，额外属性不会被阻止——毕竟user1的类型是User的超集，这种赋值是安全的。

场景2：对象字面量直接赋值 #

type User = { name: string, age: number }; 
const user2: User = { name: 'Alex', age: 23, skills: 'frontend' } // 报错！

这里你直接把对象字面量赋值给User类型的变量，TypeScript会触发额外属性检查——这是TypeScript专门为字面量赋值设计的防护机制，目的是帮你排查拼写错误（比如把age写成ages）或者意外添加的多余属性。它会严格检查字面量是否完全匹配目标类型的结构，不允许有额外属性存在。

简单总结：额外属性检查只针对直接赋值的对象字面量，对已经被推断为具体类型的变量赋值时，不会触发这个检查。

二、声明"至少包含User所有属性，其余自定义"的类型 #

有几种常用的方式可以实现这个需求：

1. 交叉类型 + 索引签名 #

通过交叉类型，把User和一个允许任意键值对的类型合并：

type User = { name: string, age: number };
// 允许添加任意字符串键的属性，值可以是任意类型
type ExtendedUser = User & { [key: string]: any };

// 合法示例
const user: ExtendedUser = {
  name: 'Harry',
  age: 21,
  skills: 'backend',
  isAdmin: true,
  address: { city: 'London' }
};

如果想限制额外属性的值类型，也可以把any换成具体类型，比如string | number | boolean。

2. 接口扩展 + 索引签名 #

如果你习惯用接口，也可以这样写：

interface User {
  name: string;
  age: number;
}

interface ExtendedUser extends User {
  [key: string]: any;
}

效果和交叉类型完全一致，适合用接口组织类型的场景。

3. 泛型（更灵活的类型约束） #

如果需要动态指定额外属性的结构，可以用泛型实现更严格的类型检查：

type User = { name: string, age: number };
type ExtendedUser<T = Record<string, any>> = User & T;

// 自定义额外属性的具体类型
const user: ExtendedUser<{ skills: string; isAdmin: boolean }> = {
  name: 'Alex',
  age: 23,
  skills: 'frontend',
  isAdmin: false
};

这种方式适合你提前知道额外属性结构的场景，能兼顾灵活性和类型安全性。

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