TypeScript中如何为constructItem函数编写正确的类型定义

• 泛型条件类型与函数内部的运行时类型收窄逻辑不互通：TypeScript 不会根据你对入参index的typeof判断、!== undefined判断，自动收窄泛型参数T的实际类型，因此编译器无法确认实现返回的联合类型`Item ${number}` | "Item"能匹配到依赖T的条件返回类型。
• 入参定义错误：index: T | undefined不能支持真正的无参调用，可选入参需要用?标记，否则调用时必须显式传入undefined。
• 原泛型定义的返回值校验逻辑无法和实现侧的分支逻辑一一对应，编译器无法做静态分支匹配。

方案1：函数重载（推荐，满足绝大多数场景） #

该方案可以完全符合需求：无参调用时返回类型严格为字面量"Item"；传入数字时返回类型为`Item ${number}`，不会被推导为通用string，且实现侧无类型报错。
箭头函数写法（和原代码风格一致）：

type Item = {
  (): "Item";
  (index: number): `Item ${number}`;
};

const constructItem: Item = (index?: number) =>
  typeof index === "number" ? `Item ${Number(index) + 1}` : "Item";

// 类型校验测试
const noArgResult = constructItem(); // 类型为字面量 "Item"
const withIndexResult = constructItem(2); // 类型为 `Item ${number}`，不是通用string

如果习惯function声明写法，直接写重载签名即可：

function constructItem(): "Item";
function constructItem(index: number): `Item ${number}`;
function constructItem(index?: number): "Item" | `Item ${number}` {
  return typeof index === "number" ? `Item ${index + 1}` : "Item";
}

方案2：精确字面量推导（需要传入数字时返回对应+1后的精确字面量类型） #

如果需要实现constructItem(1)返回类型精确为"Item 2"、constructItem(2)返回"Item 3"的效果，需要补充数字运算的类型体操。
注意：该方案实现侧需要加类型断言，TypeScript 无法在编译期验证运行时字符串拼接的结果和类型计算结果完全一致，必须手动告知编译器返回值符合类型约定。

// 基于数组长度实现数字+1的类型工具
type AddOne<N extends number, Cache extends any[] = []> = 
  Cache['length'] extends N ? [...Cache, any]['length'] : AddOne<N, [...Cache, any]>;

type Item = {
  (): "Item";
  <T extends number>(index: T): `Item ${AddOne<T> & number}`;
};

const constructItem: Item = (index?: number) =>
  typeof index === "number" ? `Item ${index + 1}` as `Item ${number}` : "Item";

// 类型校验测试
const exactResult = constructItem(1); // 类型为精确字面量 "Item 2"
const noArgExact = constructItem(); // 类型为 "Item"

内容的提问来源于stack exchange，提问作者Alen Šljivar