为何在TypeScript代码中使用‘as keyof T’类型断言？

原isTrue函数代码 #

const isTrue = <T>(arg: T): { arg: T; is: boolean } => {
  if (Array.isArray(arg) && !arg.length) {
    return { arg, is: false };
  }
  if (isObject(arg) && !Object.keys(arg as keyof T).length) {
    return { arg, is: false };
  }
  return { arg, is: !!arg };
};

补充的isObject函数实现 #

const isObject = <T>(par: T): boolean => {
  return typeof par === "object" && !Array.isArray(par) && par !== null;
};

问题 #

在上述TypeScript代码中，我们已通过isObject(arg)判断arg为对象类型，却仍使用arg as keyof T进行类型断言。keyof T代表对象的键类型，为何经过该转换后arg仍能以对象形式被使用？

解答 #

首先得明确：这里的arg as keyof T是个错误的类型断言，逻辑上完全站不住脚，咱们拆解来看：

• 先搞清楚keyof T的本质：它是泛型T所有属性名的联合类型，比如如果T是{ name: string, age: number }，那keyof T就是"name" | "age"，属于字符串（或数字、符号）类型，和对象类型八竿子打不着。
• 那为什么断言成这个类型后还能调用Object.keys？核心原因是TypeScript的类型系统只存在于编译阶段，运行时没有类型概念——运行时arg还是那个被isObject判定为对象的原始值，而Object.keys本身就接收对象作为参数，所以能正常执行。这属于“编译时忽悠了TypeScript，运行时靠实际值兜底”的情况，编译阶段其实应该出现类型错误，只是可能没被严格检测出来。
• 正确的做法应该是把arg断言成对象类型，比如arg as object或者更具体的arg as Record<string, unknown>，毕竟isObject已经帮我们确认了它是对象，这样断言才符合逻辑，编译时也不会有潜在的类型隐患。

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