开启 strict_types=1 后,int 参数传 "1" 会直接报错,因严格模式仅作用于当前文件的函数调用,要求参数类型精确匹配,不进行自动转换。

开启 strict_types=1 后,int 参数传 "1" 会直接报错
PHP 严格模式(通过声明 declare(strict_types=1);)只影响**当前文件**的函数调用时的参数类型校验,不改变变量本身类型,也不影响返回值声明(除非也写了 int 等返回类型)。它让类型检查从“宽松转换”变成“精确匹配”。
常见错误现象:TypeError: Argument 1 passed to foo() must be of the type int, string given
- 即使字符串内容是数字(如
"42"),也不会自动转成int - 浮点数
3.0传给int参数也会失败,哪怕(int)3.0 === 3 - 对象传给
string类型参数?不行,哪怕实现了__toString()
declare(strict_types=1) 必须写在文件最开头,且不能跨行
它不是普通语句,而是“声明指令”,PHP 解析器在词法分析阶段就处理它。位置或格式不对,整条声明就失效——等于没开严格模式。
使用场景:团队协作中统一类型行为,或对接强类型习惯的开发者(比如从 TypeScript 转来的)
立即学习“PHP免费学习笔记(深入)”;
动态WEB网站中的PHP和MySQL详细反映实际程序的需求,仔细地探讨外部数据的验证(例如信用卡卡号的格式)、用户登录以及如何使用模板建立网页的标准外观。动态WEB网站中的PHP和MySQL的内容不仅仅是这些。书中还提到如何串联JavaScript与PHP让用户操作时更快、更方便。还有正确处理用户输入错误的方法,让网站看起来更专业。另外还引入大量来自PEAR外挂函数库的强大功能,对常用的、强大的包
- 必须紧贴文件首行,前面不能有空格、BOM、注释甚至
<?php之前的空白 - 不能写成
declare( strict_types = 1 );(空格或等号两侧加空格会导致解析失败) - 不能放在命名空间声明之后,哪怕只是
namespace App;在前,它就无效
函数定义时的类型声明和调用时的严格模式是两回事
你可以在没开 strict_types 的文件里写 function foo(int $x): string,这没问题;但调用时是否强制校验,取决于**调用方文件**有没有 declare(strict_types=1)。
性能影响几乎为零——类型检查发生在 Zend VM 执行前的参数绑定阶段,不是运行时反射
- 被调用函数所在文件是否开启 strict_types 不重要
- 关键看「谁在调用它」:调用语句所在的那个 PHP 文件有没有声明
- 这意味着同一个函数,在 A 文件里传
"5"给int参数会报错,在 B 文件里就不会——只要 B 没声明
数组键名和可变参数(...)不受 strict_types 影响
严格模式只管“显式声明的参数”,不管数组内部结构、键名类型、或 func_get_args() 这类动态获取的值。它也不校验 array 类型参数里的元素类型。
容易踩的坑:以为开了 strict_types 就能防止数组里混入字符串键,其实完全不会
-
["foo" => 123]传给array $data参数?永远合法 -
foo(...["1", "2"])调用function foo(int $a, int $b)?会报错,因为解包后仍走参数校验 - 但
foo(...$arr)中如果$arr是["1", "2"],且当前文件开了 strict_types,则报错;否则不报
declare(strict_types=1);。










