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

#● 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函數類型聲明總結的詳細內容。更多資訊請關注PHP中文網其他相關文章！