PHP7功能之标量类型声明
在 PHP7 中为了提高执行效率,引入了一个新的功能,即在函数方法中增加了 Scalar 类型声明(标量类型声明),这样做节省了对数据类型的检测。标量类型声明有如下的两个选项:
- 强制模式:强制是默认的模式,不需要指定。
- 严格模式:严格的模式必须明确暗示。RFC 给每一个 PHP 文件,添加一句新的可选指令(declare(strict_type=1);),让同一个 PHP 文件内的全部函数调用和语句返回,都有一个“严格约束”的标量类型声明检查。
可以使用上述模式强制执行以下类型的函数参数:
- int
- float
- bool
- string
- interfaces
- array
- callable
强制模式-示例
<?php
// Coercive mode
function sum(int ...$ints) {
return array_sum($ints);
}
print(sum(2, '3', 4.1));
?>
运行上述代码,它产生以下浏览器输出:
9
严格模式-示例
<?php
// Strict mode
declare(strict_types=1);
function sum(int ...$ints) {
return array_sum($ints);
}
print(sum(2, '3', 4.1));
?>
运行上述代码,它产生以下浏览器输出:
PHP Fatal error: Uncaught TypeError: Argument 2 passed to sum() must be of the type integer, string given, called in /soft/node/run.php on line 7 and defined in /soft/node/run.php:4 Stack trace: #0 /soft/node/run.php(7): sum(2, '3', 4.1) #1 {main} Next TypeError: Argument 3 passed to sum() must be of the type integer, float given, called in /soft/node/run.php on line 7 and defined in /soft/node/run.php:4 Stack trace: #0 /soft/node/run.php(7): sum(2, '3', 4.1) #1 {main} thrown in /soft/node/run.php on line 4
严格模式的校验行为:严格的类型校验调用拓展或者 PHP 内置函数,会改变 zend_parse_parameters 的行为。特别注意,失败的时候,它会产生E_RECOVERABLE_ERROR 而不是E_WARNING。严格类型校验规则是非常直接的:只有当类型和指定类型声明匹配,它才会接受,否则拒绝。