TypeScript联合类型含Record<string, never>时未检测未定义属性问题

你遇到的问题根源在于Record<string, never>的类型特性：它带有字符串索引签名，TypeScript会认为该类型的对象可以访问任意字符串键的属性，只是属性值的类型是never。当它和CatData组成联合类型时，访问obj.name这类属性时，TypeScript会计算联合类型中各成员对应属性的类型：never | string，最终结果为string，因此不会触发类型错误。但运行时空对象没有这些属性，实际返回undefined，导致类型不匹配的运行时问题。

以下是几种能强制类型检查的替代方案：

方案1：使用严格空对象类型（无索引签名） #

定义一个没有任何属性也没有索引签名的空对象类型，这样联合类型访问属性时会直接报错，强制你先做类型检查：

type CatData = {
    name: string;
    breed: string;
    age: number;
};

// 严格空对象：无任何属性，也不允许访问未定义的键
type EmptyObject = { [K in never]: never };
type MaybeCatData = EmptyObject | CatData;

function processCat(obj: MaybeCatData): CatData {
    // 直接访问属性会报错，必须先做类型收窄
    if ('name' in obj && 'breed' in obj && 'age' in obj) {
        return obj; // 类型自动收窄为CatData
    }
    throw new Error("传入的是空对象，不符合CatData格式");
}

方案2：用{}替代Record<string, never> #

{}在TypeScript中表示非null/undefined的任意对象，访问它的属性会得到unknown类型，无法直接赋值给string/number，从而强制你做类型校验：

type CatData = {
    name: string;
    breed: string;
    age: number;
};

type MaybeCatData = {} | CatData;

function processCat(obj: MaybeCatData): CatData {
    // 直接赋值会报错，因为obj.name类型是unknown
    if (typeof obj.name === 'string' && typeof obj.breed === 'string' && typeof obj.age === 'number') {
        return { name: obj.name, breed: obj.breed, age: obj.age };
    }
    throw new Error("传入的对象不符合CatData格式");
}

方案3：用Partial<CatData>处理部分属性场景 #

如果你的场景允许对象包含部分CatData属性，但需要确保最终返回完整的CatData，可以用Partial定义类型，然后强制检查必填属性：

type CatData = {
    name: string;
    breed: string;
    age: number;
};

type MaybeCatData = Partial<CatData>;

function processCat(obj: MaybeCatData): CatData {
    // TypeScript会提示可能的undefined，必须检查
    if (obj.name == null || obj.breed == null || obj.age == null) {
        throw new Error("缺少CatData的必填属性");
    }
    return { name: obj.name, breed: obj.breed, age: obj.age };
}

• 若要严格区分空对象和完整CatData，方案1最精准；
• 若只需确保对象包含所有必填属性，方案3更灵活；
• 方案2适合需要兼容任意非空对象的场景。

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