TypeScript中实现Record值类型逆变以避免类型扩宽问题

问题场景 #

现有一段实现字段清除逻辑的TypeScript重载函数：

function eraseField(o : Record<"field", string>, nullify : false) : void
function eraseField(o : Record<"field", string | null>, nullify : true) : void
function eraseField(o : any, nullify : any) : void
{
    if (nullify)
    {
        o.field = null;
    }
    else
    {
        o.field = "";
    }
}

同时定义了如下对象：

let o : Record<"field", string> = {"field" : "toBeErased"};

当前存在的问题：调用 eraseField(o, true) 时，TypeScript不会抛出错误，但执行后 o.field 会被设置为 null，直接违背了其原本的 string 类型声明。需要调整函数的声明或定义，让该非法调用在严格模式下触发TypeScript错误，防止 Record<"field", string> 被隐式扩宽为 Record<"field", string | null>，实现值类型的逆变。

解决方案 #

核心思路是让TypeScript严格校验第一个参数的类型与第二个参数nullify值的匹配关系，禁止只读string类型对象传入需要string | null类型的重载分支。这里提供两种可靠实现方式：

方案一：泛型约束 + 条件类型（推荐）

通过泛型自动推导参数的合法组合，从根源上限制非法调用：

function eraseField<T extends string | null>(
    o: Record<"field", T>,
    nullify: T extends string ? false : true
): void;
function eraseField(o: any, nullify: any): void {
    if (nullify) {
        o.field = null;
    } else {
        o.field = "";
    }
}

方案二：明确重载分支的参数兼容性

调整重载实现的签名，避免TypeScript的隐式类型扩宽：

function eraseField(o: Record<"field", string>, nullify: false): void;
function eraseField(o: Record<"field", string | null>, nullify: true): void;
function eraseField(o: Record<"field", string | null>, nullify: boolean): void {
    if (nullify) {
        o.field = null;
    } else {
        o.field = "";
    }
}

效果验证 #

// 测试只读string类型对象
let o1: Record<"field", string> = { field: "toBeErased" };
eraseField(o1, false); // ✅ 合法调用
eraseField(o1, true);  // ❌ TypeScript报错：类型“true”的参数不能赋给类型“false”的参数

// 测试可空类型对象
let o2: Record<"field", string | null> = { field: "toBeErased" };
eraseField(o2, true);  // ✅ 合法调用
eraseField(o2, false); // ✅ 合法调用

以上两种方式都能实现严格的类型校验，彻底避免非法调用导致的类型不一致问题。

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