php7新特性之标量类型声明

757 阅读1分钟

标量类型声明

什么是标量类型?首先要清楚这一点,标量类型(Scalar type)是相对复合类型(Compound type)来说的:标量类型只能有一个值,而复合类型可以包含多个值。复合类型是由标量类型构成的。

所以php7新增的标量类型声明使针对“标量”的。

使用declare(strict_types=1)设置是否开启严格匹配模式,开启后,如果传入的参数不是预先设置的参数类型,将会报错,例如:

<?php
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新特性之返回值类型声明