php声明即履行技巧_PHP中declarestrict_types 1

PHP中开启严格模式须要在文件最开始添加declare(strict_types = 1)，显示声明，PHP默认是弱类型校验，而且该声明仅对当前文件有效，其他文件`include`或`require`时须要重新在那个文件声明。

两个数相加函数：

function foo (int $a, int $b): int { return $a + $b;}var_dump(foo(1.0, 2.5)); // 结果是3var_dump(foo('1', 2)); // 3

在默认若类型下，传过去的float参数被截断成int类型，同样的，字符串在弱模式下也被自动转成了int，再来比拟下严格模式：

declare(strict_types=1);function foo (int $a, int $b): int { return $a + $b;}var_dump(foo(1.0, 2.5)); // 报错var_dump(foo('1', 2)); // 报错// Fatal error: Uncaught TypeError: Argument 1 passed to foo() must be of the type integer, float given, called in /in/JQAi6 on line 10 and defined in /in/JQAi6:6

直接报错了，说foo()只接管int类型，而传过去是float。

弱模式下，返回值类型也会被转换：

function foo (): int { $r = 1.0; return $r;}var_dump(foo()); // 1

严格模式下会报错：

declare(strict_types=1);function foo (): int { $r = 1.0; return $r;}var_dump(foo()); // 报错// Fatal error: Uncaught TypeError: Return value of foo() must be of the type int, float returned in /in/pRWIl:7

# 历史

PHP从PHP5.0开始已经有对支持class和interface参数类型声明，PHP5.1支持array以及PHP5.4支持callable。
这些类型声明让PHP在实行的时候传入精确的参数，让函数署名具有更多的信息。

先前曾经想添加标量类型声明，例如[Scalar Type Hints with Casts](https://wiki.php.net/rfc/scalar_type_hinting_with_cast "rfc:scalar_type_hinting_with_cast") RFC，由于各种缘故原由失落败了：

这个RFC考试测验办理全部问题。

在当代编程措辞的实际运用中，有三种紧张的方法去检讨参数和返回值的类型：

PHP在zend_parse_parameters的标量内部处理机制是采取了弱类型模式。
PHP的工具处理机制采取了广泛类型检讨办法，并不追求精确匹配和转换。
每个方法各有其优缺陷

这个提案中，默认采取弱类型校验机制，同时追加一个开关，许可转换为广泛类型校验机制（也便是严格类型校验机制）

目前为止，大部分的标量类型声明的推戴者都哀求同时支持严格类型校验和弱类型校验，并非仅仅支持个中一种。
这份RFC，使得弱类型校验为默认行为，同时，添加一个可选的指令来利用严格类型校验（同一个文件中），在这个选择的背后，有很多个缘故原由。

PHP社区很大一部分人看起来很喜好全静态类型。
但是，添加严格类型校验的标量类型声明将会引起一些问题：

这里仍旧有相称于一部分人是喜好弱类型校验的，但是，添加严格类型校验声明和添加弱类型校验声明都会引起一些问题：

第三种方案被提出来了，便是添加区分弱类型和严格类型声明的语法。
它也会带来一些问题：

为理解决这三种方案带来的问题，这个RFC提出了第四种方案：每个文件各自定义严格或者弱类型校验。
它带来了以下好处：