Typescript: Создание типов из значений в массиве

keyof работает только потому, что использует информацию, известную статически во время компиляции. Типы в TS полностью стираются и не существуют в транслируемом коде, поэтому просто невозможно создать тип, основанный на содержимом массива во время выполнения.

Это возможно:

function stringLiterals<T extends string>(...args: T[]): T[] { return args; }
type ElementType<T extends ReadonlyArray<unknown>> = T extends ReadonlyArray<infer ElementType> ? ElementType : never;

const values = stringLiterals('A', 'B');
type Foo = ElementType<typeof values>;

const v1: Foo = 'A' // This should work
const v2: Foo = 'D' // This should give me an error since 'D' doesn't exist in values

Хотя точно не понятно, как это сделать. # 27179 имеет отношение.

Тем не менее, он по-прежнему использует информацию, статически известную компилятору; в этот момент я не понимаю, в чем преимущество простого слова ”A” | “B” .

@fatcerberus Полезно избегать повторения информации - если вы просто напишете const values = ["A", "B"]; type Foo = "A" | "B"; , кто-то может легко изменить одну из них, забыв изменить другую. Вы можете написать const values: Foo[] =["A", "B"]; , но это все равно может добавить дополнительную запись к Foo и забыть поместить ее в values .

Где мы сейчас находимся?

Как сказал @andy-ms, было бы действительно полезно избегать повторения информации вручную.
И, как сказал @fatcerberus , типы полностью стираются. Иногда нам нужно проверять данные во время выполнения, которые мы получаем, например, из не чистой части приложения (например, веб-службы или от пользователя).

Основываясь на ответе @andy-ms и используя утверждения const, представленные в typescript 3.4, теперь можно сделать что-то вроде этого

const values = ['A', 'B'] as const
type ElementType < T extends ReadonlyArray < unknown > > = T extends ReadonlyArray<
  infer ElementType
>
  ? ElementType
  : never

type Foo = ElementType<typeof values> // this is correctly inferred as literal "A" | "B"

Эта проблема была помечена как "Вопрос" и в последнее время не наблюдалась. Он был автоматически закрыт на хозяйственные нужды. Если вы все еще ждете ответа, вопросы обычно лучше подходят для stackoverflow .

в [email protected] и выше. реши это так

export const type = <const>[
  'room',
  'room_with_gifter',
  'user_send'
];

export interface Activity {
  id?: string;
  type: typeof type[number];
}

Вместо этого:

export const items = <const>[
  'room',
  'room_with_gifter',
  'user_send'
];

export interface Activity {
  id?: string;
  type: typeof items[number];
}

Ты можешь это сделать:

export const items = [
  'room',
  'room_with_gifter',
  'user_send'
] as const;

export type Item = typeof items;

export interface Activity {
  id?: string;
  type: Item;
}

_ Очень не нравится использовать type в качестве имени переменной. _

@ 7 км

в [email protected] и выше. реши это так

export const type = <const>[
  'room',
  'room_with_gifter',
  'user_send'
];

export interface Activity {
  id?: string;
  type: typeof type[number];
}

Что, если это будет у меня в классе?

class Class {
  const list = <const>[
   'room',
   'room_with_gifter',
   'user_send'
 ];

 const withType: typeof list[number];
}

Не работает. Я тоже не умею делать this.list[number] . Кроме того, для моей конкретной
usecase, я не могу установить list равным static

@ 7 км

в [email protected] и выше. реши это так

export const type = <const>[
  'room',
  'room_with_gifter',
  'user_send'
];

export interface Activity {
  id?: string;
  type: typeof type[number];
}

Что, если это будет у меня в классе?

class Class {
  const list = <const>[
   'room',
   'room_with_gifter',
   'user_send'
 ];

 const withType: typeof list[number];
}

Не работает. Я тоже не умею делать this.list[number] . Кроме того, для моей конкретной
usecase, я не могу установить list равным static

@vegerot Вы не можете использовать const непосредственно в области действия class , поэтому синтаксис неверен.

@ 7 км

в [email protected] и выше. реши это так

export const type = <const>[
  'room',
  'room_with_gifter',
  'user_send'
];

export interface Activity {
  id?: string;
  type: typeof type[number];
}

Что, если это будет у меня в классе?

class Class {
  const list = <const>[
   'room',
   'room_with_gifter',
   'user_send'
 ];

 const withType: typeof list[number];
}

Не работает. Я тоже не умею делать this.list[number] . Кроме того, для моей конкретной
usecase, я не могу установить list равным static

@vegerot Вы не можете использовать const непосредственно в области действия class , поэтому синтаксис неверен.

@ 7kms Моя плохая. Я слишком много копировал и вставлял. Я хотел сказать

class Class {
  private list = <const>[
   'room',
   'room_with_gifter',
   'user_send'
 ];

 private withType: typeof list[number];

// OR
  private withType2: typeof this.list[number];

}

и т.д. все не работает.
Кроме того, для моего конкретного случая использования я не могу сделать список статическим

@ 7 км

в [email protected] и выше. реши это так

export const type = <const>[
  'room',
  'room_with_gifter',
  'user_send'
];

export interface Activity {
  id?: string;
  type: typeof type[number];
}

Что, если это будет у меня в классе?

class Class {
  const list = <const>[
   'room',
   'room_with_gifter',
   'user_send'
 ];

 const withType: typeof list[number];
}

Не работает. Я тоже не умею делать this.list[number] . Кроме того, для моей конкретной
usecase, я не могу установить list равным static

@vegerot Вы не можете использовать const непосредственно в области действия class , поэтому синтаксис неверен.

@ 7kms Моя плохая. Я слишком много копировал и вставлял. Я хотел сказать

class Class {
  private list = <const>[
   'room',
   'room_with_gifter',
   'user_send'
 ];

 private withType: typeof list[number];

// OR
  private withType2: typeof this.list[number];

}

и т.д. все не работает.
Кроме того, для моего конкретного случая использования я не могу сделать список статическим

class Class {
  private list = [
    "room",
    "room_with_gifter",
    "user_send"
  ] as const

  private withType: Class["list"][number]
}

@vegerot Как насчет этого?

@eyalch это typeof или что-то в этом роде. Не могли бы вы быстро объяснить, как это работает, или свяжите меня с руководством, где это обсуждается?

@eyalch это typeof или что-то в этом роде. Не могли бы вы быстро объяснить, как это работает, или свяжите меня с руководством, где это обсуждается?

@vegerot Конечно, я считаю, что это "индексный тип". Вот он в Руководстве: https://www.typescriptlang.org/docs/handbook/advanced-types.html#index -types

Рад, что смог помочь!

Привет,% username%, если решение ElementType не работает и для вас,
обратите внимание на as const после массива . Это важно