keyof を介して TypeScript の交差を理解する方法

Question

インターフェイス パーソン {
   名前: 文字列;
}

インターフェースの寿命 {
   生年月日;
   死亡日: 日付。
}

type PersonSpan = 人および寿命;

type K = keyof PersonSpan; // type K = "名前" | "誕生" | "死亡";

let prop: K = "名前"; // OK

let obj: PersonSpan = { // コンパイル エラー、出生と死亡のプロパティが欠落しています
   名前：「ジョン・スミス」
}

keyof による型の交差を理解したい場合:

このオブジェクト インスタンスのキー{ name: "John Smith" } は name であり、PersonSpan の key と一致します。つまり、 "name" | "birth" | "death" の場合、let prop: "name" | を実行するのは有効です。 "誕生" | "死亡" = "名前";

では、オブジェクトがこれら 3 つのプロパティのいずれかを持っている限り、オブジェクトは有効であるはずですが、なぜ依然としてすべてのプロパティを PersonSpan に割り当てる必要があるのでしょうか?

Answer 1

TypeScript では、2 つ以上の型の交差 & を使用して型を定義すると、結果の型には各交差型のすべてのプロパティが含まれます。この場合、PersonSpan は Person と Lifespan の共通部分として定義されるため、タイプ PersonSpan のオブジェクトは Person と Lifespan のすべてのプロパティを持たなければなりません。 keyof PersonSpan の結果が "name" | "birth" | "death" となったとしても、これらのプロパティの 1 つだけを持つオブジェクトが PersonSpan に対して有効であることを意味するわけではなく、初期化した型 K が PersonSpan の和集合であることを意味します。プロパティ名を設定すると、タイプ PersonSpan、「誕生」または「死」のオブジェクトでキー「名前」を使用してこれらのプロパティにアクセスできます。これは、探している部分タイプである可能性もあり、すべてのプロパティがオプションになります

リーリー