标量类型声明
什么是标量类型?首先要清楚这一点,标量类型(Scalar type)是相对复合类型(Compound type)来说的:标量类型只能有一个值,而复合类型可以包含多个值。复合类型是由标量类型构成的。
所以php7新增的标量类型声明使针对“标量”的。
使用declare(strict_types=1)设置是否开启严格匹配模式,开启后,如果传入的参数不是预先设置的参数类型,将会报错,例如:
declare(strict_types=1);
function test(int $param) {
var_dump($param);
}
test("1");
复制代码
运行结果:
PHP Fatal error: Uncaught TypeError: Argument 1 passed to test() must be of the type int, string given, called in /data/compare/scalar.php on line 17 and defined in /data/compare/scalar.php:3
Stack trace:
#0 /data/compare/scalar.php(17): test(1)
#1 {main}
thrown in /data/compare/scalar.php on line 3
复制代码
如果设置declare(strict_types=0)则不会报错,直接会打印当前参数类型:int(1) 也就是说,在强制匹配模式下,会判断当前传进来的参数是否是设置的参数类型,如果不是,则会进行强制转换,强制转换不了的,当然也是会报错的,这里一般标量类型之间的强转都是可以通过的。
相较php5中,如果传入的参数类型不匹配,是没有强制模式和严格模式之分的,统一会抛出一个可捕获的致命错误:
Catchable fatal error: Argument 1 passed to test() must be an instance of float, integer given, called in /data/compare/scalar.php on line 17 and defined in /data/compare/scalar.php on line 3
复制代码
此时,可以使用set_error_handle方法,设置自定义错误,来捕获E_RECOVERABLE_ERROR
同时,declare声明指令不仅影响参数的类型声明,也会影响到函数的返回值声明,详情可以参见php7新特性之返回值类型声明