如何对TypeScript函数返回类型强制执行多余属性检查？

先看你给出的代码场景：

interface UserProfile {
    name: string,
    age: number,
    permissions: string[],
}

type UserProfileWithNoPermissions = Omit<UserProfile, 'permissions'>

const getUser = (): UserProfileWithNoPermissions => {
    const profile: UserProfile = ({
        name: '',
        age: 0,
        permissions: ['canView'],
    })

    return profile
};

TypeScript不对这段代码报错，确实是因为profile已被显式声明为UserProfile类型，不属于对象字面量直接赋值的场景，所以跳过了多余属性检查。

非hack的报错实现方法 #

这里有几种相对合理的方式让编译器对多余属性报错：

1. 用精确类型约束工具

定义一个工具类型，确保对象完全匹配目标类型，不存在多余属性：

type Exact<T, U> = T & { [K in Exclude<keyof U, keyof T>]?: never };

然后通过修改返回类型或类型断言触发检查：

// 方式一：修改函数返回类型
const getUser = (): Exact<UserProfileWithNoPermissions, UserProfile> => {
    const profile: UserProfile = ({
        name: '',
        age: 0,
        permissions: ['canView'],
    })
    return profile; // 报错：permissions属性类型不符合never要求
};

// 方式二：返回时做类型断言
const getUser = (): UserProfileWithNoPermissions => {
    const profile: UserProfile = ({
        name: '',
        age: 0,
        permissions: ['canView'],
    })
    return profile as Exact<UserProfileWithNoPermissions, UserProfile>; // 同样触发报错
};

这个工具类型的核心逻辑是：让多余属性的类型必须为never（即不存在），只要原对象有多余属性，就会触发类型不匹配。

2. 调整代码结构，触发原生多余属性检查

既然对象字面量直接赋值会触发多余属性检查，你可以避免先将对象声明为UserProfile类型，直接构造符合返回类型的对象，或通过解构剔除多余属性：

// 方式一：直接返回对象字面量，原生检查生效
const getUser = (): UserProfileWithNoPermissions => {
    return {
        name: '',
        age: 0,
        permissions: ['canView'], // 直接报错：对象字面量只能指定已知属性
    };
};

// 方式二：解构剔除多余属性，确保返回对象符合类型
const getUser = (): UserProfileWithNoPermissions => {
    const fullProfile: UserProfile = {
        name: '',
        age: 0,
        permissions: ['canView'],
    };
    const { permissions, ...profile } = fullProfile;
    return profile; // profile自动符合UserProfileWithNoPermissions类型，无多余属性
};

3. 使用satisfies关键字（TypeScript 4.9+）

satisfies可以在不改变变量类型的前提下，检查对象是否符合目标类型，结合对象展开可触发多余属性检查：

const getUser = (): UserProfileWithNoPermissions => {
    const profile: UserProfile = {
        name: '',
        age: 0,
        permissions: ['canView'],
    };
    // 展开创建新对象，并用satisfies检查是否符合返回类型
    return { ...profile } satisfies UserProfileWithNoPermissions; // 报错：存在多余的permissions属性
};

这么做是否是个好主意？ #

需要结合业务场景判断：

• 适合的场景：如果代码是对外暴露的API、需要严格序列化的场景（比如返回给前端的接口不能带敏感字段），或下游系统对输入字段有严格要求，强制检查能提前发现错误，避免运行时意外，此时这么做很有必要。
• 不适合的场景：如果是内部业务代码，多余属性不会造成实际影响，强制检查反而会增加代码繁琐度——比如UserProfile扩展新属性时，需要同步修改检查逻辑，降低了代码灵活性。

另外，TypeScript的结构类型系统本就允许“鸭子类型”赋值，多余属性检查只是字面量场景下的额外防护。强行要求所有赋值都完全匹配类型，可能违背TypeScript的设计初衷，需要权衡利弊。

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