如何在TypeScript中定义排除指定属性的约束类型？

当然可以实现，你需要的是自动移除指定敏感属性，同时强制约束最终类型不能包含这些属性（否则编译器/IDE报错）。以下是具体实现方案：

步骤1：定义敏感属性的联合类型 #

先把需要排除的敏感键统一声明为一个联合类型，方便后续维护：

type SensitiveKeys = 'created_at' | 'updated_at' | 'password';

步骤2：实现约束类型ResultWithoutSensitiveData<T> #

通过Omit移除敏感属性，再交叉一个带有敏感键可选never类型的对象——这样如果试图保留敏感属性，编译器会直接报错：

type ResultWithoutSensitiveData<T> = Omit<T, SensitiveKeys> & {
  // 约束敏感属性不能存在（若存在则类型必须为never，无法赋值）
  [K in SensitiveKeys]?: never;
};

示例使用 #

结合你的User模型测试：

type User = {
  id: number,
  name: string,
  email: string,
  created_at: Date,
  updated_at: Date,
  password: string
};

// 生成安全类型：自动移除了三个敏感属性
type SafeUser = ResultWithoutSensitiveData<User>;
// SafeUser 最终类型：{ id: number; name: string; email: string; }

// ✅ 正确赋值（无敏感属性）
const validUser: SafeUser = {
  id: 1,
  name: "Alice",
  email: "alice@example.com"
};

// ❌ 错误赋值（包含敏感属性，编译器直接报错）
const invalidUser: SafeUser = {
  id: 2,
  name: "Bob",
  email: "bob@example.com",
  password: "123456" // 报错信息：Type 'string' is not assignable to type 'undefined'.
};

为什么你的之前尝试会报错？ #

你提到用条件推断返回never导致报错，原因是never类型只能赋值给never本身，普通值（比如undefined）都无法兼容，所以编译器会提示类型不匹配。而上面的方案通过交叉类型约束敏感属性的存在性，既保留了正常类型的可用性，又能在违规时给出清晰的提示。

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