如何实现对象的泛型类型断言函数？求可行方案或更优思路

首先要明确：你原代码的思路存在本质问题——keyof ExpectedType是TypeScript类型层面的语法，编译后类型信息会被完全擦除，运行时根本无法获取到ExpectedType的键集合，所以直接用key in (keyof ExpectedType)在运行时是无效的。

要实现这类类型断言，必须结合运行时可访问的校验规则/数据，因为泛型参数本身无法提供运行时信息。下面是几种可行的实现方案：

1. 基础键校验版（仅检查键的存在） #

通过传入预期类型的键集合，在运行时校验对象的键是否符合要求：

function assertIsTypeOf<ExpectedType extends object>(
  obj: unknown,
  expectedKeys: Array<keyof ExpectedType>
): obj is ExpectedType {
  // 先排除非对象/null的情况
  if (typeof obj !== 'object' || obj === null) {
    return false;
  }
  // 可选：根据需求选择校验逻辑
  // 逻辑1：对象包含所有预期键（允许对象有额外键）
  return expectedKeys.every(key => key in obj);
  // 逻辑2：对象的键与预期键完全一致
  // const objKeys = Object.keys(obj) as Array<keyof typeof obj>;
  // return objKeys.length === expectedKeys.length && expectedKeys.every(key => key in obj);
}

用法示例 #

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

const unknownObj: unknown = { id: 1, name: 'Alice' };
// 调用时传入预期键集合
assertIsTypeOf<User>(unknownObj, ['id', 'name']);
// 此时unknownObj会被TypeScript断言为User类型

2. 增强类型校验版（检查键+值类型） #

如果需要更严格的校验（比如确保值的类型符合预期），可以传入自定义的校验函数：

function assertIsTypeOf<ExpectedType>(
  obj: unknown,
  validator: (obj: unknown) => obj is ExpectedType
): obj is ExpectedType {
  if (!validator(obj)) {
    throw new Error('对象不符合预期类型');
  }
  return true;
}

用法示例 #

interface User {
  id: number;
  name: string;
  age?: number; // 可选属性
}

// 自定义校验逻辑，覆盖键和值类型检查
const isUser = (obj: unknown): obj is User => {
  if (typeof obj !== 'object' || obj === null) return false;
  const candidate = obj as User;
  return (
    'id' in candidate && typeof candidate.id === 'number' &&
    'name' in candidate && typeof candidate.name === 'string' &&
    // 可选属性的校验逻辑
    (candidate.age === undefined || typeof candidate.age === 'number')
  );
};

const unknownObj: unknown = { id: 1, name: 'Alice', age: 25 };
assertIsTypeOf<User>(unknownObj, isUser);

3. 类实例断言版（针对类对象） #

如果要断言对象是某个类的实例，可以封装基于instanceof的泛型函数：

function assertIsInstanceOf<T>(obj: unknown, cls: new (...args: any[]) => T): obj is T {
  if (!(obj instanceof cls)) {
    throw new Error(`对象不是${cls.name}的实例`);
  }
  return true;
}

用法示例 #

class User {
  constructor(public id: number, public name: string) {}
}

const unknownObj: unknown = new User(1, 'Alice');
assertIsInstanceOf(unknownObj, User);
// 此时unknownObj会被断言为User类实例

总结 #

TypeScript的泛型参数仅存在于编译阶段，无法直接用于运行时校验。实现类型断言必须结合运行时可访问的校验数据：

• 仅需键检查时，用方案1；
• 需要复杂类型校验时，用方案2；
• 针对类实例时，用方案3。

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