TypeScript如何实现动态类型守卫，断言对象含指定类型任意字段？

我正在编写数据验证工具，需要让TypeScript编译器认可以下逻辑：

function process(data: unknown) {
  assert(data instanceof Object);

  // 需要助手函数处理此行
  assert(hasSubobject(data, 'some_field'));

  // 使此行不会因`some_field`不存在报错
  assert(typeof data.some_field === 'string');

  // …
}

我知道可以内联写'some_field' in data && data.some_field instanceof Object，也能写出硬编码的类型守卫函数：

function hasHardcodedSubobject(data: object): data is {hardcodedField: object} {
  return (
    "hardcodedField" in data &&
    data.hardcodedField instanceof Object
  );
}

但我不确定如何改成动态版本，比如这样写会报错：

function hasSubobject(data: object, key: string): data is {[key]: object} {
  return (
    key in data &&
    data[key] instanceof Object
  );
}

报错信息：

A computed property name in a type literal must refer to an expression whose type is a literal type or a 'unique symbol' type.ts(1170)

我知道有类似的方案可以通过key is keyof T使用变量key，但这里key: string是原始类型string，我可能混淆了“字面量类型（literal）”与“原始类型（primitive）”的概念！

解决方案：泛型结合字面量类型约束 #

要实现动态的类型守卫，需要用泛型捕获具体的字段名字面量类型，而不是用宽泛的string类型。修改后的hasSubobject函数如下：

function hasSubobject<K extends string>(data: object, key: K): data is { [P in K]: object } {
  return (
    key in data &&
    data[key] instanceof Object
  );
}

原理说明 #

• K extends string：约束泛型K为字符串字面量类型（比如调用时传入的'some_field'），而非宽泛的string类型。这样TypeScript能精准捕获到具体的字段名。
• { [P in K]: object }：通过映射类型，将泛型K对应的字段定义为object类型，断言后TypeScript就能识别出该字段存在且类型符合要求。

补充：处理null的边界情况 #

注意instanceof Object会把null排除在外，但如果用typeof data[key] === 'object'的话，null会被误判。如果你的场景需要严格区分，可以调整判断逻辑：

function hasSubobject<K extends string>(data: object, key: K): data is { [P in K]: object } {
  return (
    key in data &&
    typeof data[key] === 'object' &&
    data[key] !== null
  );
}

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