PHP函數型別宣告總結

PHP7開始支援標量型別宣告，強型別語言的味道比較濃。使用這個特性的過程中踩過兩次坑：一次是宣告boolean型別引數，最近一次是宣告double型別引數，都導致執行時出錯。為避免以後繼續犯類似錯誤，這幾天翻閱了官方文件。本文是看完後對PHP函數的型別宣告使用做的總結。

從語法上，PHP的函數定義經過了幾個時期：

遠古時代（PHP 4）

定義一個函數非常的簡單，使用 function name(args) {body}的語法宣告。不能指定引數和返回值型別，引數和返回值型別有無限種可能。這是到目前為止最常見的函數宣告方式。

陣列和參照型別引數值宣告（PHP 5）

陣列（array）、類（class）、介面（interface）、函數（callable）可以用在函數宣告中。從5.6開始，支援常數（包括類常數）為預設引數，以及引數陣列（以省略號...為字首）。例如：

function sum(...$numbers) {
    $sum = 0;
    foreach ($numbers as $number) {
        $sum += $number;
    }
    return $sum;
}

注意：如果引數的值可能為null，null必須為引數的預設值，否則呼叫時會出錯。例如：

function foo(array $arr = null) {
    ...
}

標量型別和返回值宣告（PHP 7）

函數正式支援標量型別（int, bool, float，string）和返回值型別（可宣告型別同引數）宣告。從這個版本開始，除了語法差異，函數宣告形式上可以做到像強型別語言。

遺憾是如果函數返回值有可能是null，就不能指定返回值型別。例如：

function getModel() : Foo {
    if ($this->_model === null) {
         $this->_model = xxxx;  // get from db or otherelse
    }
    return $this->_model;     // 如果$this->_model仍是null，執行出錯
}

引數和返回值可為null以及void返回型別宣告（PHP 7.1）

當引數和返回值型別有可能是null時，型別前以問號（?）修飾，可以解決null值問題（與預設引數不衝突）；型別宣告新增iterable，同時還支援void型別返回值。例如：

function getModel(?int $id) : ?Foo {
    if ($id !== null) {
        $this->_model = xxxx;
    } else {
        $this->_model = yyyy;
    }
    return $this->_model;
}
// 呼叫
$foo->getModel(null);
$foo->getModel(100);
// 函數宣告了引數並且沒有提供預設引數，呼叫時不傳入引數會引發錯誤
// 將函數宣告改成 getModel(?int $id = 100) {}，可以不傳引數
$foo->getModel();

當函數返回值為void時，函數體的不能return任何東西（return void;的寫法也是錯誤的！），或者可以省略return語句。

function test(array $arr) : void {
    if (!count($arr) {
        return;
    }
    // 不要return;
    array_walk($arr, function ($elem) {xxxx});
}

回顧以上歷史變更，可以看到在PHP 7.1中函數型別宣告已經十分完善（雖然實踐中用的不多）。注意，文章說的是引數和返回值型別宣告，PHP不保證執行過程中引數型別不變，即下面的程式碼是合法的：

function foo(array $arr) : array {
    // change $arr from array to int
    $arr = 3;
    return [];
}

從這點上看，PHP還是弱型別語言，不能做靜態編譯。

再說說實踐中踩到的坑。根據官方文件，函數引數和返回值型別宣告可用的型別有：

● 類/介面

● self，只能用在自身的方法上

● array

● bool

● callable

● int

● float

● string

● iterable

● void(僅用在返回值)

注意列表中並沒有boolean和double型別！除非你定義了這兩個型別，否則用在引數和返回值中是錯誤的！

這也是PHP有點蛋疼的地方。平常使用時的double和float兩個關鍵字幾乎等同，例如doubleval是floatval的別名，is_double是is_float的別名，轉換時用(double)和(float)效果相同。但在用在型別宣告就不一樣，同樣的情況出現在bool和boolean身上。

總結

目前PHP 7.2穩定版已經發布，建議在新專案中盡量使用PHP 7.1及後續版本。為了寫出清晰和可維護的程式碼，推薦宣告型別。建議參照型別或者string才使用null值，int/float等標量型別的引數儘量不要用null。func_get_argc等函數，如非必要，盡量不使用。

以上就是PHP函數型別宣告總結的詳細內容，更多請關注TW511.COM其它相關文章！