FlowJS：類型繼承

Question

我正在爲我的項目測試FlowJS，並且我遇到了與Type Aliases有關的問題。

我建一個網站的SDK的API：我有一個Helper類用這種方法：

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

PaginationOptions是一個基本FlowJS類型：

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

我也有用戶的幫手從Helper繼承：

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

UsersFilterOptions是FlowJS型「推」 PaginationOptions：

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

我在這裏使用一個Intersection讓我的用戶過濾器也應該接受start和end性能。

看來，我的IDE（PHPStorm）不從我UsersHelper類喜歡我find()方法，它總是告訴我說：

不兼容的覆蓋，應該有型 'PaginationOptions'

那麼......我知道，這就是爲什麼UsersFilterOptions與PaginationOptions有交集。

但FlowJS也表明了我兩個人警告：

流量：物業username。在對象字面上找不到屬性
流程：屬性city。物業在對象字面沒有發現

我不明白爲什麼我有這些錯誤：這些屬性被定義爲可選...

你有修復這些三個錯誤有什麼建議？

在此先感謝！

Answer 1

當你重寫一個方法，它的參數應該是在基類中相應的參數超類型，所以你可以這樣做：

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

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

但你不能做到這一點：

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

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