2017-08-07 6 views

答えて

1

タイプ推論を機能させるには、1つ以上のジェネリック型パラメータを使用する関数にパラメータを渡す必要があることに注意してください。

{}またはanyと推測されます。

function getTest<T, K extends keyof T>(): T[K] {} 
+0

ファンタスティック、感謝:第二ケースについては

function getTest<T, U extends {test: T}>(): T {} 

:最初のケースでは


!しかし、「keyof Tを拡張する」ことはどういう意味ですか?私が理解しているように、 "keyof T"は文字列のリストに過ぎないのですが、どのように "拡張"できるのでしょうか? – kraftwer1

+0

「extend」は、「keyof T」と共変関係を持つ型を意味します。実際には、Tの鍵の1つである任意の文字列を意味します。 –

関連する問題