Как правильно подсказать тайпскрипту про вывод типа в шаблонной функции?

Question

[Alexandroppolus]

Суть:

type Value<T> = (() => T) | T

function funcStr(value: Value<string>): string {
  return typeof value === 'function' ? value() : value
}

function funcTpl<T>(value: Value<T>): T {
  return typeof value === 'function' ? value() : value
}

Функция получает на вход некое значение, если оное оказалось функцией, возвращает результат вызова, иначе - само значение.
В funcStr всё без проблем, а в funcTpl засада: проверка typeof value === 'function' превращает тип value не в (() => T), как задумано, а в (() => T) | (T & Function)
Видимо, дело в том, что Т может быть функцией, и TS пытается это дело как-то расширить/использовать..

Как сделать правильно? Да, можно снасильничать (value as (() => T))(), но это не ts-way.

Update:
Т может быть функцией, т.е. возможно такое
funcTpl(() => ()=>{})

Comments

[WbICHA]

Т может быть функцией? Если нет, можно запретить передавать тип функция.

[Alexandroppolus]

Да, может, дописал в вопросе

Answer 1

[Дмитрий Беляев]

Вариант 1, использовать кастомный тайп гвард:

type Value<T> = (() => T) | T

function isFunctionValue<T>(value: Value<T>): value is () => T {
    return typeof value === 'function'
}

function funcStr(value: Value<string>): string {
  return isFunctionValue(value) ? value() : value
}

function funcTpl<T>(value: Value<T>): T {
  return isFunctionValue(value) ? value() : value
}

Вариант 2, исключить возможность функции из T:

type Value<T> = T extends (...args: never[]) => unknown ? never : (() => T) | T

function funcStr(value: Value<string>): string {
  return typeof value === 'function' ? value() : value
}

function funcTpl<T>(value: Value<T>): T {
  return typeof value === 'function' ? value() : value
}

Comments

[Ivan Brezhnev]

Тайпскриптовая магия!)

[Alexandroppolus]

Ага, спасибо. Функцию исключать не хотелось бы (дописал это в вопросе).

Я правильно понимаю, что первый вариант по своей сути - то же самое ручное приведение (value as (() => T))() ? Т.е. явно сообщаю об этом тайпскрипту. Сейчас на свежую голову подумал, что конкретно в этом кейсе ручное приведение корректно и безопасно. Просто удивляет тот факт, что TS не пришел к этому казалось бы очевидному выводу и зачем-то пытается "сидеть на двух стульях" и не отбрасывает Т.

[Дмитрий Беляев]

Alexandroppolus, TypeScript никак не проверяет содержимое кастомного тайп-гварда, но в отличии от обычного приведения типа (value as Type) он завязывает такое приведение типов на рантайм проверку.

удивляет тот факт, что TS не пришел к этому казалось бы очевидному выводу и зачем-то пытается "сидеть на двух стульях" и не отбрасывает Т

Система типов в TypeScript работает чисто на иерархии типов и вычислениях для перемещения по ней, и это, я думаю, единственный способ затипизировать любой JavaScript. Дженерик T в Вашем случае ничем не ограничен, а значит во всех вычислениях производных типов он участвует как тип unknown, который находится наверху этой иерархии. TypeScript просто вычисляет все возможные варианты, какие могут быть.

Подробнее на эту тему я буду рассказывать в сентябре на этой конференции: https://uic.dev/belyaev
Присоединяйтесь, там есть онлайн формат.

[Alexandroppolus]

Дмитрий Беляев, спасибо за разъяснение.
На конференцию загляну, если будет время.