能否在不使用字符串字面量索引时定义参数类型关联的fn函数？

可以实现，用TypeScript的函数重载或泛型条件类型就能完成这个参数类型关联约束，且完全不需要用到字符串字面量索引。

实现方式1：函数重载 #

直接通过重载定义不同参数组合的合法类型：

// 重载签名，定义合法的参数组合
function fn(a: number, b: any[]): void;
function fn(a: boolean, b: object): void;
// 实现签名，兼容所有合法参数类型
function fn(a: number | boolean, b: any[] | object): void {
  // 这里写函数逻辑，示例：
  console.log(a, b);
}

调用验证：

• 合法调用：fn(1, [])、fn(true, {}) → 无类型报错
• 非法调用：fn(1, {})、fn(true, []) → TypeScript会直接抛出类型错误

实现方式2：泛型+条件类型 #

通过条件类型动态推导参数的合法组合：

// 定义条件类型，根据a的类型约束b的类型
type FnArgs<T> = T extends number ? [T, any[]] : T extends boolean ? [T, object] : never;

function fn<T extends number | boolean>(...args: FnArgs<T>): void {
  // 函数逻辑示例
  console.log(args);
}

这种方式同样能实现需求，调用时的类型检查效果和重载完全一致。

这两种方案都是利用TypeScript的静态类型系统特性实现参数类型的关联校验，完全符合"不能使用字符串字面量索引"的要求。

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