Fluss: Erstellen eines Strömungstyp durch einen anderen Typ verlauf

Question

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

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

Beide Arten sind Objekte, die keyOne und keyTwo, der einzige Unterschied ist, enthalten letztere erstreckt erstere mit einem zusätzlichen Schlüssel keyThree.

Anstatt duplizierten Code zu schreiben, ist es möglich, den Fließtyp durch Erweitern von someType zu erstellen? In meinem Kopf ES6 Objekt Ruhe/Verbreitung in den Sinn kommt, aber ich bin mir nicht sicher, wie so etwas in Fluss zu erreichen.

Danke!

Answer 1

Was Sie suchen ist die intersection type. Entsprechend der Dokumentation:

Ein Kreuzungstyp erfordert einen Wert für alle Eingabetypen.

Syntax: Überschneidung: < Typ 1> & < Typ 2> ... & < Typ n>

Der Kreuzungstyp soll eine bestehende Art erweitern und um sie zusätzliche Anforderungen Typ hinzuzufügen.

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 

Das logische Gegenteil des Kreuzungstypen ist die union type. Entsprechend der Dokumentation:

Ein Union-Typ erfordert, dass ein Wert einer der Eingabetypen ist.

Syntax: Union: < Typ 1> | < Typ 2> ... | < Typ n>

Als ein Beispiel. Sie können den Union-Typ verwenden, um einen Enumerable zu erstellen.

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