Почему TS некорректно вычисляет тип?

Question

[fkk]

typescript@5.2.2

tsconfig

{
  "compilerOptions": {
    "strict": true,
    "target": "ESNext",
    "module": "ESNext",
    "moduleResolution": "node",
    "allowSyntheticDefaultImports": true,
    "esModuleInterop": true,
    "jsx": "preserve",
    "jsxImportSource": "solid-js",
    "types": ["vite/client", "node"],
    "noEmit": true,
    "isolatedModules": true
  }
}

Код:

const normalizeRules: (string | RegExp)[] = [/<[^>]*>?/gm, "&gt;", "&lt;"];
const normalizeByRules = (input: string) => normalizeRules.reduce((acc, rule) => acc.replaceAll(rule, ""), input);

В IDE ошибка будет выглядеть так:



Текстовый вариант ошибки:

TS2339: Property  replaceAll  does not exist on type  string | RegExp 
Property  replaceAll  does not exist on type  RegExp

Если же, я явно опишу тип аккумулирующего значения как string - все ок:

const normalizeRules: (string | RegExp)[] = [/<[^>]*>?/gm, "&gt;", "&lt;"];
const normalizeByRules = (input: string) => normalizeRules.reduce((acc: string  /* here */, rule) => acc.replaceAll(rule, ""), input);

Вопрос простой - почему? Ведь изначальное значение reduce - строка, почему он решает, что acc может стать RegExp?

Comments

[WbICHA]

Потому что у редьюса 3 оверлоада:

reduce(callbackfn: (previousValue: T, currentValue: T, currentIndex: number, array: T[]) => T): T;
reduce(callbackfn: (previousValue: T, currentValue: T, currentIndex: number, array: T[]) => T, initialValue: T): T;
reduce<U>(callbackfn: (previousValue: U, currentValue: T, currentIndex: number, array: T[]) => U, initialValue: U): U;

Если передаёшь инишиалВелью, то актуальны 2ой и 3ий. Если ты не передаёшь дженерик или не типизируешь аккумулятор, какой из оверлоадов "сработает" раньше, при условии, что тип инишиалВелью является частью типа велью?

[WbICHA]

const normalizeRules: (string | RegExp)[] = [/<[^>]*>?/gm, "&gt;", "&lt;"];
const normalizeByRules = (input: string) => normalizeRules.reduce((acc, rule) => acc.replaceAll(rule, ""), input);

const normalizeRules: (string | RegExp)[] = [/<[^>]*>?/gm, "&gt;", "&lt;"];
const normalizeByRules = (input: string /* here */) => normalizeRules.reduce((acc, rule) => acc.replaceAll(rule, ""), input);

Чем эти 2 куска кода отличаются друг от друга?

[Lynn «Кофеман»]

Добавлю что в данном случае нужно просто явно указать что тип acc всегда строка
normalizeRules.reduce<string>(...)

[fkk]

WbICHA, Lynn «Кофеман», вынесите в ответы, чтоль)

Answer 1

[WbICHA]

Потому что у редьюса 3 оверлоада:

reduce(callbackfn: (previousValue: T, currentValue: T, currentIndex: number, array: T[]) => T): T;
reduce(callbackfn: (previousValue: T, currentValue: T, currentIndex: number, array: T[]) => T, initialValue: T): T;
reduce<U>(callbackfn: (previousValue: U, currentValue: T, currentIndex: number, array: T[]) => U, initialValue: U): U;

Если передаёшь инишиалВелью, то актуальны 2ой и 3ий. Если ты не передаёшь дженерик или не типизируешь аккумулятор, какой из оверлоадов "сработает" раньше, при условии, что тип инишиалВелью является частью типа велью?

normalizeRules.reduce((acc: string, rule) => acc.replaceAll(rule, ""), input);
// or
normalizeRules.reduce<string>((acc, rule) => acc.replaceAll(rule, ""), input);

Answer 2

[Евгений Механиков]

Думаю от того что аккумулятор того же типа что и значения в массиве (string | RegExp)

reduce(callbackfn: (previousValue: T, currentValue: T, currentIndex: number, array: T[]) => T, initialValue: T): T;

Comments

[fkk]

Не красиво же так делать)

[Евгений Механиков]

fkk, что вы имеете ввиду?

[WbICHA]

Тем более когда об этом уже давно написали в комментариях.

[fkk]

Евгений Механиков, то, что я дал корректный ответ, на ваш некорректный, а вы удалили его и написали заново ответ.

[Евгений Механиков]

мой комментарии хочу и удаляю)

[Евгений Механиков]

fkk, так ваш вопрос же? Напишите в нем ответ ниже, проще искать будет людям