PHP 8 JIT需手动配置OPcache参数才能生效，联合类型不支持void、callable等特殊类型。启用JIT须设opcache.enable=1、opcache.jit_buffer_size≥64M、opcache.jit=1255或tracing，并验证opcache_get_status()['jit']返回enabled为true；联合类型合法写法如int|string，禁用void等非法组合，解析阶段即报错。
JIT 编译在 PHP 8 中不是默认开启的，必须手动配置 OPcache 参数才能生效；联合类型虽语法简洁，但不支持 void、callable 和 static 等特殊类型，用错会直接报错。
如何正确启用 PHP 8 的 JIT 编译
JIT 不是安装完 PHP 8 就自动工作的——它依赖 OPcache 扩展，并且需要显式分配缓冲区和选择模式。很多开发者改了 opcache.jit 却没设 opcache.jit_buffer_size，结果 JIT 根本不加载。
-
opcache.enable=1和opcache.enable_cli=0（或根据场景设为 1）必须开启，否则 JIT 无载体 -
opcache.jit_buffer_size至少设为64M，推荐100M；值为 0 或未设置 → JIT 被静默禁用 -
opcache.jit推荐用tracing模式（平衡性能与内存），避免用function（兼容性差，部分扩展不支持） - CLI 模式下需额外确认
opcache.enable_cli=1，否则php -v看不到 JIT 生效迹象
验证是否启用：运行 php -i | grep jit，输出含 opcache.jit => tracing 且无警告即成功。
联合类型（Union Types）的合法写法与常见报错
联合类型允许函数参数或返回值声明多个可能类型，比如 int|float，但它有明确的语法禁区。PHP 解析器会在解析阶段就拒绝非法组合，不会等到运行时。
立即学习“PHP免费学习笔记（深入）”；
- 支持基本类型组合：
string|int|bool、array|stdClass、?string（可空写法仍有效） - 禁止出现在返回类型中的类型：
void（function foo(): void|int→ Parse error）、callable、static、parent - 不能与传统类型提示混用：
array|string $data = []合法，但array|string|null $data必须写成array|string|null（null是独立类型，不是修饰符） - 泛型类内部不支持联合类型作为类型参数（如
Collection<int></int>会报错）
典型错误信息：Parse error: syntax error, unexpected '|', expecting ':'，通常是因为漏写了返回类型冒号，或把联合类型写在了不支持的位置。
JIT 对不同负载的实际影响差异很大
JIT 不是“开就变快”的开关，它的收益高度依赖代码特征。盲目开启反而可能因 JIT 编译开销拖慢冷启动或低频请求。
- CPU 密集型任务（如图像缩放、数值模拟、JSON 深度解析）提升明显，实测达 40%–3×，尤其在长生命周期脚本中
- 典型 Web 请求（Laravel/Symfony）平均提升约 15%–20%，但前提是 OPcache 已充分预热，且路由逻辑本身有足够循环/计算热点
- I/O 密集型场景（如大量 cURL、PDO 查询）几乎无收益，因为瓶颈不在 CPU，JIT 编译的机器码派不上用场
- 短生命周期 CLI 命令（如
php artisan optimize）可能因 JIT 初始化成本反致变慢
建议做法：先用 xhprof 或 Blackfire 定位真实热点函数，再针对性测试 JIT 开关前后的 inclusive_time 变化。
联合类型与静态分析工具的配合要点
联合类型本身不提供运行时类型强制，它主要服务于 IDE 提示和静态分析（如 PHPStan、Psalm）。但工具行为受 PHP 版本和配置影响明显。
- PHPStan level 8+ 才能完整理解联合类型推导，低版本可能误报
Type int|float of parameter is not covariant with type int of parent method - Psalm 默认对
int|float接口实现做严格检查，若子类方法返回float而父类声明int|float，需加/** @psalm-return float */注解绕过 - PHPStorm 在 PHP 8.0+ 下能正确识别
string|null并给出补全，但对嵌套联合（如(int|string)[]）支持仍有限 - 别依赖联合类型防错：传入
"123"给int|float参数不会自动转换，运行时仍是 string，需手动校验
最易被忽略的一点：联合类型声明后，gettype() 返回值不变，is_int() || is_float() 仍是必要运行时兜底手段。
