可選參數通過在參數標識符前面前置一個問號 `?` 來聲明： ~~~ class Main { static public function main() { // ?i : Int -> ?s : String -> String $type(test); trace(test()); // i: null, s: null trace(test(1)); // i: 1, s: null trace(test(1, "foo")); // i: 1, s: foo trace(test("foo")); // i: null, s: foo } static function test(?i:Int, ?s:String) { return "i: " +i + ", s: " +s; } } ~~~ 函數 `test` 有兩個可選參數：Int 類型的 `i` 和 String 類型的 `s` 。這在第3行的函數類型輸出直接反映出來。這個例子程序調用了4次 `test` ，并打印出它的返回值： * 第一次調用不帶任何參數 * 第二次調用帶有一個單獨的參數 `1` * 第三次調用帶了兩個參數 `1` 和 "`foo`" * 第四次調用只有單獨的參數 “`foo`” 輸出內容顯示，函數調用中被省略的可選參數的值為 `null` 。這意味著這些參數的類型必須認可 `null` 作為值，這是在 [為空性（第2.2節）](http://#) 中討論的問題。 當編譯到一個 [靜態語言目標（第2.2節）](http://#) 時，Haxe 編譯器通過推斷它們的類型為 `Null<T>` 確保可選的基本類型的參數是可空的。前三個調用非常直觀，第四個可能是一個驚喜：如果提供的值可以分配到一個之后的參數，確實允許跳過可選參數。