如何在TypeScript中禁止函数回调返回类型存在多余属性？

你遇到的问题是TypeScript的结构子类型特性导致的——只要对象包含了接口要求的所有属性，就算有额外属性也会被认为兼容目标类型。要让回调返回的对象严格匹配Foo接口、禁止多余属性，可以用以下几种方式实现：

方法一：用泛型约束强制完全匹配 #

通过泛型约束，让回调的返回类型必须同时是Foo的子类型，且Foo也是它的子类型，这样就限制了返回对象不能有额外属性：

interface Foo {
    id: number;
    name: string;
}

// 泛型约束确保返回类型T与Foo完全一致，多余属性会触发错误
type GetFoo = <T extends Foo & Record<Exclude<keyof T, keyof Foo>, never>>() => T;

const baz = (getFoo: GetFoo) => {
    return getFoo();
};

baz(() => ({
    id: 1,
    name: '',
    a: 1, // 这里会抛出类型错误：多余的属性"a"不符合约束
}));

方法二：定义Exact辅助类型 #

可以先定义一个Exact辅助类型，专门用来检查类型是否完全匹配，再用它约束回调的返回值：

interface Foo {
    id: number;
    name: string;
}

// 辅助类型：确保T与U完全匹配，无多余属性
type Exact<U, T> = T extends U ? (U extends T ? T : never) : never;

type GetFoo = () => Exact<Foo, Foo>;

const baz = (getFoo: GetFoo) => {
    return getFoo();
};

baz(() => ({
    id: 1,
    name: '',
    a: 1, // 类型"{ id: number; name: string; a: number; }"不能赋值给类型"Exact<Foo, Foo>"
}));

方法三：直接在回调参数中约束返回类型 #

如果不想定义复杂的类型别名，也可以直接在baz的参数类型里做约束：

interface Foo {
    id: number;
    name: string;
}

const baz = <T extends Foo & Record<Exclude<keyof T, keyof Foo>, never>>(getFoo: () => T) => {
    return getFoo();
};

baz(() => ({
    id: 1,
    name: '',
    a: 1, // 同样会触发多余属性的类型错误
}));

这些方法的核心都是打破TypeScript默认的结构子类型兼容，强制返回类型与目标接口完全一致，从而在出现多余属性时抛出错误。

内容的提问来源于stack exchange，提问作者L.Blondy