Как установить тип только string или только number?

Question

[Demigodd]

Есть такой кусок кода:

data: IData[] = [];

get ids(): (string | number)[] {
  return data.map((n) => n.id);
}

export interface IData {
  id: string | number;
  name: string;
}

/** (1) **/
// Set data only string ID.

doSomething1(this.ids);

doSomething1 = (ids: string[]) => {
  // do something...
}

/** (2) **/
// Set data only number ID.

doSomething2(this.ids);

doSomething2 = (ids: number[]) => {
  // do something...
}

Есть массив ids в котором может быть или only string или only number.

В interface`e IData я указал, что id имеет тип либо string либо number.

Далее в одном месте приложения я инициализирую объект data только string`ами.
И вызываю функцию doSomething1(dataIds), указывая в качестве аргумента массив с id.

В другом месте инициализирую только number`ами, и вызываю функцию doSomething2(dataIds)

// (2) Typescript ругаеться на функцию <b>doSomething2</b>.

Argument of type '(string | number)[]' is not assignable to parameter of type 'number[]'.
  Type '(string | number)[]' is not assignable to type 'number[]'.
    Type 'string | number' is not assignable to type 'number'.
      Type 'string' is not assignable to type 'number'

Я же четко указал, что у него может быть тип только number или только string.
Так в чем же проблема и как ее решить?

Comments

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

> Я же чётко указал что у него может быть тип только number или только string.

Нет. Вы указали, что каждый элемент массива может быть числом или строкой. Т.е., например ваш метод может в теории вернуть [1, 'two', 'three', 4, 5].

[Demigodd]

Алексей Тен, Согласен, тогда как же в этом случае указать одиночный элемент массива ?

Если я указал, что id: string | number; то это может быть и [1, 2, 3, 4, 5] и ["a", "b", "c", "d", "e"], или даже [1, "a"].

Почему выдает ошибку ?

[Илья Герасимов]

DEATH2298, Перепишите функцию getIds так, чтобы она работало с типами однозначно. Выводите типы, не описывайте их для каждого чиха,

Вот рабочее, но не правильное решение с точки зрения строгой типизации (по сути проверки проходим, но в переменных уверенности нет):

interface IData<T> {
  id: T;
  name: string;
}

interface IDataString extends IData<string> {}
interface IDataNumber extends IData<number> {}

function getIds(): (string | number)[] {
  return [1, 2, 3, 4];
}

const myNumberData: IDataNumber[] = getIds().map(id => ({
  id: id as number,
  name: "123"
}));

const doSomething1 = (ids: number[]) => [];
doSomething1(myNumberData.map(v => v.id));

const myStringData: IDataString[] = getIds().map(id => ({
  id: id as string,
  name: "123"
}));

const doSomething2 = (ids: string[]) => [];
doSomething2(myStringData.map(v => v.id));

console.log(myNumberData, myStringData);

[Demigodd]

Илья Герасимов, В итоге решил вопрос другими путями, но ответ тоже хорош.
Скиньте в общую. Спасибо.

Answer 1

[Robur]

вместо
(string | number)[]

используйте

string[] | number[]

Comments

[Demigodd]

Спасибо за идею, но в этом случае ругаеться при вызове map`a.

// return data.map((n) => n.id);

Type '(string | number)[]' is not assignable to type 'string[] | number[]'.
  Type '(string | number)[]' is not assignable to type 'string[]'.
    Type 'string | number' is not assignable to type 'string'.
      Type 'number' is not assignable to type 'string'

Так как по идее я указал что id, может быть string | number...

[Robur]

чтобы doSomething() не ругалась пишите doSomething1(this.ids as string[]) но вам нужно понимать что вы делаете, и гарантировать что там реально только строки

[Robur]

DEATH2298, ну если у вас id может быть string | number, то правильно ругается. если у вас в массиве только строки или только числа, то как вы туда сохраните значение которое может быть хоть числом хоть строкой?

Вообще, выглядит так как будто вам нужны дженерики, но хз -вы же только кусками код показываете.