如何在TypeScript中限制函数返回对象无多余属性？

问题场景 #

你希望TypeScript在函数返回对象包含多余属性时抛出错误，例如以下代码中，返回的result包含未定义的optionC，但TypeScript没有报错：

type Options = {
    optionA: string;
    optionB?: string;
} 

const myFun = ():Options => {
    const result = {optionA: 'hola', optionC: 'chao', optionB:'que tal'}
    return result; // 无错误，但希望能检测到多余属性
}

核心需求是避免因可选属性（如optionB）拼写错误导致返回对象缺失预期属性，进而引发bug。你曾尝试通过以下方式实现，但出现类型冲突错误：

interface NoExceeded extends Options {
    [arg:string]: never
}

错误信息：Property 'optionA' of type 'string' is not assignable to 'string' index type 'never'.

可行解决方案 #

方案1：使用泛型函数实现严格返回值检查 #

通过泛型约束强制返回值只能包含目标类型的属性，多余属性会触发类型错误：

type Options = {
    optionA: string;
    optionB?: string;
} 

// 定义严格返回类型的泛型函数
type StrictReturn<T> = <U extends T>(val: U extends T ? Exclude<keyof U, keyof T> extends never ? U : never) => T;

// 正确示例：无多余属性，正常通过
const myFun: StrictReturn<Options> = () => {
    const result = {optionA: 'hola', optionB:'que tal'}
    return result; 
}

// 错误示例：包含多余属性optionC，触发类型错误
const myBadFun: StrictReturn<Options> = () => {
    const result = {optionA: 'hola', optionC: 'chao', optionB:'que tal'}
    return result; // 类型错误：Type '{ optionA: string; optionC: string; optionB: string; }' is not assignable to type 'never'.
}

原理：通过Exclude<keyof U, keyof T>检查返回值的属性是否全部属于目标类型Options，如果存在多余属性，泛型约束会将值的类型判定为never，从而抛出错误。

方案2：使用satisfies关键字（TypeScript 4.9+） #

satisfies关键字可以确保变量符合目标类型的结构，同时保留其字面量类型，多余属性会被即时检测：

type Options = {
    optionA: string;
    optionB?: string;
} 

// 正确示例
const myFun = (): Options => {
    const result = {optionA: 'hola', optionB:'que tal'} satisfies Options;
    return result; 
}

// 错误示例：多余属性optionC触发错误
const myBadFun = (): Options => {
    const result = {optionA: 'hola', optionC: 'chao', optionB:'que tal'} satisfies Options; // 类型错误：Object literal may only specify known properties, and 'optionC' does not exist in type 'Options'.
    return result; 
}

原理：satisfies会对字面量对象进行严格的属性检查，不允许存在目标类型中未定义的属性，之后再将符合要求的对象返回给Options类型的返回值。

为什么你之前的方案不可行 #

你尝试的[arg:string]: never索引签名会强制所有字符串类型的属性值为never，但Options中的optionA（string类型）和optionB（string | undefined类型）与never类型冲突，因此TypeScript抛出了类型不兼容的错误。

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