Как усилить проверку примитивных типов в TypeScript?

Question

[Павло Пономаренко]

Допустим у меня в разных местах используются примитивные типы. Чтобы не усложнять себе жизнь созданием классов, но при этом чтобы иметь возможность иметь статическую типизацию я хотел бы указывать тип строки. К сожалению, TypeScript никак не проверяет, что тип корректен. Подскажите, можно ли сделать то, к чему я стремлюсь и как?

type IFooIndex = string;
type IBarIndex = string;

class Foo {
    id: IFooIndex;
}

class Bar {
    id: IBarIndex;
}

function findFoo(index: IFooIndex) {
    // searching by IFooIndex
}

findFoo( new Bar().id ); // тут хотелось бы ошибку компиляции

Answer 1

[Алексей Ярков]

Брэндинг вам в помощь

type IFooIndex = string & {_type?: 'foo'};
type IBarIndex = string & {_type?: 'bar'};

class Foo {
    id: IFooIndex;
}

class Bar {
    id: IBarIndex;
}

function findFoo(index: IFooIndex) {
    // searching by IFooIndex
}

findFoo( new Bar().id );

Comments

[Павло Пономаренко]

Ну и костыли! Огромное спасибо за помощь

[Алексей Ярков]

Павло Пономаренко, та не за что )

[Павло Пономаренко]

Алексей Ярков, может ещё можете подсказать, как этот тип в качестве ключа в объекте использовать?:)

type IFooIndex = string & {_type?: 'foo'};
type IBarIndex = string & {_type?: 'bar'};

class Foo {
    id: IFooIndex;
}

class Bar {
    id: IBarIndex;
}

function findFoo(index: IFooIndex) {
    // searching by IFooIndex
}

type IFooCacheError = { [id: IFooIndex]: Foo }; // ERROR
type IFooCache = { [id: string]: Foo };

const fooCache = {} as IFooCache;

fooCache['ab' as IFooIndex];
fooCache['ab' as IBarIndex]; // NO ERROR