關於PHP的方法參數類型約束

在之前的文章PHP方法參數的那點事兒中，我們講過關於PHP方法參數的一些小技巧。今天，我們帶來的是更加深入的研究一下PHP中方法的參數類型。

在PHP5之後，PHP正式引入了方法參數類型約束。也就是如果指定了方法參數的類型，那麼傳不同類型的參數將會導致錯誤。在PHP手冊中，方法的類型約束僅限於類、介面、數組或者callable回調函數。如果指定了默認值為NULL，那麼我們也可以傳遞NULL作為參數。

class A{}  function testA(A $a){      var_dump($a);  }    testA(new A());  // testA(1);  // Fatal error: Uncaught TypeError: Argument 1 passed to testA() must be an instance of A, int given,

在這個例子中，我們定義了參數類型為A類，所以當我們傳遞一個標量類型時，直接就會返回錯誤資訊。

function testB(int $a){      var_dump($a);  }  testB(1);  testB('52aadfdf'); // 字元串強轉為int了  // testB('a');  // Fatal error: Uncaught TypeError: Argument 1 passed to testB() must be of the type int, string given    function testC(string $a){      var_dump($a);  }  testC('測試');  testC(1);  // 數字會強轉為字元串  // testC(new A());  // Fatal error: Uncaught TypeError: Argument 1 passed to testC() must be of the type string

在手冊中明確說明了標量類型是不能使用類型約束的。但其實是可以使用的，不過如果都是標量類型則會進行相互的強制轉換，並不能起到很好的約束作用。比如上例中int和string類型進行了相互強制轉換。指定了非標量類型，則會報錯。此處是本文的重點，小夥伴們可要劃個線了哦。其實說白了，如果我們想指定參數的類型為固定的標量類型的話，在參數中指定並不是一個好的選擇，最好還是在方法中進行再次的類型判斷。而且如果參數中進行了強轉，也會導致方法內部的判斷產生偏差。

最後我們再看一看介面和匿名方法的類型約束。匿名參數類型在Laravel等框架中非常常見。

// 介面類型  interface D{}  class childD implements D{}  function testD(D $d){      var_dump($d);  }  testD(new childD());    // 回調匿名函數類型  function testE(Callable $e, string $data){      $e($data);  }  testE(function($data){      var_dump($data);  }, '回調函數');

測試程式碼：https://github.com/zhangyue0503/dev-blog/blob/master/php/202001/%E5%85%B3%E4%BA%8EPHP%E7%9A%84%E6%96%B9%E6%B3%95%E5%8F%82%E6%95%B0%E7%B1%BB%E5%9E%8B%E7%BA%A6%E6%9D%9F.md

參考文檔：https://www.php.net/manual/zh/language.oop5.typehinting.php