由于編譯器提升抽象成員函數為靜態函數，可以手動定義靜態函數并使用它們到一個抽象類的實例。這里的語法和那些第一個函數參數類型決定函數被定義為什么類型的 [靜態擴展（第6.3節）](http://#) 類似，： ~~~ abstract MyAbstract<T>(T) from T { public function new(t:T) this = t; function get() return this; @:impl static public function getString(v:MyAbstract<String>):String { return v.get(); } } class Main { static public function main() { var a = new MyAbstract("foo"); a.getString(); var b = new MyAbstract(1); // Int should be MyAbstract<String> b.getString(); } } ~~~ 抽象類型 `MyAbstract` 的方法 `getString` 被定義為接受一個 `MyAbstract<String>` 類型首參數。這使它在第14行可以用在變量 `a` 上（因為 `a` 的類型為 `MyAbstract<String>`），但是不能用在變量 `b` 上，`b` 的類型是 `MyAbstract<Int>` 。 >[warning] **花絮**：意外的功能 選擇函數是被發現的，而不是真的設計了它的用法。在第一次提到這個想法后，只需要編譯器中的一點調整就可以使它們工作。它們的這些發現還引入了多類型抽象類型，比如 Map 。