den Typ einer Objekteigenschaft in einer Bewegungsart

Question

Lassen Sie uns sagen, dass wir eine sehr einfache Objekttyp definiert haben:

type A = { 
    foo: string, 
    bar: number, 
    // ... many other properties 
}; 

Nun möchten wir eine Variante dieser Art definieren, nur ersetzt die Art der foo von ?string:

type A2 = { 
    foo: ?string, 
    bar: number, 
    // ... many other properties, with the same types as in A 
}; 

Wie das getan werden kann, ohne wieder die ganze Art definieren zu müssen?

Es wäre genug, wenn die Antwort nur in dem speziellen Fall der Ersetzung des Eigenschaftstyps T durch ?T funktionierte, da das mein häufigstes Problem ist.

Answer 1

kann ich denke an zwei Lösungen:

1) ein parametrischer Typ alias

type Parametric<T> = { 
    foo: T, 
    bar: number, 
    // ... many other properties 
}; 

type A = Parametric<string>; 
type B = Parametric<?string>; 

2) Kreuzungen

type Base = { 
    bar: number, 
    // ... many other properties 
}; 

type A = Base & { foo: string }; 
type B = Base & { foo: ?string }; 

Answer 2

ich die Ausbreitung Operator mit genauen Typen verwenden würden (eingeführt in Fluss v0.42.0).

type A = {| 
    foo: string, 
    bar: number, 
    // ... many other properties 
|} 

type A2 = { 
    ...A, 
    foo: ?string 
} 

Hinweis: You need to use an exact type for A (die {| ... |} Syntax). Dies ist darauf zurückzuführen, wie der Flow bei der Verteilung nicht versiegelte (nicht exakte) Typen handhabt.