TypeScript：如何在通过接口限制对象类型的同时，让基于属性值推导的类型为具体字面量联合类型？

这个问题其实是TypeScript里类型拓宽导致的——当你直接给obj标注ITest类型时，TypeScript会把abc的具体字面量数组类型拓宽成string[]，自然就丢失了"x"、"y"、"z"这些具体值的类型信息。下面给你两种靠谱的解决方案，既能保证obj符合ITest的约束，又能让推导出来的ABCVal是具体的字面量联合类型：

方案一：用泛型函数约束类型并保留字面量信息 #

这是最稳妥的方式，不需要额外断言，靠泛型自动推导具体类型的同时，确保对象符合接口要求：

interface ITest {
  abc: string[];
}

// 泛型函数：约束传入的对象必须符合ITest，同时返回原类型（保留字面量细节）
function createTestObj<T extends ITest>(obj: T): T {
  return obj;
}

// 传入字面量数组，泛型会自动推导T的具体类型
const obj = createTestObj({
  abc: ["x", "y", "z"]
});

// 现在就能正确推导为 "x" | "y" | "z"
type ABCVal = (typeof obj.abc)[number];

原理：泛型T会捕获传入对象的具体字面量类型，同时T extends ITest确保这个类型是ITest的子类型（也就是说abc必须是string[]的子类型，只能放字符串），完美兼顾了类型约束和细节保留。

方案二：用const断言+类型断言组合 #

如果你不想写泛型函数，也可以用as const强制保留数组的字面量类型，再用类型断言确保对象符合ITest：

interface ITest {
  abc: string[];
}

// as const 让数组变成只读的字面量元组，保留具体值类型
// as ITest 确保整个对象符合接口约束
const obj = {
  abc: ["x", "y", "z"] as const
} as ITest;

// 推导结果同样是 "x" | "y" | "z"
type ABCVal = (typeof obj.abc)[number];

注意：这里obj.abc的实际类型是readonly ["x", "y", "z"]，但TypeScript允许它赋值给string[]类型（因为readonly数组是普通数组的父类型，只读属性兼容可写属性），所以类型断言是安全的。

备注：内容来源于stack exchange，提问作者favicon thief