2.4

Question

私は私のPersonインターフェースに準拠している必要がありフィクスチャ与える関数があります。

interface Person { 
    name: string 
    email: string 
    age?: number 
} 

function makePerson(override: Partial<Person> = {}): Person { 
    return { 
    name: 'Jim', 
    email: 'jim@example.com, 
    age: 24, 
    ...override, 
    } 
} 

は活字体2.3では、これは正常に動作しますが、私は、特定のキー無効にするために、このような機能のものを呼び出すことができます。

const myPerson = makePerson({name: 'Bob'}) 
// { 
// name: 'Bob', 
// email: 'jim@example.com, 
// age: 24, 
// } 

をしかし、2.4にアップデートした、コンパイラは、このようなエラーを与える：

Type '{ name: string | undefined; email: string | undefined; age: number | undefined; }' is not assignable to type 'Person'. 
    Types of property 'name' are incompatible. 
    Type 'string | undefined' is not assignable to type 'string'. 
     Type 'undefined' is not assignable to type 'string'. 

それはやっている理由は、私が見ることができますこの場合、JavaScriptでは、undefinedに設定された複数のキーのうちの1つを持つオブジェクトを渡すことで、オブジェクトのいずれかのキーをオーバーライドすることができます。これはデフォルトをオーバーライドし、Personに準拠しないオブジェクトを返します。これは、キーを省略すると、undefinedと異なるためです。

最大のタイプの安全性を維持しながら、以前は何を達成する方法がありますか？

Answer 1

おそらくこれは最善の答えではありませんが、オブジェクトの広がりを避け、それぞれのフィールドを設定することで回避できます。

function makePerson(override: Partial<Person> = {}): Person { 
    return { 
    name: override.name !== undefined ? override.name : 'Jim', 
    email: override.email !== undefined ? override.email : 'jim@example.com', 
    age: override.age !== undefined ? override.age : 24 
    } 
} 

Answer 2

この回答少なくとも理論だけのように見える - それは動作しますが。

タイプをプロパティのセットとして表示し、これらのプロパティのサブセットである（パワーセットすべてのプロパティ）を呼び出すことができます。タイプは表現することができます。

type Person_Powerset = 
    {} | 
    {email: string} | { name: string } | { age: number} | 
    {name: string, email: string} | {name: string, age: number} | {email: string, age: number} | 
    {name: string, email: string, age: number}; 

私は活字体は、例えば、このタイプを構築できるように、タイプレベルで十分に表現豊かであるかどうかわかりませんPowerset<Person>のように。