關于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);
}, '回調函數');