フロー：別のタイプに

Question

type someType = { 
    keyOne: string, 
    keyTwo: string, 
}; 

type someOtherType = { 
    keyOne: string, 
    keyTwo: string, 
    keyThree: string, 
}; 

を拡張することによって、フロータイプを作成keyOneとkeyTwoを含むオブジェクトであり、これらのタイプの両方とも、唯一の違いは、後者が延びるkeyThreeの追加のキーの元です。

重複したコードを記述するのではなく、someTypeを拡張してsomeOtherTypeフロータイプを構築できますか？私の考えでは、ES6のオブジェクトの休息/スプレッドが気になりますが、フローでこれを達成する方法はわかりません。

ありがとうございます！

Answer 1

あなたが探しているのはintersection typeです。ドキュメントによると、

入力タイプのすべてを入力する必要があります。

構文：交差点：<タイプ1> & <タイプ2> ... & <タイプN>

交差点タイプは、既存のタイプを拡張し、それに追加のタイプの要件を追加することを意図しています。

type someType = { 
    keyOne: string, 
    keyTwo: string 
} 

type someOtherType = someType & { 
    keyThree: string 
} 

const shouldBeOk: someOtherType = { 
    keyOne: 'biz', 
    keyTwo: 'buzz', 
    keyThree: 'baz', 
} 

const shouldError: someOtherType = { 
    keyOne: 123, 
    keyTwo: 'hello', 
    keyThree: 'world', 
} 

// flow error: 
16: const shouldError: someOtherType = { 
          ^object literal. This type is incompatible with 
8: type someOtherType = someType & { 
         ^object type 

論理交差のタイプはunion typeです。ドキュメントによると、

入力タイプの1つに値が必要です。

構文：Union：<タイプ1 | <タイプ2> ... | <タイプn>

例として、共用体型を使用して列挙型を作成できます。

type fooBarBazType = 'foo' | 'bar' | 'baz'; 
const shouldBeOk: fooBarBazType = 'bar'; 

const shouldError: fooBarBazType = 'buzz'; 

4: const shouldError: fooBarBazType = 'buzz'; 
            ^string. This type is incompatible with 
4: const shouldError: fooBarBazType = 'buzz'; 
        ^string enum