类型约束和类的魔术常量

一、类型约束:

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()也可以得到类名,但其必须有个“对象”

  }

}

原文地址:https://www.cnblogs.com/wjglm/p/9808726.html