本文详解 PHP 7.1 引入的可空类型语法（?Type），说明其在参数、属性和返回值中的用法、语义约束及常见误区，并通过实例演示正确写法与典型错误。
本文详解 php 7.1 引入的可空类型语法（`?type`），说明其在参数、属性和返回值中的用法、语义约束及常见误区，并通过实例演示正确写法与典型错误。
在 PHP 中，前置问号（?）是可空类型（Nullable Type） 的声明符号，用于显式表明某个变量、函数参数、类属性或返回值可以接受 null 值，而不仅限于所标注的类型。该特性自 PHP 7.1 起正式引入，是类型系统的重要增强，显著提升了代码的健壮性与可读性。
语法含义与基本规则
?Type 并非独立类型，而是 Type|null 的语法糖。例如：
- ?Logger 等价于 Logger|null
- ?string 等价于 string|null
- ?int 等价于 int|null
⚠️ 注意：
- ? 必须紧邻类型名之前，不能有空格（如 ? Logger 是非法语法）；
- 仅适用于允许 null 的上下文（如参数默认值为 null、属性初始化为 null，或返回值可能为 null）；
- 若类型本身已支持 null（如 mixed 或未启用严格模式下的弱类型），则 ?mixed 无实际意义（且 PHP 8.0+ 已弃用 ?mixed）；
- 启用严格类型检查（declare(strict_types=1);）时，可空类型仍受类型强制约束——传入非 null 非目标类型的值（如传 'foo' 给 ?int）仍将触发 TypeError。
实际应用示例
以下是在构造函数参数中使用可空类型的典型场景：
立即学习“PHP免费学习笔记（深入）”；
<?php
class Logger {}
class NullLogger extends Logger {}
class Service
{
private Logger $logger;
public function __construct(?Logger $logger = null)
{
// $logger 可为 Logger 实例 或 null
$this->logger = $logger ?? new NullLogger();
}
}✅ 合法调用：
$service1 = new Service(new Logger()); // 传入 Logger 实例 $service2 = new Service(); // 使用默认 null，触发 ?? 运算符 $service3 = new Service(null); // 显式传入 null
❌ 非法调用（启用严格模式时）：
new Service('invalid'); // TypeError: Argument #1 ($logger) must be of type ?Logger, string given其他支持位置
除参数外，可空类型还可用于：
-
类属性声明（PHP 7.4+ 属性类型支持）：
class Example { private ?string $name = null; } -
函数/方法返回类型：
function findUser(int $id): ?User { return $id === 1 ? new User() : null; } 静态分析与 IDE 支持：现代 IDE（如 PhpStorm、VS Code + Intelephense）能基于 ?Type 提供更精准的自动补全与空值警告。
总结与最佳实践
- ✅ 推荐显式使用 ?Type 替代模糊的 @param Type|null 注释，让类型意图一目了然；
- ✅ 结合空合并运算符 ?? 或 isset() 进行安全解包，避免 Notice: Trying to access array offset on value of type null 类错误；
- ❌ 避免滥用：若逻辑上绝不应为 null，请勿添加 ? —— 类型系统应反映真实契约；
- ? 检查环境：确保运行环境为 PHP ≥ 7.1，且项目已启用 strict_types=1（强烈建议）以获得完整类型安全保障。
可空类型是 PHP 类型演进的关键一步。合理运用 ?，既能提升代码表达力，又能借助引擎与工具链提前捕获潜在缺陷，是现代 PHP 开发者的必备技能。
