1. 从一次线上报错说起TS 函数参数类型没管住接口调用直接翻车上周帮朋友看一个 Node 服务日志里刷了一屏TypeError: Cannot read properties of undefined。定位到一行调用formatUser(user, true)而函数签名是formatUser(user: User, withAvatar?: boolean)。问题不在可选参数本身而在于调用方传了个undefined进去函数内部又直接withAvatar.toString()运行时才炸。这类问题在 TS 里其实编译期就能拦住前提是tsconfig的严格模式开对、参数声明写对。这篇聚焦 TypeScript 函数里三类参数可选参数、默认参数、剩余参数。它们看着简单但在真实项目里类型推导和调用约束经常出岔子。我会用一套可复制的tsconfig严格配置配合tsc --noEmit做静态校验再用 TaoToken 统一 Key 调多模型接口验证参数类型在「编译期」和「运行期」是否都按预期报错或放行。适合已经会写 TS 函数、但被参数类型坑过的前端或 Node 开发者。核心检索词先摆出来TypeScript 可选参数、默认参数、剩余参数的类型推导与调用约束。这三类参数在 TS 里各有各的脾气可选参数默认是undefined默认参数会参与类型收窄剩余参数必须是数组类型。搞不清这些tsc报错看不懂接口传参也容易漏。我试过把三类参数混在一个函数里结果tsc报了一串TS1016和TS2376当时完全懵。后来把规则拆开看才发现是参数顺序和类型声明的问题。下面按「问题场景 → 环境准备 → 配置与代码 → 双重验证 → 排错 → 工具入口」的顺序展开每一步都能直接复制。2. 前置准备用 TaoToken 统一 Key 打通多模型补全与类型校验在动手写参数代码之前先把「验证通道」搭好。为什么需要 TaoToken因为我想在同一个项目里既用tsc做静态类型检查又用大模型接口做「参数补全建议」和「报错解释」。如果每个模型都单独配 Key、单独改 Base URL切换成本太高。TaoToken 提供统一的 API 通道一个 Key 就能调不同模型Base URL 固定为https://taotoken.net/api省去反复改配置的麻烦。先拿 Key。打开官网https://taotoken.net/?utm_sourcetaotoken_aicg_blog_endutm_mediumcsdnutm_campaignrewriteutm_content注册后在控制台创建 API Key。控制台地址是https://taotoken.net/console?utm_sourcetaotoken_aicg_blog_endutm_contentconsoleutm_campaignrewriteAPI Keys 管理页在https://taotoken.net/api-keys?utm_sourcetaotoken_aicg_blog_endutm_contentapi-keysutm_campaignrewrite。Key 形如sk-开头的一串字符复制后存到环境变量里别硬编码进代码。环境变量这样设Linux/macOS 用export TAOTOKEN_API_KEYsk-你的Key export TAOTOKEN_BASE_URLhttps://taotoken.net/apiWindows PowerShell 用$env:TAOTOKEN_API_KEYsk-你的Key $env:TAOTOKEN_BASE_URLhttps://taotoken.net/api模型 ID 怎么选如果你只是想让模型帮你解释tsc报错、补全参数类型用对话类模型即可在模型对话页https://taotoken.net/chat?utm_sourcetaotoken_aicg_blog_endutm_contentmodel-chatutm_campaignrewrite能看到可用模型列表。如果你要长期做编码、跑 Agent 任务可以看 Coding Planhttps://taotoken.net/coding-plan?utm_sourcetaotoken_aicg_blog_endutm_contentcoding-planutm_campaignrewrite。接入文档在https://taotoken.net/doc?utm_sourcetaotoken_aicg_blog_endutm_contentdocutm_campaignrewrite里面有各语言的调用示例。这里要强调一点TaoToken 是 API 通道不是编辑器替代品。你的代码还是在 VS Code 或 Cursor 里写TaoToken 负责把请求转发到模型。所以别指望它帮你改文件它只负责「你发请求、它回结果」。前置准备清单项目值说明Base URLhttps://taotoken.net/api固定不加 UTMAPI Keysk-...控制台创建存环境变量Model ID按需选对话/编码模型不同校验工具tsc --noEmit本地静态检查运行环境Node 18支持 fetch把这几项准备好后面写参数代码时就能一边tsc检查一边让模型解释报错。两者结合参数类型问题基本无处可藏。3. 可复制配置tsconfig 严格模式 三类参数声明代码先上tsconfig.json。严格模式是参数类型校验的地基strict打开后strictNullChecks、noImplicitAny等都会生效可选参数的undefined才会被认真对待。{ compilerOptions: { target: ES2020, module: ESNext, moduleResolution: Bundler, strict: true, noImplicitAny: true, strictNullChecks: true, strictFunctionTypes: true, noUnusedParameters: true, exactOptionalPropertyTypes: true, noEmit: true, skipLibCheck: true, esModuleInterop: true, forceConsistentCasingInFileNames: true }, include: [src/**/*.ts] }注意exactOptionalPropertyTypes这一项它让可选参数和undefined的区分更严格。开启后name?: string表示「可以没有这个属性」而不是「可以是 undefined」。这个区别在调用时很关键。接着写三类参数的声明代码放到src/params.ts// 可选参数用 ? 标记类型自动包含 undefined function greetOptional(name?: string): string { if (name) { return Hello, ${name}!; } return Hello, stranger!; } // 默认参数给默认值类型由默认值推导 function greetDefault(name: string stranger): string { return Hello, ${name}!; } // 剩余参数必须是数组类型收集不定数量实参 function average(...numbers: number[]): number { if (numbers.length 0) { return 0; } const total numbers.reduce((sum, n) sum n, 0); return total / numbers.length; } // 三类混用可选 默认 剩余注意顺序 function buildMessage( prefix: string, suffix: string !, ...names: string[] ): string { const body names.join(, ); return ${prefix}${body}${suffix}; } export { greetOptional, greetDefault, average, buildMessage };这里有几个坑要提前说。第一可选参数不能放在必选参数前面否则tsc报TS1016: A required parameter cannot follow an optional parameter。第二默认参数如果放在可选参数后面类型推导会变复杂建议默认参数放中间或末尾。第三剩余参数必须是最后一个参数且类型必须是数组...args: string是错的必须...args: string[]。再写一个调用文件src/call.ts故意制造几种调用方式看tsc怎么反应import { greetOptional, greetDefault, average, buildMessage } from ./params; // 合法调用 greetOptional(); greetOptional(Alice); greetDefault(); greetDefault(Bob); average(1, 2, 3); buildMessage(Hi , !, Alice, Bob); // 下面这些是故意写错的tsc 应该报错 // greetOptional(123); // TS2345: number 不能赋给 string // average(a, b); // TS2345: string 不能赋给 number // buildMessage(Hi , 123); // TS2345: number 不能赋给 string把错误调用注释掉先跑一遍正确的确认tsc通过。然后逐个取消注释看报错信息是否符合预期。这就是「双重验证」的第一步静态检查。如果你想让模型帮你解释某条报错可以用 TaoToken 的对话接口。下面是一个 Node 脚本scripts/explain.ts用统一 Key 调模型const API_KEY process.env.TAOTOKEN_API_KEY!; const BASE_URL process.env.TAOTOKEN_BASE_URL!; async function explainError(errorText: string): Promisestring { const res await fetch(${BASE_URL}/v1/chat/completions, { method: POST, headers: { Content-Type: application/json, Authorization: Bearer ${API_KEY}, }, body: JSON.stringify({ model: gpt-4o-mini, messages: [ { role: system, content: 你是 TypeScript 专家用中文解释 tsc 报错给出修复建议。, }, { role: user, content: errorText }, ], }), }); if (!res.ok) { throw new Error(HTTP ${res.status}: ${await res.text()}); } const data await res.json(); return data.choices[0].message.content; } explainError(TS2345: Argument of type number is not assignable to parameter of type string.) .then(console.log) .catch(console.error);运行npx tsx scripts/explain.ts模型会返回报错解释。这样你就有了「本地tsc报错 模型解释」的组合参数类型问题定位快很多。4. 验证请求与成功结果tsc --noEmit 与接口调用双重确认配置和代码就位后开始验证。第一步跑静态检查npx tsc --noEmit如果src/call.ts里错误调用都注释着命令应该无输出退出码 0。这说明合法调用全部通过参数类型推导符合预期。然后逐个取消注释再跑一次应该看到类似src/call.ts:12:15 - error TS2345: Argument of type number is not assignable to parameter of type string. 12 greetOptional(123); ~~~这就是「按预期报错」。可选参数name?: string只接受string或undefined传number直接拦下。默认参数name: string stranger同理传number报TS2345。剩余参数...numbers: number[]传字符串也报错。第二步运行期验证。写一个scripts/run.ts实际调用函数并打印结果import { greetOptional, greetDefault, average, buildMessage } from ../src/params; console.log(greetOptional()); console.log(greetOptional(Alice)); console.log(greetDefault()); console.log(greetDefault(Bob)); console.log(average(1, 2, 3, 4, 5)); console.log(buildMessage(Hi , !, Alice, Bob));用npx tsx scripts/run.ts跑输出Hello, stranger! Hello, Alice! Hello, stranger! Hello, Bob! 3 Hi Alice, Bob!注意average(1,2,3,4,5)返回 3因为(12345)/5 3。buildMessage(Hi , !, Alice, Bob)返回Hi Alice, Bob!前缀、后缀、剩余名字都正确拼接。第三步用 TaoToken 接口做一次「参数补全」验证。假设你写函数时不确定参数类型可以让模型根据上下文补全。下面脚本scripts/complete.ts发一个补全请求const API_KEY process.env.TAOTOKEN_API_KEY!; const BASE_URL process.env.TAOTOKEN_BASE_URL!; async function completeParams(): Promisevoid { const res await fetch(${BASE_URL}/v1/chat/completions, { method: POST, headers: { Content-Type: application/json, Authorization: Bearer ${API_KEY}, }, body: JSON.stringify({ model: gpt-4o-mini, messages: [ { role: user, content: TypeScript 函数 buildMessage(prefix: string, suffix: string !, ...names: string[]) 的调用约束是什么给出合法和非法调用各两个例子。, }, ], }), }); const data await res.json(); console.log(data.choices[0].message.content); } completeParams().catch(console.error);跑npx tsx scripts/complete.ts模型会返回合法调用如buildMessage(Hi , !, Alice)非法调用如buildMessage(Hi , 123)。这和你本地tsc的结论一致说明参数类型约束在「静态」和「模型理解」两个层面都成立。成功结果汇总验证项命令预期结果静态检查通过npx tsc --noEmit无输出退出码 0静态检查报错取消注释后npx tsc --noEmitTS2345类型不匹配运行期输出npx tsx scripts/run.ts打印正确结果模型补全npx tsx scripts/complete.ts返回合法/非法调用示例到这里三类参数的类型推导和调用约束都验证完了。可选参数接受undefined默认参数有默认值兜底剩余参数收集成数组。tsc负责编译期拦截运行期负责实际行为TaoToken 负责模型侧的解释和补全。5. 常见报错排查TS1016、TS2376、401 与 local proxy failed实际写代码时报错五花八门。这里列几个高频的对照着改。TS1016: A required parameter cannot follow an optional parameter.这是参数顺序问题。比如function bad(name?: string, age: number) {}name可选age必选但age在name后面tsc直接报TS1016。修复方法是把必选参数放前面function good(age: number, name?: string) {}TS2376: A super call must be the first statement in the constructor when a class contains initialized properties, parameter properties, or private identifiers.这个报错和参数属性有关。如果你在构造函数参数里用public/private修饰符super()必须是第一句。比如class Base { constructor(public id: string) {} } class Child extends Base { constructor(id: string, public name: string) { console.log(before super); // 这行会导致 TS2376 super(id); } }把console.log移到super(id)后面即可。401 Unauthorized.调 TaoToken 接口时最常见。原因通常是 Key 没设对、Key 过期、或者请求头没带Authorization。检查echo $TAOTOKEN_API_KEY如果输出为空说明环境变量没生效。重新export一次或者写进.env文件用dotenv加载。请求头必须是Authorization: Bearer sk-...少Bearer或拼错都会 401。local proxy failed.这个报错通常出现在你本地配了代理但代理没启动或端口不对。检查你的HTTP_PROXY/HTTPS_PROXY环境变量如果不需要代理就清掉unset HTTP_PROXY unset HTTPS_PROXY然后重试请求。TaoToken 的 Base URL 是https://taotoken.net/api直连即可不需要额外代理配置。reading choices of undefined.这个报错说明你拿data.choices[0]时data里没有choices字段。原因可能是接口返回了错误对象比如{ error: { message: ... } }。修复方法是先判断const data await res.json(); if (!data.choices || !data.choices[0]) { console.error(接口返回异常:, JSON.stringify(data)); return; } console.log(data.choices[0].message.content);OAuth 相关报错.如果你用 Claude Code 或 Codex 这类工具接入可能会遇到 OAuth 认证失败。这类工具通常需要配置auth.json或环境变量。以 Codex 为例auth.json里要写全三件套Base URL、API Key、Model ID。Base URL 填https://taotoken.net/apiKey 填你的sk-...Model ID 按工具要求填。三件套缺一不可缺了就会 OAuth 失败或 401。如果你用 CC Switch 或 Cline MCP同样要配全三件套。CC Switch 的配置文件里Base URL、Key、Model ID 三个字段都要填。Cline MCP 的settings.json里也是这三项。别只填 Key 不填 Base URL那样请求会发到默认地址直接失败。排错速查表报错原因修复TS1016必选参数在可选参数后调整参数顺序TS2376super 前有语句super 放第一句401Key 缺失/错误检查环境变量和请求头local proxy failed代理配置冲突清掉代理环境变量reading choices返回结构异常先判断 choices 存在OAuth 失败三件套不全补全 Base URLKeyModel ID这些报错我基本都踩过尤其是 401 和reading choices前者是 Key 没设对后者是没做防御性判断。改完之后参数类型校验和接口调用都顺畅了。6. 工具入口与下一步把类型校验接进日常编码流参数类型校验不是一次性任务得接进日常编码流。我的做法是tsc --noEmit挂在package.json的scripts里每次提交前跑一遍。模型解释和补全用 TaoToken 统一 Key需要时调一下不用来回切配置。{ scripts: { typecheck: tsc --noEmit, explain: tsx scripts/explain.ts, complete: tsx scripts/complete.ts } }这样npm run typecheck做静态检查npm run explain让模型解释报错npm run complete让模型补全参数。三个命令覆盖「检查 → 解释 → 补全」闭环。如果你要长期做编码和 Agent 任务可以看 Coding Planhttps://taotoken.net/coding-plan?utm_sourcetaotoken_aicg_blog_endutm_contentcoding-planutm_campaignrewrite里面有适合持续调用的方案。接入文档在https://taotoken.net/doc?utm_sourcetaotoken_aicg_blog_endutm_contentdocutm_campaignrewrite各语言示例都有。模型对话页https://taotoken.net/chat?utm_sourcetaotoken_aicg_blog_endutm_contentmodel-chatutm_campaignrewrite可以快速试模型。API Keys 管理在https://taotoken.net/api-keys?utm_sourcetaotoken_aicg_blog_endutm_contentapi-keysutm_campaignrewriteKey 丢了就去那找。最后留一个实用技巧写可选参数时如果函数内部要区分「没传」和「传了 undefined」用arguments.length或改成对象参数{ name?: string }。exactOptionalPropertyTypes开启后name?: string和name: string | undefined是两回事前者不能显式传undefined后者可以。这个细节在严格项目里很关键tsc会帮你把关。把tsconfig严格模式、三类参数声明、tsc --noEmit校验、TaoToken 统一 Key 这套组合用起来TS 函数参数的类型问题基本能在编译期解决不用等到运行时才炸。 【TypeScript】TS函数中可选参数、默认参数、剩余参数（十三）：用 TaoToken 统一 Key 跑通类型校验
1. 从一次线上报错说起TS 函数参数类型没管住接口调用直接翻车上周帮朋友看一个 Node 服务日志里刷了一屏TypeError: Cannot read properties of undefined。定位到一行调用formatUser(user, true)而函数签名是formatUser(user: User, withAvatar?: boolean)。问题不在可选参数本身而在于调用方传了个undefined进去函数内部又直接withAvatar.toString()运行时才炸。这类问题在 TS 里其实编译期就能拦住前提是tsconfig的严格模式开对、参数声明写对。这篇聚焦 TypeScript 函数里三类参数可选参数、默认参数、剩余参数。它们看着简单但在真实项目里类型推导和调用约束经常出岔子。我会用一套可复制的tsconfig严格配置配合tsc --noEmit做静态校验再用 TaoToken 统一 Key 调多模型接口验证参数类型在「编译期」和「运行期」是否都按预期报错或放行。适合已经会写 TS 函数、但被参数类型坑过的前端或 Node 开发者。核心检索词先摆出来TypeScript 可选参数、默认参数、剩余参数的类型推导与调用约束。这三类参数在 TS 里各有各的脾气可选参数默认是undefined默认参数会参与类型收窄剩余参数必须是数组类型。搞不清这些tsc报错看不懂接口传参也容易漏。我试过把三类参数混在一个函数里结果tsc报了一串TS1016和TS2376当时完全懵。后来把规则拆开看才发现是参数顺序和类型声明的问题。下面按「问题场景 → 环境准备 → 配置与代码 → 双重验证 → 排错 → 工具入口」的顺序展开每一步都能直接复制。2. 前置准备用 TaoToken 统一 Key 打通多模型补全与类型校验在动手写参数代码之前先把「验证通道」搭好。为什么需要 TaoToken因为我想在同一个项目里既用tsc做静态类型检查又用大模型接口做「参数补全建议」和「报错解释」。如果每个模型都单独配 Key、单独改 Base URL切换成本太高。TaoToken 提供统一的 API 通道一个 Key 就能调不同模型Base URL 固定为https://taotoken.net/api省去反复改配置的麻烦。先拿 Key。打开官网https://taotoken.net/?utm_sourcetaotoken_aicg_blog_endutm_mediumcsdnutm_campaignrewriteutm_content注册后在控制台创建 API Key。控制台地址是https://taotoken.net/console?utm_sourcetaotoken_aicg_blog_endutm_contentconsoleutm_campaignrewriteAPI Keys 管理页在https://taotoken.net/api-keys?utm_sourcetaotoken_aicg_blog_endutm_contentapi-keysutm_campaignrewrite。Key 形如sk-开头的一串字符复制后存到环境变量里别硬编码进代码。环境变量这样设Linux/macOS 用export TAOTOKEN_API_KEYsk-你的Key export TAOTOKEN_BASE_URLhttps://taotoken.net/apiWindows PowerShell 用$env:TAOTOKEN_API_KEYsk-你的Key $env:TAOTOKEN_BASE_URLhttps://taotoken.net/api模型 ID 怎么选如果你只是想让模型帮你解释tsc报错、补全参数类型用对话类模型即可在模型对话页https://taotoken.net/chat?utm_sourcetaotoken_aicg_blog_endutm_contentmodel-chatutm_campaignrewrite能看到可用模型列表。如果你要长期做编码、跑 Agent 任务可以看 Coding Planhttps://taotoken.net/coding-plan?utm_sourcetaotoken_aicg_blog_endutm_contentcoding-planutm_campaignrewrite。接入文档在https://taotoken.net/doc?utm_sourcetaotoken_aicg_blog_endutm_contentdocutm_campaignrewrite里面有各语言的调用示例。这里要强调一点TaoToken 是 API 通道不是编辑器替代品。你的代码还是在 VS Code 或 Cursor 里写TaoToken 负责把请求转发到模型。所以别指望它帮你改文件它只负责「你发请求、它回结果」。前置准备清单项目值说明Base URLhttps://taotoken.net/api固定不加 UTMAPI Keysk-...控制台创建存环境变量Model ID按需选对话/编码模型不同校验工具tsc --noEmit本地静态检查运行环境Node 18支持 fetch把这几项准备好后面写参数代码时就能一边tsc检查一边让模型解释报错。两者结合参数类型问题基本无处可藏。3. 可复制配置tsconfig 严格模式 三类参数声明代码先上tsconfig.json。严格模式是参数类型校验的地基strict打开后strictNullChecks、noImplicitAny等都会生效可选参数的undefined才会被认真对待。{ compilerOptions: { target: ES2020, module: ESNext, moduleResolution: Bundler, strict: true, noImplicitAny: true, strictNullChecks: true, strictFunctionTypes: true, noUnusedParameters: true, exactOptionalPropertyTypes: true, noEmit: true, skipLibCheck: true, esModuleInterop: true, forceConsistentCasingInFileNames: true }, include: [src/**/*.ts] }注意exactOptionalPropertyTypes这一项它让可选参数和undefined的区分更严格。开启后name?: string表示「可以没有这个属性」而不是「可以是 undefined」。这个区别在调用时很关键。接着写三类参数的声明代码放到src/params.ts// 可选参数用 ? 标记类型自动包含 undefined function greetOptional(name?: string): string { if (name) { return Hello, ${name}!; } return Hello, stranger!; } // 默认参数给默认值类型由默认值推导 function greetDefault(name: string stranger): string { return Hello, ${name}!; } // 剩余参数必须是数组类型收集不定数量实参 function average(...numbers: number[]): number { if (numbers.length 0) { return 0; } const total numbers.reduce((sum, n) sum n, 0); return total / numbers.length; } // 三类混用可选 默认 剩余注意顺序 function buildMessage( prefix: string, suffix: string !, ...names: string[] ): string { const body names.join(, ); return ${prefix}${body}${suffix}; } export { greetOptional, greetDefault, average, buildMessage };这里有几个坑要提前说。第一可选参数不能放在必选参数前面否则tsc报TS1016: A required parameter cannot follow an optional parameter。第二默认参数如果放在可选参数后面类型推导会变复杂建议默认参数放中间或末尾。第三剩余参数必须是最后一个参数且类型必须是数组...args: string是错的必须...args: string[]。再写一个调用文件src/call.ts故意制造几种调用方式看tsc怎么反应import { greetOptional, greetDefault, average, buildMessage } from ./params; // 合法调用 greetOptional(); greetOptional(Alice); greetDefault(); greetDefault(Bob); average(1, 2, 3); buildMessage(Hi , !, Alice, Bob); // 下面这些是故意写错的tsc 应该报错 // greetOptional(123); // TS2345: number 不能赋给 string // average(a, b); // TS2345: string 不能赋给 number // buildMessage(Hi , 123); // TS2345: number 不能赋给 string把错误调用注释掉先跑一遍正确的确认tsc通过。然后逐个取消注释看报错信息是否符合预期。这就是「双重验证」的第一步静态检查。如果你想让模型帮你解释某条报错可以用 TaoToken 的对话接口。下面是一个 Node 脚本scripts/explain.ts用统一 Key 调模型const API_KEY process.env.TAOTOKEN_API_KEY!; const BASE_URL process.env.TAOTOKEN_BASE_URL!; async function explainError(errorText: string): Promisestring { const res await fetch(${BASE_URL}/v1/chat/completions, { method: POST, headers: { Content-Type: application/json, Authorization: Bearer ${API_KEY}, }, body: JSON.stringify({ model: gpt-4o-mini, messages: [ { role: system, content: 你是 TypeScript 专家用中文解释 tsc 报错给出修复建议。, }, { role: user, content: errorText }, ], }), }); if (!res.ok) { throw new Error(HTTP ${res.status}: ${await res.text()}); } const data await res.json(); return data.choices[0].message.content; } explainError(TS2345: Argument of type number is not assignable to parameter of type string.) .then(console.log) .catch(console.error);运行npx tsx scripts/explain.ts模型会返回报错解释。这样你就有了「本地tsc报错 模型解释」的组合参数类型问题定位快很多。4. 验证请求与成功结果tsc --noEmit 与接口调用双重确认配置和代码就位后开始验证。第一步跑静态检查npx tsc --noEmit如果src/call.ts里错误调用都注释着命令应该无输出退出码 0。这说明合法调用全部通过参数类型推导符合预期。然后逐个取消注释再跑一次应该看到类似src/call.ts:12:15 - error TS2345: Argument of type number is not assignable to parameter of type string. 12 greetOptional(123); ~~~这就是「按预期报错」。可选参数name?: string只接受string或undefined传number直接拦下。默认参数name: string stranger同理传number报TS2345。剩余参数...numbers: number[]传字符串也报错。第二步运行期验证。写一个scripts/run.ts实际调用函数并打印结果import { greetOptional, greetDefault, average, buildMessage } from ../src/params; console.log(greetOptional()); console.log(greetOptional(Alice)); console.log(greetDefault()); console.log(greetDefault(Bob)); console.log(average(1, 2, 3, 4, 5)); console.log(buildMessage(Hi , !, Alice, Bob));用npx tsx scripts/run.ts跑输出Hello, stranger! Hello, Alice! Hello, stranger! Hello, Bob! 3 Hi Alice, Bob!注意average(1,2,3,4,5)返回 3因为(12345)/5 3。buildMessage(Hi , !, Alice, Bob)返回Hi Alice, Bob!前缀、后缀、剩余名字都正确拼接。第三步用 TaoToken 接口做一次「参数补全」验证。假设你写函数时不确定参数类型可以让模型根据上下文补全。下面脚本scripts/complete.ts发一个补全请求const API_KEY process.env.TAOTOKEN_API_KEY!; const BASE_URL process.env.TAOTOKEN_BASE_URL!; async function completeParams(): Promisevoid { const res await fetch(${BASE_URL}/v1/chat/completions, { method: POST, headers: { Content-Type: application/json, Authorization: Bearer ${API_KEY}, }, body: JSON.stringify({ model: gpt-4o-mini, messages: [ { role: user, content: TypeScript 函数 buildMessage(prefix: string, suffix: string !, ...names: string[]) 的调用约束是什么给出合法和非法调用各两个例子。, }, ], }), }); const data await res.json(); console.log(data.choices[0].message.content); } completeParams().catch(console.error);跑npx tsx scripts/complete.ts模型会返回合法调用如buildMessage(Hi , !, Alice)非法调用如buildMessage(Hi , 123)。这和你本地tsc的结论一致说明参数类型约束在「静态」和「模型理解」两个层面都成立。成功结果汇总验证项命令预期结果静态检查通过npx tsc --noEmit无输出退出码 0静态检查报错取消注释后npx tsc --noEmitTS2345类型不匹配运行期输出npx tsx scripts/run.ts打印正确结果模型补全npx tsx scripts/complete.ts返回合法/非法调用示例到这里三类参数的类型推导和调用约束都验证完了。可选参数接受undefined默认参数有默认值兜底剩余参数收集成数组。tsc负责编译期拦截运行期负责实际行为TaoToken 负责模型侧的解释和补全。5. 常见报错排查TS1016、TS2376、401 与 local proxy failed实际写代码时报错五花八门。这里列几个高频的对照着改。TS1016: A required parameter cannot follow an optional parameter.这是参数顺序问题。比如function bad(name?: string, age: number) {}name可选age必选但age在name后面tsc直接报TS1016。修复方法是把必选参数放前面function good(age: number, name?: string) {}TS2376: A super call must be the first statement in the constructor when a class contains initialized properties, parameter properties, or private identifiers.这个报错和参数属性有关。如果你在构造函数参数里用public/private修饰符super()必须是第一句。比如class Base { constructor(public id: string) {} } class Child extends Base { constructor(id: string, public name: string) { console.log(before super); // 这行会导致 TS2376 super(id); } }把console.log移到super(id)后面即可。401 Unauthorized.调 TaoToken 接口时最常见。原因通常是 Key 没设对、Key 过期、或者请求头没带Authorization。检查echo $TAOTOKEN_API_KEY如果输出为空说明环境变量没生效。重新export一次或者写进.env文件用dotenv加载。请求头必须是Authorization: Bearer sk-...少Bearer或拼错都会 401。local proxy failed.这个报错通常出现在你本地配了代理但代理没启动或端口不对。检查你的HTTP_PROXY/HTTPS_PROXY环境变量如果不需要代理就清掉unset HTTP_PROXY unset HTTPS_PROXY然后重试请求。TaoToken 的 Base URL 是https://taotoken.net/api直连即可不需要额外代理配置。reading choices of undefined.这个报错说明你拿data.choices[0]时data里没有choices字段。原因可能是接口返回了错误对象比如{ error: { message: ... } }。修复方法是先判断const data await res.json(); if (!data.choices || !data.choices[0]) { console.error(接口返回异常:, JSON.stringify(data)); return; } console.log(data.choices[0].message.content);OAuth 相关报错.如果你用 Claude Code 或 Codex 这类工具接入可能会遇到 OAuth 认证失败。这类工具通常需要配置auth.json或环境变量。以 Codex 为例auth.json里要写全三件套Base URL、API Key、Model ID。Base URL 填https://taotoken.net/apiKey 填你的sk-...Model ID 按工具要求填。三件套缺一不可缺了就会 OAuth 失败或 401。如果你用 CC Switch 或 Cline MCP同样要配全三件套。CC Switch 的配置文件里Base URL、Key、Model ID 三个字段都要填。Cline MCP 的settings.json里也是这三项。别只填 Key 不填 Base URL那样请求会发到默认地址直接失败。排错速查表报错原因修复TS1016必选参数在可选参数后调整参数顺序TS2376super 前有语句super 放第一句401Key 缺失/错误检查环境变量和请求头local proxy failed代理配置冲突清掉代理环境变量reading choices返回结构异常先判断 choices 存在OAuth 失败三件套不全补全 Base URLKeyModel ID这些报错我基本都踩过尤其是 401 和reading choices前者是 Key 没设对后者是没做防御性判断。改完之后参数类型校验和接口调用都顺畅了。6. 工具入口与下一步把类型校验接进日常编码流参数类型校验不是一次性任务得接进日常编码流。我的做法是tsc --noEmit挂在package.json的scripts里每次提交前跑一遍。模型解释和补全用 TaoToken 统一 Key需要时调一下不用来回切配置。{ scripts: { typecheck: tsc --noEmit, explain: tsx scripts/explain.ts, complete: tsx scripts/complete.ts } }这样npm run typecheck做静态检查npm run explain让模型解释报错npm run complete让模型补全参数。三个命令覆盖「检查 → 解释 → 补全」闭环。如果你要长期做编码和 Agent 任务可以看 Coding Planhttps://taotoken.net/coding-plan?utm_sourcetaotoken_aicg_blog_endutm_contentcoding-planutm_campaignrewrite里面有适合持续调用的方案。接入文档在https://taotoken.net/doc?utm_sourcetaotoken_aicg_blog_endutm_contentdocutm_campaignrewrite各语言示例都有。模型对话页https://taotoken.net/chat?utm_sourcetaotoken_aicg_blog_endutm_contentmodel-chatutm_campaignrewrite可以快速试模型。API Keys 管理在https://taotoken.net/api-keys?utm_sourcetaotoken_aicg_blog_endutm_contentapi-keysutm_campaignrewriteKey 丢了就去那找。最后留一个实用技巧写可选参数时如果函数内部要区分「没传」和「传了 undefined」用arguments.length或改成对象参数{ name?: string }。exactOptionalPropertyTypes开启后name?: string和name: string | undefined是两回事前者不能显式传undefined后者可以。这个细节在严格项目里很关键tsc会帮你把关。把tsconfig严格模式、三类参数声明、tsc --noEmit校验、TaoToken 统一 Key 这套组合用起来TS 函数参数的类型问题基本能在编译期解决不用等到运行时才炸。