PHP strict_types为什么有时候不生效-php教程-PHP中文网

declare(strict_types=1)必须位于文件最顶部，作为第一个可执行语句，前面仅允许有php开始标签，否则将失效。

php strict_types为什么有时候不生效

declare(strict_types=1)没放在文件最顶部

这是最常见、也最容易被忽略的失效原因。PHP 要求 declare(strict_types=1); 必须是文件中**第一个可执行语句**，前面只能有 PHP 开始标签 <?php 、空白符（空格、制表符、换行）和 PHP 注释（// 或 /* */）。一旦前面存在任何不可见字符（比如 UTF-8 BOM 头）、空行、echo 输出、命名空间声明或 require 语句，该声明就直接被忽略，退回到默认的弱类型模式。

常见踩坑点包括：

编辑器自动插入 BOM —— 尤其在 Windows 下用记事本或某些老旧 IDE 保存时
文件开头多了一个空行，看似“干净”，实则破坏了声明位置
误把 namespace App\Model; 写在 declare 前面（顺序错误）
ThinkPHP 等框架中模型文件带 UTF-8+BOM，导致 strict_types 彻底不生效

函数定义和调用不在同一个文件

strict_types=1 是**文件级作用域**，只约束当前文件里「定义并被直接调用」的函数。它不会穿透到 require、include、use 或自动加载进来的其他文件。

比如你在 utils.php 里写了 declare(strict_types=1); function calc(int $a): int { ... }，然后在 main.php（未声明 strict_types）里 require 'utils.php'; calc("123"); —— 这里不会报错，因为调用发生在宽松模式文件中，PHP 按照 main.php 的 strict_types 设置决定是否做严格检查。

所以必须确保：

函数定义所在文件顶部有 declare(strict_types=1);
调用该函数的代码也必须在同样启用了 strict_types 的文件里
如果是 Composer 自动加载的类方法，需检查每个类文件是否独立声明

传参对象或数组时类型提示写得不精确

strict_types 只强制标量类型（int、string、bool、float）和类名的参数匹配，对 array、iterable、mixed、object 等伪类型或宽泛类型不做严格校验。

btpanel phpsite 宝塔面板PHP网站

宝塔面板 PHP 网站管理：站点创建、删除、启停、PHP 版本切换、域名管理、SSL证书管理、伪静态管理、数据库管理

下载

例如：

declare(strict_types=1);
function process(array $data) { ... }
process("not array"); // 不会报错！因为 array 类型提示在 strict_types 下仍允许字符串隐式转为空数组（PHP 行为）

更隐蔽的是对象属性赋值场景：ThinkPHP 8.0 模型中即使启用了 strict_types，若字段类型未在 $type 数组中显式配置（如 'status' => 'integer'），那么 $model->status = "1" 依然会静默存成 0，而不是抛出 TypeError —— 因为这是框架层的数据转换逻辑，绕过了 PHP 的函数参数检查机制。