本文目录导读：
- 目录导读
- 什么是 declare(strict_types=1)？
- 严格类型 vs 弱类型：核心差异对比
- 严格类型在函数与方法中的实际效果
- 返回类型声明与严格模式的联动
- 注意事项：文件级作用域与继承覆盖的陷阱
- 性能影响与最佳实践建议
- 常见问题解答（FAQ）
**
《PHP declare(strict_types=1)：严格类型模式的深度解析与实战指南》
目录导读
- 什么是 declare(strict_types=1)？
- 严格类型 vs 弱类型：核心差异对比
- 严格类型在函数与方法中的实际效果
- 返回类型声明与严格模式的联动
- 注意事项：文件级作用域与继承覆盖的陷阱
- 性能影响与最佳实践建议
- 常见问题解答（FAQ）
什么是 declare(strict_types=1)？
在 PHP 7.0 中，官方引入了标量类型声明（int, float, string, bool）以及 strict_types 指令，该指令必须位于 PHP 文件的第一行（在 <?php 标签之后，其他任何代码之前），用于强制该文件内的所有函数调用、方法调用采用严格（strict）模式类型检查。
语法示例：
<?php
declare(strict_types=1);
function add(int $a, int $b): int {
return $a + $b;
}
echo add(1, 2); // 正常运行
// echo add(1.5, 2); // 若启用严格模式，此处会抛出 TypeError
在严格模式下，传入参数的类型必须精确匹配声明类型，任何隐式转换（如将字符串 "1" 转为整数 1）都会被拒绝，并抛出 TypeError 异常。
严格类型 vs 弱类型：核心差异对比
PHP 默认处于弱类型（coercive）模式，即当传入参数类型不完全匹配时,引擎会尝试进行隐式转换。
function multiply(int $x, int $y) { return $x * $y; }
echo multiply("3", 4); // 输出 12（字符串 "3" 被转为整数 3）
而在严格模式下,同样的代码会直接报错：
declare(strict_types=1);
function multiply(int $x, int $y) { return $x * $y; }
echo multiply("3", 4); // TypeError: Argument #1 ($x) must be of type int, string given
关键区别表：
| 行为 | 弱类型（默认） | 严格类型（strict_types=1） |
|---|---|---|
| 字符串→整数 | 自动转换（若可解析） | 拒绝，引发 TypeError |
| 浮点数→整数 | 截断小数部分 | 拒绝（除非是精确整数，如 1.0） |
| 布尔值→整数 | true→1，false→0 | 拒绝（严格禁止） |
| NULL 传给非空类型 | 允许（若参数默认值为 NULL） | 拒绝（除非参数显式允许 NULL） |
注意： 严格模式仅在调用方文件内生效，而非定义函数或方法的文件,这意味着两个文件可以有不同的类型策略。
严格类型在函数与方法中的实际效果
1 函数参数声明
// file: strict_caller.php <?php declare(strict_types=1); require 'functions.php'; echo calculate(10, 5.5); // 致命错误，因为 functions.php 中的函数期望 int，而 5.5 是 float
2 类方法声明
<?php
declare(strict_types=1);
class Calculator {
public function divide(float $a, float $b): float {
if ($b === 0.0) {
throw new InvalidArgumentException("Division by zero");
}
return $a / $b;
}
}
$calc = new Calculator();
echo $calc->divide(10, 2.0); // 5.0
// echo $calc->divide(10, 0); // 0 是 int，但严格模式下传入 float 参数声明会报错，除非 0.0
重要提示： 严格模式影响的是调用时的参数和返回值检查，如果被调用的文件没有 declare(strict_types=1)，但调用方有,则仍按严格模式执行。
返回类型声明与严格模式的联动
严格模式同样约束返回值,以下代码在严格模式下会失败：
<?php
declare(strict_types=1);
function getNumber(): int {
return "42"; // 字符串，不允许自动转换
}
// TypeError: Return value must be of type int, string returned
但在弱类型模式下，"42" 会被自动转为整数 42 而正常运行。
例外情况： 如果返回的是浮点数且目标类型为 int，严格模式下若浮点数没有小数部分（如 1.0），则允许返回，这是因为 PHP 内部会将其视为整数。
注意事项：文件级作用域与继承覆盖的陷阱
1 文件级作用域
declare(strict_types=1) 只作用于当前文件，不影响 include/require 引入的其他文件,你必须为每个需要严格模式的文件单独添加声明。
2 继承与接口覆盖的规则
- 子类重写父类方法时，参数类型要求必须与父类兼容（不能更严格，但可以更宽松，在 PHP 7.4+ 中支持协变）。
- 若父类方法定义在弱类型文件中，子类方法即使在严格类型文件中，参数检查仍遵循父类文件的声明，但返回值类型检查则由调用方的模式决定。
示例：
// parent.php（无 strict_types）
class ParentClass {
public function test(int $x): int { return $x; }
}
// child.php
declare(strict_types=1);
class ChildClass extends ParentClass {
public function test(int $x): int { return $x * 2; } // 合法
}
// 调用方（strict）：
$child = new ChildClass();
$child->test("5"); // 报错，因为 strict 生效在调用处
性能影响与最佳实践建议
性能影响
严格类型检查本身对性能影响微乎其微（通常低于 1%），真正的性能提升来自减少隐式类型转换的开销——在弱类型模式下，每次调用可能触发 zval 转换,而严格模式省去了这些步骤。
最佳实践
- 新项目：建议所有业务逻辑文件统一使用
declare(strict_types=1);。 - 老旧代码：逐步迁移，先从新模块开始,避免大规模修改导致的回归。
- API 边界：在函数签名中明确类型，结合严格模式,能让错误更早暴露。
- 组合使用时：注意调用关系，避免因模式不一致造成困惑，可借助静态分析工具（如 PHPStan）辅助检查。
常见问题解答（FAQ）
Q1：declare(strict_types=1) 必须在文件第一行吗？
是的，必须放在 <?php 之后的第一行，且前面不能有任何输出（包括 HTML 空行）,否则会产生解析错误。
Q2：严格模式下能显式转换类型吗？
可以，严格模式只禁止隐式转换，你仍然可以手动使用类型转换：intval("42") 或 (int)"42"。
Q3：如果函数参数类型是联合类型（如 int|string），严格模式如何工作？
严格模式允许任何一个声明的类型直接匹配，不做隐式转换，例如传入 "5" 可以匹配 string，传入 5 匹配 int。
Q4：如何在全局启用严格模式？
PHP 目前没有全局配置项，必须每个文件单独写 declare(strict_types=1);，这被设计为文件级特性,以保证代码库的灵活性。
Q5：严格模式影响框架或第三方库吗？
不影响库的内部逻辑，只影响你的调用方式，如果第三方库没有使用严格模式，你仍可以严格模式调用它们,但内部实现仍为弱类型模式。
Q6：是否有办法在运行时检查当前文件是否启用了严格模式？
没有直接内置函数，但你可以使用反射（ReflectionFunction）的 getClosureScopeClass 等复杂手段间接判断,实际场景中并不必要。
Q7：strict_types=0 是什么意思？
declare(strict_types=0) 是默认的弱类型模式，可以显式写出,但通常没有必要。
declare(strict_types=1) 是 PHP 现代工程实践的重要部分，它让代码更可预测、更健壮，虽然初期会增加一些繁琐声明，但对于长期维护和团队协作来说，收益远超成本，从现在开始，在你的新项目中启用严格模式,并逐步养成类型安全编程的习惯吧。
