PHPの型制約

PHP 5 では型制約を使用できます。関数パラメータは、オブジェクト (関数プロトタイプでクラス名を指定)、インターフェイス、配列 (PHP 5.1 以降)、または呼び出し可能 (PHP 5.4 以降) として指定できます。ただし、パラメーターのデフォルト値として NULL を使用した場合でも、関数を呼び出すときに実際のパラメーターとして NULL を使用できます。

クラスまたはインターフェースが型制約を指定する場合、そのすべてのサブクラスまたは実装も同様です。

型制約は、int や string などのスカラー型には使用できません。特性も許可されません。

例 #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 = &#39;Hello World&#39;;
    }
?>

関数呼び出しのパラメータが定義されたパラメータの型と一致しない場合、キャッチ可能な致命的なエラーがスローされます。

<?php
    // 两个类的对象
    $myclass = new MyClass;
    $otherclass = new OtherClass;
    // 致命错误：第一个参数必须是 OtherClass 类的一个对象
    $myclass->test(&#39;hello&#39;);
    // 致命错误：第一个参数必须为 OtherClass 类的一个实例
    $foo = new stdClass;
    $myclass->test($foo);
    // 致命错误：第一个参数不能为 null
    $myclass->test(null);
    // 正确：输出 Hello World
    $myclass->test($otherclass);
    // 致命错误：第一个参数必须为数组
    $myclass->test_array(&#39;a string&#39;);
    // 正确：输出数组
    $myclass->test_array(array(&#39;a&#39;, &#39;b&#39;, &#39;c&#39;));
    // 正确：输出 ArrayObject
    $myclass->test_interface(new ArrayObject(array()));
    // 正确：输出 int(1)
    $myclass->test_callable(&#39;var_dump&#39;, 1);
?>

型制約はクラスメンバー関数だけでなく関数でも使用されます:

<?php
    // 如下面的类
    class MyClass {
        public $var = &#39;Hello World&#39;;
    }
    /**
     * 测试函数
     * 第一个参数必须是 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);
?>