如何只为接口单个属性应用as const，同时保持其他属性可变？

你可以通过泛型函数实现需求：既不用给每个id手动加as const，又能让label保持可变的string类型，同时正确提取出id的字面量联合类型。

具体实现步骤 #

1. 先定义泛型函数，用来推导数组元素的字面量类型并约束符合MyType：

interface MyType { id: string; label: string };

// 泛型函数：约束输入数组符合MyType数组类型，同时自动推导id的字面量类型
const createMyTypeList = <T extends MyType[]>(list: T) => list;

2. 用这个函数创建目标数组：

const t = createMyTypeList([
  {id: 'a', label: 'A'}, 
  {id: 'b', label: 'B'}
]);

3. 提取Ids类型：

type Ids = (typeof t)[number]['id']; // 类型为 'a' | 'b'

验证效果 #

此时label是可变的string类型，修改操作完全合法：

t[0].label = 'Updated A'; // 无类型报错

原理是泛型函数会自动保留id的字面量类型，同时因为没有对整个数组使用as const断言，label会维持MyType中定义的string类型，完美匹配你的需求。

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