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等）和返回值類型（可聲明類型同參數）聲明。從這個版本開始，寫PHP有像寫java的感覺。

遺憾是如果函數返回值有可能是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語句。

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

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

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

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

注意列表中并沒有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等函數，如非必要，盡量不使用。