首页 > 代码库 > php的类型约束

php的类型约束

2024-07-14 16:32:01   220人阅读

//如下面的类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 5 可以使用类型约束。函数的参数可以指定必须为对象（在函数原型里面指定类的名字），接口，数组（PHP 5.1 起）或者 callable（PHP 5.4 起）。不过如果使用 NULL 作为参数的默认值，那么在调用函数的时候依然可以使用 NULL 作为实参。

如果一个类或接口指定了类型约束，则其所有的子类或实现也都如此。

类型约束不能用于标量类型如 int 或 string。Traits 也不允许。

所以：

// 两个类的对象$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);

类型约束不只是用在类的成员函数里，也能使用在函数里

/** * [testdoc description] * @param  string $q * @param  int    $t * @param  array  $y * @param  object $o * @return [type] */function testdoc(string $q,int $t,array $y,object $o){    var_dump($q);    var_dump($t);    var_dump($y);    var_dump($o);}$obj = new stdClass();testdoc("string",5,array(1,2),$obj);

我上面的测试代码将会报错，因为第一个参数希望是string类的实例，第二个参数希望是int类的实例，第四个参数希望是object类的实例，

然而提供的第一个参数为string字符串，第二个为int整形，第四个为stdClass类的实例，都会报致命错误，这是由于php语言在string，int都不是对象，而在c#和java里面这样的基础类型也是对象。


联系
我们