为何TypeScript对变量与直接传入参数的类型推断结果不同？

差异原因 #

当你将数组赋值给独立变量prompts时，TypeScript会执行无上下文约束的宽泛类型推断：它会把role字段的字面量'user'推断为通用的string类型，最终变量类型被判定为{prompt: string; role: string}[]。

而直接将数组作为参数传入createThread时，TypeScript会触发上下文类型推断——它会根据函数定义的参数类型（{prompt: string; metadata?: object; role: "user" | "assistant"}[]）反向约束数组的类型，自动把role匹配到"user" | "assistant"联合类型，因此不会报错。

无需重复声明类型的解决方案 #

1. 使用as const强制字面量类型推断 #

通过as const让TypeScript将数组和对象的字面量值推断为精确的字面量类型，而非宽泛的基础类型：

const prompts = [
  {
    prompt: task,
    role: 'user'
  }
] as const;

// 若函数参数不接受readonly数组，可转换为可变数组类型
const threadId = await createThread(prompts as {prompt: string; role: "user" | "assistant"}[]);

2. 复用函数参数类型 #

利用TypeScript内置的Parameters工具类型，直接复用createThread的参数类型，避免手动重复定义：

// 自动获取createThread的第一个参数类型
type CreateThreadInput = Parameters<typeof createThread>[0];

const prompts: CreateThreadInput = [
  {
    prompt: task,
    role: 'user'
  }
];

const threadId = await createThread(prompts);

这种方式的优势在于，一旦createThread的参数类型更新，CreateThreadInput会自动同步，完全避免重复维护类型的问题。

3. 直接指定字段的字面量类型 #

针对单个字段手动指定字面量类型，适合简单场景：

const prompts = [
  {
    prompt: task,
    role: 'user' as "user"
  }
];

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