PHP对数据类型的约束

类型约束

什么是类型约束？
类型约束是强类语言（C语言、java、C#等）语法上的要求，即在定义一个变量的时候，必须为其指定类型，并以后也只能存储该类型数据。举例说明一下：

int a = 1; // 说明变量a为整形
float b; // 说明变量b为浮点型
bool function show(string c,string d){
	// 两个形参是string，函数返回值为bool型
}

学过PHP的都知道它是一个弱类型语言，其他的是无需指定类型，而且在其后数据也可以存储为任何类型。但在PHP的较新语法中，在某些特定场合，针对某些特定类型，也可以进行语法约束。
特定场合：函数（或方法）的形参变量
特定类型：对象类型（类名）、接口类型（接口名）、数组类型（array）、函数类型（callable）

function f1(类名 $p1){
	//要求该参数只能使用该类的对象；
}
function f1(接口名 $p1){
	//要求该参数只能使用实现该接口的对象；
}
function f1(array $p1){
	//要求该参数只能使用数组；
}
function f1(callable $p1){
	//要求该参数只能是一个函数或方法，此时称之为回调函数（方法）
}

参数为数组的约束

function f(array $a){
	$c = count($a);//求数组的长度
	return $c;
}
$r1 = f( array(1,2,5,4)  );
echo "<br />长度为：$r1";
$r2 = f( 5  ); // 执行到这出错，类型不一致

参数为类名的约束

class D{}
function d( D $p1  ){
	echo "<br />";
	var_dump($p1);
}
//d(3); // 出错，参数类型为int
$o1 = new D();
d($o1);

参数为函数的约束

function h(callable $p){
	return __METHOD__;
}
$fun = function (){
	
};
// echo h(5); // 出错，参数为int
echo h($fun);

参数为接口的约束

interface runAnimal{
	function run();
}
class Animal{
	public $leg = 4;
}
class Dog extends Animal implements runAnimal{
	public function run(){
		echo "狗有". $this->leg ."腿，还会跑";
	}
}

$dog = new Dog();
function r(runAnimal $p){
	echo '狗';
}
r($dog);