必须将declare(strict_types=1)置于PHP文件首行首个非空白非注释位置，否则类型检查失效；该声明仅作用于当前文件，前置空格、BOM或namespace均会导致静默类型转换。
如果您在PHP中启用了严格类型模式，但发现函数参数仍被静默转换或未按预期抛出TypeError，则可能是由于strict_types声明位置错误、作用域理解偏差或类型声明语法不规范所致。以下是解决此问题的步骤：
一、确保declare(strict_types=1)位于正确位置
该声明仅对当前文件生效，且必须是PHP标签后的第一个非空白、非注释语句；任何前置空格、BOM、注释或namespace声明都会导致其失效，使类型检查退化为弱类型行为。
1、打开目标PHP文件，确认
2、删除文件开头可能存在的UTF-8 BOM字节（可通过十六进制编辑器或IDE的“编码”菜单检测并转换为无BOM UTF-8）。
立即学习“PHP免费学习笔记（深入）”；
3、将declare(strict_types=1);移至文件最顶端，置于所有namespace、use、require语句之前。
4、保存文件后重新执行脚本，验证是否触发TypeError而非隐式转换。
二、验证函数定义中参数类型声明语法正确性
标量类型声明（int、string、bool、float）必须显式写出，且不能与联合类型语法混淆；错误的语法会导致ParseError或类型检查完全不触发。
1、检查函数参数是否使用合法短名类型，如int而非Integer或INT。
2、确认未在参数位置使用void、never等仅限返回类型的关键词。
3、若需支持null值，必须使用可空语法?string，而非string|null（后者在PHP 8.0+中虽可解析但会触发Deprecated警告）。
4、避免在联合类型中混用标量与null，例如int|string|null合法，但string|int|null中传入"123"在strict下仍失败，因字符串不自动转整型。
三、区分函数调用所在文件与被调用文件的作用域边界
strict_types声明不具备继承性，仅约束当前文件中直接定义的函数调用行为；require或include引入的文件若未自行声明strict_types，则其内部函数调用不受影响。
1、在A.php中启用declare(strict_types=1);后，调用自身定义的function foo(int $x)会强制校验。
2、若A.php中require B.php，且B.php未声明strict_types，则B.php内定义的function bar(int $y)在被A.php调用时不会触发严格检查。
3、为确保一致性，需在B.php文件顶部同样添加declare(strict_types=1);。
4、检查第三方库文件是否声明strict_types——主流框架如Laravel默认不启用，因此传入string给其期望int的参数通常被静默转换而非报错。
四、识别并规避常见隐式转换陷阱
严格模式下，PHP拒绝所有隐式类型转换，包括字符串数字、对象到标量、浮点数截断等；但显式转换（如(int)"123"）仍被允许。
1、避免向int参数传入字符串数字，如foo("42")在strict下直接抛出TypeError。
2、禁止向标量类型提示传入对象实例，即使该对象实现__toString()，如foo(new DateTime())必然失败。
3、向bool参数传入0、1、""、[]等松散真值，在strict下均不被接受，仅允许true或false字面量。
4、对float参数传入整数（如foo(5)）在strict下合法，因整数可无损表示为浮点数；但传入字符串"5.0"仍非法。
五、使用可空类型与联合类型处理多态输入
当函数需接受多种类型或允许null时，应采用PHP 7.1+支持的可空语法或PHP 8.0+联合类型，避免依赖松散模式下的隐式容错。
1、若参数可为字符串或null，声明为?string，而非string并手动is_null()判断。
2、若需接受整数或字符串，使用联合类型int|string，注意此时传入"123"仍触发TypeError，须由调用方显式转换。
3、避免在联合类型中包含void、callable等非法成员，如void|string为语法错误。
4、对数组类型，使用array而非[]，PHP 8.1+可选non-empty-array或list，但[]不被解析为类型声明。
