如何修改TypeScript类型定义以适配日志元数据的简单类型校验

要解决这个问题，我们需要调整LogMetadata的定义，让它既能接受带明确属性的对象（比如你的Person接口），又能递归包含原始类型、同类型数组，同时排除函数、符号等不适用于日志的类型。

1. 定义允许的原始类型 #

首先明确哪些原始类型可用于日志，排除symbol（符号无法被序列化为可读日志内容）：

type AllowedPrimitive = string | number | boolean | null | undefined;

2. 递归定义LogMetadata类型 #

使用条件类型实现递归约束，同时排除函数、符号类型：

type LogMetadata<T = unknown> = 
  // 匹配允许的原始类型
  T extends AllowedPrimitive ? T :
  // 匹配数组，递归约束数组元素
  T extends (infer U)[] ? LogMetadata<U>[] :
  // 匹配非函数、非符号的对象，递归约束每个属性
  T extends Exclude<object, Function | symbol> ? { [K in keyof T]: LogMetadata<T[K]> } :
  // 排除其他不允许的类型（函数、符号等）
  never;

3. 调整log函数签名 #

让函数接受符合LogMetadata约束的任意类型：

function log<T>(metadata: LogMetadata<T>): void {
  console.log(JSON.stringify(metadata));
}

示例验证 #

定义Person接口并测试：

interface Person {
  name: string;
  age: number;
  address: {
    street: string;
    zipCode: number;
    tags: string[];
  };
}

const person: Person = {
  name: "Alice",
  age: 30,
  address: {
    street: "Main St",
    zipCode: 12345,
    tags: ["residential", "family"]
  }
};

// 此时不会再出现"Index signature for type 'string' is missing"错误
log(person);

错误原因说明 #

你之前的LogMetadata可能使用了{ [key: string]: LogMetadata }这类索引签名，这要求对象必须支持任意字符串键的访问，但Person接口只定义了明确属性（name、age等），没有索引签名，因此TypeScript判定类型不兼容。

新实现通过条件类型遍历对象的每个已知属性，递归约束其类型，既满足递归要求，又兼容带明确属性的对象类型，同时排除了函数、符号等无法序列化的类型。

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