php類型約束

PHP 5 可以使用類型約束。函數的參數可以指定必須為對象（在函數原型裡面指定類的名字），介面，數組（PHP 5.1 起）或者 callable（PHP 5.4 起）。不過如果使用NULL 作為參數的預設值，那麼在調用函數的時候依然可以使用 NULL 作為實參。

如果一個類或介面指定了類型約束，則其所有的子類或實現也都如此。

類型約束不能用於標量類型如 int 或 string。Traits 也不允許。

Example #1 類型約束樣本

<?php    //如下面的類    class MyClass    {        /**         * 測試函數         * 第一個參數必須為 OtherClass 類的一個對象         */        public function test(OtherClass $otherclass) {            echo $otherclass->var;        }        /**         * 另一個測試函數         * 第一個參數必須為數組         */        public function test_array(array $input_array) {            print_r($input_array);        }        /**         * 第一個參數必須為遞迴類型         */        public function test_interface(Traversable $iterator) {           echo get_class($iterator);        }        /**         * 第一個參數必須為回調類型         */        public function test_callable(callable $callback, $data) {            call_user_func($callback, $data);        }    }    // OtherClass 類定義    class OtherClass {        public $var = 'Hello World';    }?>

函數調用的參數與定義的參數類型不一致時，會拋出一個可捕獲的致命錯誤。

<?php    // 兩個類的對象    $myclass = new MyClass;    $otherclass = new OtherClass;    // 致命錯誤：第一個參數必須是 OtherClass 類的一個對象    $myclass->test('hello');    // 致命錯誤：第一個參數必須為 OtherClass 類的一個執行個體    $foo = new stdClass;    $myclass->test($foo);    // 致命錯誤：第一個參數不能為 null    $myclass->test(null);    // 正確：輸出 Hello World    $myclass->test($otherclass);    // 致命錯誤：第一個參數必須為數組    $myclass->test_array('a string');    // 正確：輸出數組    $myclass->test_array(array('a', 'b', 'c'));    // 正確：輸出 ArrayObject    $myclass->test_interface(new ArrayObject(array()));    // 正確：輸出 int(1)    $myclass->test_callable('var_dump', 1);?>

類型約束不只是用在類的成員函數裡，也能使用在函數裡：

<?php    // 如下面的類    class MyClass {        public $var = 'Hello World';    }    /**     * 測試函數     * 第一個參數必須是 MyClass 類的一個對象     */    function MyFunction (MyClass $foo) {        echo $foo->var;    }    // 正確    $myclass = new MyClass;    MyFunction($myclass);?>

類型約束允許 NULL 值：

<?php /* 接受 NULL 值 */   function test(stdClass $obj = NULL) {}   test(NULL);   test(new stdClass);?>

