型制約を使用して PHP 関数の型を修飾する方法

PHP 5 では 型制約 を使用できます。 関数のパラメータは、object型、recursive型、callback型である必要があるデータを指定できます。

<?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;;
}
?>

関数呼び出しのパラメータが定義されたパラメータの型と矛盾する場合、 catchable は致命的なエラーをスローします。

<?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);
?>

以上が型制約を使用して PHP 関数の型を修飾する方法の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。