### [PHP8强类型模式实战：从弱类型到严格模式的迁移](https://www.huociguo.com/article/145)

**Published:** 2026-07-15T05:46:11

**Author:** 米了

**Excerpt:** PHP自7.0引入标量类型声明以来，类型系统逐步收紧，至PHP8系列已形成以declare(strict_types=1)为核心的严格模式能力，叠加联合类型、mixed、enum、readonly等特性，使PHP从”弱类型脚本语言”向”可静

PHP自7.0引入标量类型声明以来，类型系统逐步收紧，至PHP8系列已形成以`declare(strict_types=1)`为核心的严格模式能力，叠加联合类型、`mixed`、`enum`、`readonly`等特性，使PHP从”弱类型脚本语言”向”可静态验证的工程语言”靠拢。大量2010—2017年间建设的遗留项目仍运行在无类型声明或弱类型 coercively 模式下，”字符串`'2.5' + 1 = 3.5`自动转float、函数返回类型缺失、第三方库类型契约不一致”等问题在生产环境长期潜伏。下文以PHP8.2—8.4为基准（兼顾8.5已废弃的非规范标量别名），梳理从弱类型到严格模式的迁移路径。

![](https://api.huociguo.com/wp-content/uploads/2026/07/13428567818239705-150578aceb-1.png "13428567818239705-150578aceb-1")

## 一、弱类型模式的历史行为与风险

PHP默认处于**​ coercive 模式**（强制类型转换）：当函数参数声明为`int`却传入`float`或可被解析为数字的`string`时，引擎会尝试隐式转换而非抛错。例如：

```php
function sum(int $a, int $b): int { return $a + $b; }
echo sum(1.5, 2.5);   // 弱类型模式下输出 3（1.5→1, 2.5→2）
```

这种行为在快速原型阶段降低门槛，但在企业级系统中带来三类隐患：

-   **数据精度静默丢失**：金额、库存等场景的float→int截断无告警
    
-   **返回类型缺失导致调用链失控**：下游依赖上游返回的”实际类型”而非”约定类型”
    
-   **第三方库契约不一致**：A库返回`string|false`，B库按`string`消费，埋雷于边界
    

PHP8进一步收紧了部分隐式转换规则（如联合类型下的转换优先级：`int → float → string → bool`），但未启用`strict_types`的项目仍走 coercive 老路。

## 二、strict\_types 机制（附行为对照）

`declare(strict_types=1);`必须置于**文件首行、无前置空白或普通代码**的位置，否则被忽略。其关键语义常被误读：

> 📌 严格模式**仅作用于”从该文件发起的函数调用”**，不作用于”在该文件中定义的函数被外部调用”。若调用方文件未启用 strict\_types，即使被调函数定义在 strict 文件内，仍按 coercive 规则走。

### 弱类型 vs 严格模式行为对照表

下表以`sum(int $a, int $b): int`为例，对比两种模式对同一组入参的差异：

|     |     |     |
| --- | --- | --- |  
| 调用代码 | 弱类型（默认 coercive） | 严格模式（strict\_types=1） |
| `sum(1, 2)` | `int(3)`正常 | `int(3)`正常 |
| `sum(1.5, 2.5)` | `int(3)`截断后相加 | **TypeError**：float given |
| `sum("1", "2.5")` | `int(3)`（”2.5″→2） | **TypeError**：string given |
| `sum(1, 2.5)`返回值 `float` | **TypeError**（返回值也校验） | **TypeError**​ |

> 💡 唯一例外：strict 模式下 **int 可传入声明为 float 的参数**，这是官方保留的宽化路径，其余均严格匹配。

（此处配固定示意图：弱类型 coercive 流程 vs strict\_types 调用方校验流程图，标注”校验发生在调用点而非定义点”这一关键差异）

## 三、PHP8 新增类型特性对迁移的影响

迁移至严格模式并非简单地在文件头加`declare`，需同步消化 PHP8 类型系统的新增约束：

### 1\. 联合类型（Union Types）

PHP8 原生支持`int|string|null`写法，替代 PHPDoc 的`@param int\|string\|null`。但需注意：**void 不能出现在联合类型中**，只能单独使用；`mixed`本身已是”所有类型的联合”，再与`int\|mixed`组合会报编译错误。

### 2\. mixed 类型

等价于`object\|resource\|array\|string\|int\|float\|bool\|null`，且**strict\_types 对 mixed 无额外约束**——无论是否启严格模式，mixed 参数均可接收任意类型。适用场景：遗留接口的过渡层、不确定类型的适配器方法。

### 3\. 非规范标量别名弃用（PHP8.5+）

`(integer)`、`(double)`、`(boolean)`、`(binary)`四类别名在8.5起抛 deprecation，参数/返回/属性声明中写`function foo(integer $x): double`会被解释为”类名为 integer 的类型约束”而非 int/float。迁移期应全局替换为`int\|float\|bool\|string`。

### 4\. nullable 语法 `?T`与联合 `T\|null`

PHP8 两者等价，但`?T`更简洁；注意`?T`不能与`T\|null`混用（重复声明）。

## 四、遗留项目渐进迁移

一次性全量开启 strict\_types 会导致调用链上层级联报错。工业界采用的路径为 **文件级 → 目录级 → 全局级**：

**第一步：新文件先行**

新建的 Service / DTO / Repository 文件首行即加`declare(strict_types=1)`，并补全参数类型+返回类型。新逻辑不与旧模式纠缠。

**第二步：静态分析打底**

引入 PHPStan（或 Psalm），从 `level 0`起步逐步升至 `level 5+`，优先修复”可能为 null 的变量””未使用的分支””参数类型缺失”等基线问题。静态分析可在不运行代码的前提下暴露 coercive 模式下隐藏的类型风险。

**第三步：核心旧文件加类型声明（不加 strict）**

先给参数加`int\|string\|?Foo`等声明但不加`declare`，让 coercive 模式兜底兼容旧调用方；待 PHPStan 全绿后，再加返回类型。

**第四步：核心文件启用 strict\_types**

在 DAO / Service / Domain 三层核心文件顶部加`declare(strict_types=1)`，配合测试套件（单元测试+集成测试）跑回归。此时报出的 TypeError 多为”原先被隐式转换掩盖的真问题”，需逐个修数据源而非简单`(int)`强转。

**第五步：入口文件与全局开关**

PHP8.4+ 实验性提供`zend.enable_strict_types=1`（php.ini 级），但仅影响新解析文件，且需配合`opcache.revalidate_freq=0`。多数项目仍以文件级 declare 为主，ini 开关作为最终态。

> ⚠️ 第三方库（尤其是未维护的 legacy 包）若不支持严格模式，不要直接修改 vendor。通过其外层加 Adapter，或在 composer 层用 `@`抑制+手动类型收窄。

## 五、高频清单

-   **strict\_types 不继承**：A文件（strict）调用 B文件（非 strict）中定义的函数，B 函数的定义方虽在 strict 文件内，但**调用方 A 才是校验主体**——这条反过来想：若 A 非 strict、B strict，B 内定义的函数被 A 调用时仍走 coercive。很多团队在此处误判。
    
-   **内部函数不受 strict\_types 影响**：`array_map`/`call_user_func`等内部函数发起的调用，仍按 coercive 走。
    
-   **联合类型隐式转换优先级**：coercive 模式下，string `"1"`对 `float\|bool`转 float，`"hello"`对 `int\|bool\|float`转 bool——行为需对照表确认，否则迁移 strict 后会集体 TypeError。
    
-   **PHP8.1+ enum + readonly**​ 可与 strict\_types 组合使用，值域在编译期冻结，适合替换原”魔术常量+整数状态位”的旧模式。

**Tags:** PHP8.5, strict_types, 强类型, 类型声明, 迁移

**Categories:** PHP教程

---