TypeScript如何无需类型断言为对象属性设置指定类型？

针对你提出的需求——让rec的每个属性类型为Overlay，同时保留具体键名的字面量类型，且避免繁琐写法或类型安全问题，以下是两种更优的实现方式：

方案1：泛型约束函数（推荐） #

通过定义一个泛型函数，在创建对象时直接约束每个值的类型为Overlay，同时自动保留键的字面量类型：

interface Overlay {
    type: "modal" | "drawer"
    other?: number
}

// 泛型函数，约束传入对象的每个值必须是Overlay类型
const createOverlayRecord = <K extends string>(obj: Record<K, Overlay>) => obj;

// 使用函数创建rec，自动推断键类型并约束值类型
const rec = createOverlayRecord({
    obj1: { type: "modal" },
    obj2: { type: "drawer" },
    // 若传入不符合Overlay的结构，比如{ obj3: {} }，TS会直接报错
});

优势： #

• 无需额外变量，写法简洁，一次声明完成
• 严格类型检查：不符合Overlay的结构会即时报错，避免了类型断言的风险
• 保留键的字面量类型：rec的类型为{ obj1: Overlay; obj2: Overlay; }，而非宽泛的Record<string, Overlay>
• 完整保留Overlay的类型信息：包括可选属性other的类型，不会像as const那样固化type的具体值

方案2：映射类型结合类型推断 #

先让TS推断原始对象的键类型，再通过映射类型将每个值的类型转为Overlay：

interface Overlay {
    type: "modal" | "drawer"
    other?: number
}

// 先声明原始对象，让TS推断键的字面量类型
const rawRec = {
    obj1: { type: "modal" },
    obj2: { type: "drawer" }
};

// 定义映射类型，将每个键对应的值类型设为Overlay
type RecType = { [K in keyof typeof rawRec]: Overlay };

// 类型转换（此处断言安全，因为rawRec的每个值都符合Overlay结构）
const rec: RecType = rawRec as RecType;

优势： #

• 无需手动指定键名，自动复用原始对象的键类型
• 同样保留键的字面量类型和Overlay的完整类型信息
• 仅需一次安全断言，风险远低于逐个属性断言

对比你尝试的四种方法： #

• 比方法1（逐个变量声明）更简洁，无冗余变量
• 比方法2（类型断言）更安全，不会隐藏不符合Overlay的错误结构
• 比方法3（Record<string, Overlay>）保留了具体的键字面量类型，避免键类型宽泛化
• 比方法4（as const）保留了Overlay的联合类型和可选属性信息，不会固化type的具体值

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