如何使TypeScript函数返回含明确必选属性的动态接口？

首先定义你的基础接口和键类型：

interface MyInterface {
  name?: string;
  age?: string;
  email?: string;
}

type InterfaceKey = keyof MyInterface;

接下来实现verifyObjectProperty函数，通过泛型约束和工具类型组合来实现返回类型的精准控制：

function verifyObjectProperty<K extends InterfaceKey>(
  obj: MyInterface,
  key: K
): Omit<MyInterface, K> & Record<K, string> {
  // 运行时验证：确保属性存在且为字符串
  if (obj[key] === undefined || typeof obj[key] !== 'string') {
    throw new Error(`Property "${key}" must be a non-undefined string`);
  }

  // 返回原对象（类型已被TS推断为目标类型）
  return obj as Omit<MyInterface, K> & Record<K, string>;
}

类型逻辑说明 #

• Omit<MyInterface, K>：保留原接口中除了K之外的所有属性，保持它们原有的可选性（string | undefined）
• Record<K, string>：指定K对应的属性为必选的string类型，覆盖原接口中的可选定义
• 两者交叉（&）后，就得到了“已验证属性必选、未验证属性仍可选”的最终类型

使用示例 #

const testObj: MyInterface = { name: "Alice", age: undefined };

// 验证name属性后，返回对象的name为必选string，age和email仍为可选
const verifiedObj = verifyObjectProperty(testObj, "name");

// 此时TS会正确提示：name是string（无需可选链），age/email仍需处理undefined
console.log(verifiedObj.name.toUpperCase()); // 正常编译
console.log(verifiedObj.age?.length); // 需加可选链，否则报错

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