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が言ったように、タイプは完全に消去可能です。 たとえば、アプリケーションの純粋でない部分（Webサービスやユーザーなど）から取得したデータをランタイムチェックする必要がある場合があります。

@ andy-msの回答に基づいて構築し、typescript 3.4で導入されたconstアサーションを使用すると、次のようなことが可能になります。

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を使用するのは本当に好きではありません。_

@ 7kms

[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]もできません。 また、私の特定の
ユースケース、 listをstatic設定できません

@ 7kms

[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]もできません。 また、私の特定の
ユースケース、 listをstatic設定できません

@vegerot constをclassのスコープで直接使用することはできないため、構文が正しくありません。

@ 7kms

[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]もできません。 また、私の特定の
ユースケース、 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];

}

などすべてが動作しません。
また、私の特定のユースケースでは、リストを静的に設定できません

@ 7kms

[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]もできません。 また、私の特定の
ユースケース、 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

お役に立てて嬉しいです！

ElementTypeソリューションでも機能しない場合
配列の後のas constに注意してください。 それは重要です