PHP中文手册

版权信息

PHP 手册

入门指引

安装与配置

语言参考

安全

特点

函数参考

PHP 核心:骇客指南

FAQ

附录

类型约束

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

?>