TypeScript函数类型：使第二个参数类型依赖于第一个参数类型

你的问题核心是：泛型约束下，TypeScript无法通过arg1的条件判断自动收窄arg2的类型。因为泛型T是Arg1的子集，当你判断arg1 === 'a'时，TS没办法推断出T此时就是'a'，所以arg2的类型依然是string | string[]，导致类型不匹配报错。

下面给两种靠谱的解决方法：

方法一：使用函数重载 #

函数重载是TS处理这类依赖类型最常用的方式，能明确指定每种arg1对应的arg2类型，调用时的类型检查和内部逻辑的类型收窄都能完美生效：

type Arg1 = 'a' | 'b' | 'c';

const expectString = (str: string) => {};
const expectStringArray = (arr: string[]) => {};

// 定义重载签名，明确每种参数组合的类型
function func(arg1: 'a', arg2: string): void;
function func(arg1: 'b', arg2: string): void;
function func(arg1: 'c', arg2: string[]): void;

// 实现签名，处理通用逻辑
function func(arg1: Arg1, arg2: string | string[]): void {
    if (arg1 === 'a' || arg1 === 'b') {
        expectString(arg2); // ✅ TS正确识别arg2为string
    } else {
        expectStringArray(arg2); // ✅ TS正确识别arg2为string[]
    }
}

// 调用示例（类型检查生效）
func('a', 'hello'); // ✅
func('c', ['hello', 'world']); // ✅
func('a', ['hello']); // ❌ 报错，类型不匹配

方法二：使用联合类型的参数元组 #

通过定义参数的联合元组类型，让TS把参数当成一个整体来推断，写法更简洁，适合逻辑相对简单的函数：

type Arg1 = 'a' | 'b' | 'c';

const expectString = (str: string) => {};
const expectStringArray = (arr: string[]) => {};

// 定义参数的联合元组，明确每种参数组合
type FuncParams = 
  | ['a', string]
  | ['b', string]
  | ['c', string[]];

const func = (...[arg1, arg2]: FuncParams) => {
    if (arg1 === 'a' || arg1 === 'b') {
        expectString(arg2); // ✅ TS正确识别arg2为string
    } else {
        expectStringArray(arg2); // ✅ TS正确识别arg2为string[]
    }
};

// 调用示例
func('a', 'test'); // ✅
func('c', ['test1', 'test2']); // ✅
func('b', ['test']); // ❌ 报错

不推荐的方法：手动类型断言 #

虽然可以用arg2 as string强制跳过类型检查，但这会丢失TS的类型安全性，除非你能确保逻辑绝对正确，否则不建议使用：

const func = <T extends Arg1>(arg1: T, arg2: T extends "c" ? string[] : string) => {
    if (arg1 === 'a'){
        expectString(arg2 as string); // 强制断言，跳过类型检查
    }     
};

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