Я хочу иметь функцию, которая принимает второй аргумент только при выполнении некоторых условий.
let fn = <T extends boolean>(arg1: T, arg2: T extends true ? void : string) => {};
fn(true); // ERROR Expected 2 arguments, but got 1
fn(true, undefined); // OK
fn(false, ''); // OK
Это странное поведение, особенно потому, что аргумент функции типа как void не заставляет передаваться в вызове. Например:
let fn1 = (arg: void) => {};
fn1(); // OK
fn(arg1: true) и одну для fn(arg1: false, arg2: any). Так что подписи могут работать. Но если условия требуют логики, это может быть за пределами TS, например, если вы требуете, чтобы f(a, b) можно было вызывать только с a + b < 42. 30.09.2020 Это конструктивное ограничение, см. microsoft/TypeScript#29131. Обработка конечного параметра функции void рассматривалась как необязательная и была реализована в microsoft/TypeScript#27522. , но проверка этого поверхностна и не работает в вашем условном типе.
Я думаю, вам лучше использовать кортежи в остальных позициях параметров, чтобы получить желаемое поведение, поскольку кортежи могут иметь необязательные элементы и даже метки имен параметров. Может быть, что-то вроде этого:
let fn = <T extends boolean>(
arg1: T,
...rest: (T extends true ? [arg2?: undefined] : [arg2: string])
) => { };
fn(true); // okay
fn(true, undefined); // okay
fn(true, ''); // error
fn(false); // error
fn(false, undefined); // error
fn(false, ''); // okay
