PHP面向对象_类型约束

什么是类型约束

　　就是要求某个变量只能使用（接受，存储）某种指定的数据类型；php属于”弱类型语言“，通常不支持类型约束；相应的，强类型语言，类型约束却是其“基本特征”。

php中，只支持局部的部分类型约束

　　php中，只支持在函数（或方法）的形参上，设定类型的约束目标，形式如下：

function 方法名( [要求使用的类型] $p1, [要求使用的类型] $p2, ......){
    //....
}

说明：

1. 定义一个函数（方法）时，一个形参，可以使用类型约束，也可以不使用；
2. 如果使用了类型约束，则对应的该实参数据，就必须是要求的那种类型；
3. 能够使用的类型约束，只有以下几种情况可用：
   
   1. 数组：array
   2. 对象：使用类的名称，传递过来的实参，必须是该类的实例
   3. 接口：使用接口的名称，传递过来的实参，必须是实现了该接口的类的实例

<?php
//演示类型约束
interface USB{} //接口
class A{}   //类
class B implements USB{}    //实现了USB接口的类

function f1($p1, array $p2, A $p3, USB $P4){
    echo "<br />没有约束的p1：" . $p1;
    echo "<br />要求是数组的p2：" ;
        print_r($p2);
    echo "<br />要求是类A的对象：";
        var_dump($p3);
    echo "<br />要求是实现实现了USB接口的对象：";
        var_dump($P4);
}

$obj1 = new A();
$obj2 = new B();
$arr = array();

//演示各种形式的函数调用
//f1(1.2, 1, $obj1, $obj2);//报错，第二个参数不是数组类型，Argument 2 passed to f1() must be an array, integer give
//f1(1, $arr, $obj1, $obj1);//报错，第四个参数，Argument 4 passed to f1() must implement interface USB, instance of A given
f1(1.2, $arr, $obj1, $obj2);//没问题
?>

运行结果：

没有约束的p1：1.2
要求是数组的p2：Array ( )
要求是类A的对象：

object(A)[1]


要求是实现实现了USB接口的对象：

object(B)[2]