PHP7開始支持標(biāo)量類型聲明，強類型語言的味道比較濃。使用這個特性的過程中踩過兩次坑：一次是聲明boolean，最近是聲明double。為避免以后繼續(xù)犯類似錯誤，就把官方文檔翻了一次。本文是看完后對PHP函數(shù)的類型聲明使用做的一次總結(jié)。

從語法上，PHP的函數(shù)定義經(jīng)過了幾個時期：

遠古時代（PHP 4）

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

數(shù)組和引用類型參數(shù)值聲明（PHP 5）

數(shù)組（array）、類（class）、接口（interface）、函數(shù)（callable）可以用在函數(shù)聲明中。從5.6開始，支持常量（包括類常量）為默認(rèn)參數(shù)，以及參數(shù)數(shù)組（以省略號…為前綴）。例如：

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

注意：如果參數(shù)的值可能為null，null必須為參數(shù)的默認(rèn)值，否則調(diào)用時會出錯。例如：

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

標(biāo)量類型和返回值聲明（PHP 7）

函數(shù)正式支持標(biāo)量類型（int, bool, float等）和返回值類型（可聲明類型同參數(shù)）聲明。從這個版本開始，寫PHP有像寫java的感覺。

遺憾是如果函數(shù)返回值有可能是null，就不能指定返回值類型。例如：

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

參數(shù)和返回值可為null以及void返回類型聲明（PHP 7.1）

當(dāng)參數(shù)和返回值類型有可能是null時，類型前以問號（?）修飾，可以解決null值問題（與默認(rèn)參數(shù)不沖突）；類型聲明新增iterable，同時還支持void類型返回值。例如：

function getModel(?int $id) : ?Foo {
  if ($id !== null) {
    $this->_model = xxxx;
  } else {
    $this->_model = yyyy;
  }
  return $this->_model;
}
 
// 調(diào)用
$foo->getModel(null);
$foo->getModel(100);
 
// 函數(shù)聲明了參數(shù)并且沒有提供默認(rèn)參數(shù)，調(diào)用時不傳入?yún)?shù)會引發(fā)錯誤
// 將函數(shù)聲明改成 getModel(?int $id = 100) {}，可以不傳參數(shù)
$foo->getModel();

當(dāng)函數(shù)返回值為void時，函數(shù)體的return后不能接任何類型，或者不出現(xiàn)return語句。

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

回顧完以上歷史，可以看出到PHP 7.1，函數(shù)類型聲明已經(jīng)十分完善（雖然實踐中用的不多）。

再說說實踐中踩到的坑。參數(shù)和返回值類型聲明可用的類型有：

1. 類/接口
2. self，只能用在自身的方法上
3. array
4. bool
5. callable
6. int
7. float
8. string
9. iterable
   

注意列表中并沒有boolean和double類型！除非你定義了這兩個類型，否則用在參數(shù)和返回值中就是錯誤的！

這也是PHP有點蛋疼的地方。平常使用時的double和float兩個關(guān)鍵字幾乎等同，例如doubleval是floatval的別名，is_double是is_float的別名，轉(zhuǎn)換時用(double)和(float)效果相同。但是到了類型聲明這里就不行，同樣的情況出現(xiàn)在bool和boolean身上。

總結(jié)

目前PHP 7.2穩(wěn)定版已經(jīng)發(fā)布，建議在新項目中盡量使用PHP 7.1及后續(xù)版本。為了寫出清晰和可維護的代碼，推薦聲明類型。建議引用類型或者string才使用null值，int/float等標(biāo)量類型的參數(shù)盡量不要用null。func_get_argc等函數(shù)，如非必要，盡量不使用。