Блог

У меня есть этот код typescript

 type X = (<T extends number | string>(a: T) => (b: T) => T)

const f: X = (a: any) => (b: any) => a   b

f(1)(2)
  

Он показывает ошибку

 Argument of type '2' is not assignable to parameter of type '1'.
  

Выводимый тип в первом аргументе — '1' но я хочу, чтобы он был number с теми же ограничениями для дженериков string | number .

Типы передаваемых аргументов могут быть только либо number или string , т.е. Ограничены string | number .

Игровая площадка

Будет ли это работать в вашем случае?

 type XGen<T extends string | number> = (a: T) => (b: T) => T;
type X = XGen<string> amp; XGen<number>;
const f: X = (a: any) => (b: any) => a   b;

f(1)(2);
f(1)('2'); // error
f('1')('2');
f([])([]); // error
  

Цель состоит в том, чтобы указать TypeScript выбирать только между string и number (не угадывая никаких других типов, которые расширяют их объединение (например 1 , как в вашем примере)). Мы добились этого, создав базовый универсальный вспомогательный тип XGen и создав тип пересечения XGen<string> и XGen<number> (поэтому заставляя typescript выбирать только между этими двумя).

почему <T extends number | string> , а не просто <T=number|string> ?

Я только что попробовал

 type X = (<T = number | string>(a: T) => (b: T) => T)

const f: X = (a: any) => (b: any) => a   b

console.log( f(1)(2) );
console.log( f("1")("2") );
  

Результат:

 [LOG]: 3 
[LOG]: "12" 
  

на той же игровой площадке, которую вы нам дали, и она работала просто отлично.

Прошло много времени с тех пор, как я в последний раз писал какой-либо код TS, но я думаю, что когда вы используете extends constraint , вы подразумеваете, что T будет некоторым производным типом, а единственным доступным типом, соответствующим f (1), был какой-то «буквальный тип». Я имею в виду, 1 был «обновлен» с number литерального типа «1» (те же механизмы, что и с литеральными строками как типами и т. Д., Только с числовыми литералами вместо строковых литералов)..

Бьюсь об заклад, вы на самом деле не имели в виду, что тип X является потомком Number или потомком String .. мне кажется, что это несколько … редко..