Возможен ли условный тип исходя из статического свойства класса в TypeScript?

Question

[lightalex]

Возможно ли в TypeScript принимать тип исходя из содержимого статичного свойства класса?

class A {
	static bool = true;
}
function func(A['bool'] ? number : string) { } // A['bool'] ? number : string не воспринимается TypeScript

func(A.bool ? 123 : 'random string');

Подразумевается, что свойство bool это что-то типа константы-флага.

P.S. Я знаю про то что можно задать тип true или false и проверять тип через extends. Но данный метод не подходит, так как после преобразования в JS никаких типов не остается (разумеется) и я не могу проверить есть ли нужный флаг в классе. Также предполагается что класс A будет наследоваться и значение флага будет переопределяться в дочерних классах.

Comments

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

Зачем это нужно?

Внутри функции всё равно же будет проверка на тип. А если не будет, то зачем такие сложности, почему бы просто не написать

function func(param: number | string) {
    return String(param); // типа нам пофиг на тип
}

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

Да и вообще выглядит странно. В процессе компиляции TS очевидно не знает значения A.bool.

[lightalex]

Lynn «Кофеман», потому что в реальном коде используются типы немного сложнее чем number и string.
Я пытаюсь использовать то, для чего вообще TypeScript задумывался - подсказки программисту, по данным которым он должен передать в функцию. И список этих данных зависит от первого аргумента.

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

Про наследование ещё более непонятно.

В общем, распишите исходную задачу

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

> И список этих данных зависит от первого аргумента

И где тут первый аргумент?

[lightalex]

Lynn «Кофеман», почему же он не знает, если я статично задаю ему эти данные? Хорошо, допустим компилятор действительно не может знать что лежит в свойстве. Но если я пропишу const BOOL = true;, то будет ли он знать что лежит в BOOL?

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

Может надо это https://www.typescriptlang.org/docs/handbook/funct...

[lightalex]

Lynn «Кофеман», первый аргумент не нужен для решения текущего вопроса. Если я приведу здесь полный код, я совершено точно не получу ни одного ответа, так он не маленький. А главное сложен для понимания.
Я написал максимально простой код, чтобы четко пояснить в чем состоит мой вопрос.

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

lightalex,
Да, потому что язык гарантирует что const не поменяется в рантайме.
А вот статическое поле класса запросто можно переприсвоить

[lightalex]

Lynn «Кофеман», о перегрузках я тоже думал. По ряду причин это решение менее предпочтительно. Если не получится решить текущий вопрос (в чем я почти уверен), то придется воспользоваться данным решением.

[lightalex]

Lynn «Кофеман», да, const статичен. Но вроде бы все равно тип нельзя выбирать исходя из содержания const :(

[lightalex]

Lynn «Кофеман», даже так не работает function func(b: true ? number : string) { }. Хотя казалось бы, куда еще более явно.

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

Ну а пока у вас слишком минимальны пример и непонятно чего же именно хочется.

Вот например не оно?
https://www.typescriptlang.org/play?#code/PTAEhQQR...

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

Или так
https://www.typescriptlang.org/play?#code/MYewdgzg...

[lightalex]

Lynn «Кофеман», как я уже сказал, вариант с перегрузками я рассматривал. Это решает мою проблему. Но это не совсем то что я хотел.
Про вариант с exrends true я писал в вопросе, в самом конце, что этот вариант не подходит.

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

Ну тогда расписывайте задачу

[Aetae]

lightalex, максимум можно изобразить что-то такое:

class A {
  static bool: boolean = true;
}
class B extends A {
  static readonly bool = true;
}
class C extends A {
  static readonly bool = false;
}
function func<T extends typeof A, P = T['bool'] extends true ? number : string>(param: P) { } 

func<typeof B>(123); //ok
func<typeof B>('random string'); //not ok
func<typeof C>(123); //not ok
func<typeof C>('random string'); //ok

Но если параметр bool может меняться во время исполнения - тайпскрипт никак не может знать его значение во время компиляции.

[lightalex]

Aetae, довольно странно отрабатывает данный код в редакторе. Пока не начнешь печатать аргумент при вызове функции, в подсказках редактора тип значится как unknown. Хотя я догадываюсь почему VC так отражает тип данных.
Хотя код действительно является ответом на мой вопрос. Спасибо за помощь! Если вы оформите свой комментарий как ответ, то я смогу отметить его решением.

Answer 1

[Aetae]

lightalex, максимум можно изобразить что-то такое:

class A {
  static bool: boolean = true;
}
class B extends A {
  static readonly bool = true;
}
class C extends A {
  static readonly bool = false;
}
function func<T extends typeof A, P = T['bool'] extends true ? number : string>(param: P) { } 

func<typeof B>(123); //ok
func<typeof B>('random string'); //not ok
func<typeof C>(123); //not ok
func<typeof C>('random string'); //ok

Но если параметр bool может меняться во время исполнения - тайпскрипт никак не может знать его значение во время компиляции.

Comments

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

func<typeof B, boolean>(true); // так тоже примет...

// лучше уж так написать:
function func<T extends typeof A>(param: T['bool'] extends true ? number : string) { }

Answer 2

[Alex]

TS может не больше чем описано в документации

Comments

[lightalex]

Я понадеялся, что где-то что-то недопонял или на неточность в документации. Видимо не судьба :(

[Alex]

lightalex, Мне кажется вы пытаетесь сделать что-то что сделать можно, но не так как вы хотите :)

[lightalex]

Alex, в точку :)