ひとつの配列の中に複数のジェネリクスを持つ配列型を定義したいです。
達成したいことは下記コードのようなケースです。
type BlockType = "hasNumber" | "hasBoolean";
type NumberAttribute = {
numberProp: number;
}
type BooleanAttribute = {
booleanProp: boolean;
}
type Attribute<T extends BlockType> =
T extends "hasNumber" ? NumberAttribute :
T extends "hasBoolean" ? BooleanAttribute :
never;
type Block<T extends BlockType> = {
id: string;
type: T;
attribute: Attribute<T>;
}
type BlockList = Block<"hasNumber" | "hasBoolean">[];
const list: BlockList = [
{
id: "id001",
type: "hasNumber", // type が決まれば
attribute: { numberProp: 0 }, // attribute も決まる
},
{
id: "id002",
type: "hasBoolean", // 同一配列内に異なる type を含むことができる
attribute: { booleanProp: false },
},
{
id: "id003",
type: "hasNumber", // type === "hasNumber" のときは
attribute: { booleanProp: false }, // attibute.booleanProp をコンパイルエラーにしたい(現状はエラーにならない)
},
]
BlockType
はあとから増える可能性があり、その BlockType
によって Attribute
の型が変わります。
Block
は id
, type
, attribute
を持つことは変わりません。
ソースコード上のコメントにもある通り、 type
の値によって attribute
の型が確定できるようにしたいです。
type BlockList = Block<"hasNumber" | "hasBoolean">[];
のような指定では目的の仕様は達成できませんでした。
よろしくお願いします。