TypeScript：一般的な制約でタイプパラメータを使用する

Question

TypeScriptサイトの "Using Type Parameters in Generic Constraints"に、以下のサンプルコードが示されています。しかし、次のエラーが発生しました：

'タイプU [keyof U]'は 'T [keyof U]'に割り当てられません。タイプ 'U' はタイプ 'T'に割り当てられません。 '

function copyFields<T extends U, U>(target: T, source: U): T { 
    for (let id in source) { 
     target[id] = source[id]; 
    } 
    return target; 
} 
let x = { a: 1, b: 2, c: 3, d: 4 }; 
copyFields(x, { b: 10, d: 20 }); 

実際には、これはプレイグラウンドで実行されません。コードの何が間違っていますか？

Answer 1

Uを満たすオブジェクトがTが持っていない追加のフィールドかもしれないので、それはUがTに割り当て可能ではないことを意味します：だから

interface Foo { foo: number; } 
interface Bar extends Foo { bar: number; } 
interface Bar2 extends Foo { bar: string; } 

function assign<T extends U, U>(b: U): T { 
    const returnVal: T = b; // error: Type 'U' is not assignable to type 'T'. 
    return returnVal; 
} 

const bar2: Bar2 = { foo: 7, bar: "happy" }; 
assign<Bar, Foo>(bar2); 

をUがTに割り当て可能ではないので、ノーがあります、特定のU[keyof U]がT[keyof U]に割り当てられることを保証することができます。

（私はこの説明では100％の自信を持ってないんだけど、私には意味をなさないように思われる。）

---

しかし、あなたは物事を入力する方法を修正することにより、あなたはcopyFieldsことのバージョンを書くことができますlike this：

function copyFields<T, K extends keyof T>(target: T, source: Pick<T, K>) { 
    for (let id in source) { 
     target[id] = source[id]; 
    } 
    return target; 
}