なぜ新しい `Pick <T、K extends keyof T>型はReactの` setState（） `の` K`の部分集合を許可しますか？

Question

私は新しいTS 2.1 Pick typeの目的を理解すると思ったが、その後、私はhow it was being used in the React type definitionsを見て、私は理解していない：

interface PersonProps { 
    name: string; 
    age: number; 
} 

class Person extends Component<{}, PersonProps> { 
    test() { 
    this.setState({ age: 123 }); 
    } 
} 

ここでの私の混乱がある：あなたがこれを行うことができます

declare class Component<S> { 
    setState<K extends keyof S>(state: Pick<S, K>, callback?:() => any): void; 
    state: Readonly<S>; 
} 

そのkeyof Sは{ name, age }ですが、私はsetState()とageとしか電話しません - なぜそれが不足していると文句を言っていませんか？name？

私の最初の考えは、Pickがインデックスタイプであるため、すべてのキーが存在する必要はありません。意味をなさないしかし、私は直接のタイプを割り当てようとします

const ageState: Pick<PersonProps, keyof PersonProps> = { age: 123 }; 

それはが見つからないnameキー文句を言うん：

Type '{ age: number; }' is not assignable to type 'Pick<PersonProps, "name" | "age">'. 
    Property 'name' is missing in type '{ age: number; }'. 

私はこれを理解していません。それは私がやったすべてがSが既にに割り当てられていることをタイプしてSに記入し、それがキーのをサブ設定可能からすべてキーを必要に行ってきましたようです。これは大きな違いです。 Here it is in the Playground。誰もこの行動を説明できますか？

Answer 1

短い回答：明示的なタイプが本当に必要な場合は、Pick<PersonProps, "age">を使用できますが、代わりに暗黙のタイプを使用する方が簡単です。

長い答え：

キーポイントはKががkeyof Tを拡張し、汎用型変数であるということです。

タイプkeyof PersonPropsは、文字列ユニオン"name" | "age"と同じです。タイプ"age"はタイプ"name" | "age"を拡張すると言える。

リコールPickの定義がある：すべてのK手段

type Pick<T, K extends keyof T> = { 
    [P in K]: T[P]; 
} 

は、このタイプで記述されたオブジェクトは、TでプロパティKと同じタイプのプロパティPを有していなければなりません。あなたの例の遊び場コードは：ジェネリック型の変数をアンラップ

は

const person: Pick<PersonProps, keyof PersonProps> = { age: 123 }; 

、我々が得る：

• Pick<T, K extends keyof T>、
• Pick<PersonProps, "name" | "age">
、
• [P in "name" | "age"]: PersonProps[P]、そして最終的に
• {name: string, age: number}。

これはもちろん、{ age: 123 }と互換性がありません。あなたの代わりに言うなら：

const person: Pick<PersonProps, "age"> = { age: 123 }; 

、その後、同じロジック以下、personのタイプが適切に{age: number}と同等になります。

もちろん、TypeScriptはこれらすべてのタイプを計算していますが、これはエラーの原因となります。活字体はすでにタイプを知っているので{age: number}とPick<PersonProps, "age">互換性があり、あなたにも型impicitを保つことがあります

const person = { age: 123 };