FlowJS: Typen Vererbung

Question

Ich teste FlowJS für mein Projekt, und ich habe ein Problem mit Type Aliases.

Ich baue einen Web-SDK für eine API: Ich habe eine Helper Klasse mit dieser Methode:

class Helper { 
    find(filters:PaginationOptions = {}) { 
     // ... 
    } 
} 

PaginationOptions ist ein grundlegender FlowJS Typ:

type PaginationOptions = { 
    start?:string, 
    end?:number, 
}; 

ich auch einen Helfer für Benutzer habe , abgeleitet von Helper:

class UsersHelper extends Helper { 
    find(filters:UsersFilterOptions = {}) { 
     // ... 
    } 
} 

UsersFilterOptions ist ein FlowJS Typ "extending" PaginationOptions:

type UsersFilterOptions = { 
    username?:string, 
    city?:string, 
} & PaginationOptions; 

ich hier verwenden, um eine Intersection so dass meine Benutzer Filter auch start und end Eigenschaften annehmen sollte.

Es scheint, dass meine IDE (PhpStorm) nicht wie meine find() Methode aus meiner Klasse UsersHelper, es sagt mir, dass:

Inkompatible Überschreibung sollte

Typ 'PaginationOptions' haben Nun ... ich weiß, deshalb hat UsersFilterOptions eine Kreuzung mit PaginationOptions.

Aber FlowJS zeigt mir auch zwei andere Warnungen:

Fluss: Eigenschaft username. Eigenschaft nicht im Objektliteral gefunden
Flow: Eigenschaft city. Eigenschaft nicht gefunden in Objektliteral

Ich verstehe nicht, warum ich diese Fehler haben: diese Eigenschaften werden als optional definiert ...

Haben Sie Vorschläge für die Festsetzung dieser drei Fehler?

Vielen Dank im Voraus!

Answer 1

Wenn Sie eine Methode außer Kraft setzen, dann ist es Argumente übergeordneten Typen von entsprechenden Argumente in der Basisklasse sein sollte, so können Sie dies tun:

class A { 
    test(x: number) { 
    } 
} 

class B extends A { 
    test(x: number | string) { 
    } 
} 

Aber man kann dies nicht tun:

class A { 
    test(x: number | string) { 
    } 
} 

class B extends A { 
    test(x: number) { 
    } 
}