类型约束和类的魔术常量

一、类型约束：

1、什么是类约束？

　　其他很多语言中，类型约束是语法上的要求，即定义一个变量的时候，必须指定类型，并以后也只能存储该类型数据——这种是强类型语言的一个特点。比如：

　　　　int  n1 = 1; //int类型变量

　　　　float  f1 ; //float类型变量

　　　　bool  function  getConcat( string  s1, string  s2){。。。。} //两个形参是string，返回值也是bool型

2、php是弱类型语言，其特点是无需为变量指定类型，而且在其后也可以存储任何类型。

　　但：在php的较新的语法中，在某些特定场合，针对某些特定类型，也可以进行语法约束。

　　　　特定场合：函数（或方法）的形参变量

　　　　特定类型：对象类型（类名）， 接口类型（接口名）， 数组类型（array）， 函数类型（callable）

可以对函数（或方法）的参数设定必须使用的类型。只能对对象，接口，数组和函数进行约束，如下所示：

　　function f1(类名 $p1){....}：要求该参数只能使用该类的对象；

　　function f1(接口名 $p1){....}：要求该参数只能使用实现该接口的对象；

　　function f1(array $p1){....}：要求该参数只能使用数组；

　　function f1(callable $p1){....}：要求该参数只能是一个函数或方法，此时称之为回调函数（方法）

 　　　　

　　同样的代码，对f1加上类型约束

 　　　　

　　再来举个数组例子：

 　　　　

二、与类有关的魔术常量：

1、__CLASS__,：获取其所在的类的类名。

2、__METHOD__：获取其所在的方法的方法名。

class  A{

　　function  f1(){

　　　　echo __CLASS__； //输出“A”

　　　　echo __METHOD__； //输出“f1”

　　　　//注意：get_class()也可以得到类名，但其必须有个“对象”

　　}

}