Typescript：オブジェクトの配列から共用体型を派生させる

型強制された項目の配列を宣言し、それから共用体型を導出できるようにしたいと思います。このパターンは、配列の項目にタイプを明示的に指定しない場合に機能します。私はそれを最もよく説明する方法がわからないので、ここに例があります：

例1

type Pair = {
  key: string;
  value: number;
};

const pairs: ReadonlyArray<Pair> = [
  { key: 'foo', value: 1 },
  { key: 'bar', value: 2 },
] as const;

type Keys = typeof pairs[number]['key']

例2

type Data = {
  name: string;
  age: number;
};

const DataRecord: Record<string, Data> = {
  foo: { name: 'Mark', age: 35 },
  bar: { name: 'Jeff', age: 56 },
} as const;

type Keys = keyof typeof DataRecord;

を使用する場合のキーの導出例を以下に示しますas const。これと同じ動作が必要ですが、配列が明示的に型指定されています。

const pairs = [
  { key: 'foo', value: 1 },
  { key: 'bar', value: 2 },
] as const;

type Keys = typeof pairs[number]['key']; // "foo" | "bar"

キーの望ましい値： "foo"|"bar"

キーの実際の値： string

変数の場合、コンパイラーに初期化から型を推測させるか、明示的に書き込むことができます。ご存じのように明示的に書き込む場合、初期化値は注釈と照合されますが、初期化子の実際のタイプは変数のタイプに影響しません（したがって、必要なタイプ情報が失われます）。コンパイラにそれを推測させると、タイプを特定のインターフェースに準拠するように制約することはできなくなります（望んでいるように）

このための解決策は、ジェネリック関数を使用して、値を制約し、その実際のタイプを推測することです。

type Pair = {
  key: string;
  value: number;
};
function craetePairsArray<T extends readonly Pair[] & Array<{key: V}>, V extends string>(...args: T) {
    return args
}

const pairs = craetePairsArray(
  { key: 'foo', value: 1 },
  { key: 'bar', value: 2 },
)

type Keys1 = typeof pairs[number]['key']

type Data = {
  name: string;
  age: number;
};

function craeteDataObject<T extends Record<string, Data>>(arg: T) {
    return arg;
}
const DataRecord = craeteDataObject({
  foo: { name: 'Mark', age: 35 },
  bar: { name: 'Jeff', age: 56 },
})

type Keys2 = keyof typeof DataRecord;

遊び場リンク

注：配列の場合は、コンパイラーを少し強化して、の文字列リテラル型を推測する必要がありますkey。したがって、全体& Array<{key: V}>がVです。string

通常のアプローチは次のとおりです。

• pairs明示的なタイプを省略してTSにのタイプを推測させますReadonlyArray<Pair>（回答を参照）
• 与えるkeyにPairタイプ"foo"|"bar"

あなたがいる場合はありませんこれを行うにしたい、そして、あなたの鍵を推測するための唯一の方法との種類を制限するには、pairsヘルパー関数を使用することです。Pairタイプは、与えられた保存することが一般的な作られるkey文字列リテラルの型を。IIFEを使用して、割り当てをコンパクトにすることができます。

type Pair<K = string> = {
    key: K;
    value: number;
};

const pairs = (<T>(p: readonly Pair<T>[]) => p)([
    { key: 'foo', value: 1 },
    { key: 'bar', value: 2 },
] as const) // readonly Pair<"foo" | "bar">[]

type Keys = typeof pairs[number]['key'] // "foo" | "bar"

遊び場