本文详解 PHP 7.1 引入的可空类型语法（?Type），说明其在参数、属性及返回值中的用法、语义约束、与联合类型的关系，以及实际开发中的最佳实践。
本文详解 php 7.1 引入的可空类型语法（`?type`），说明其在参数、属性及返回值中的用法、语义约束、与联合类型的关系，以及实际开发中的最佳实践。
在 PHP 中，前置问号（?）并非独立运算符，而是可空类型（Nullable Type） 的语法标记，用于显式声明某个参数、类属性或函数返回值可以接受 null 值，同时仍保持严格的类型约束。它自 PHP 7.1 起正式引入，是类型系统演进的关键一步。
语法形式与基本规则
可空类型通过在类型名前加 ? 构成，例如 ?string、?Logger、?int。其语义等价于该类型的联合类型 Type|null，但写法更简洁且语义更明确。需注意以下核心规则：
- ? 仅作用于类型名本身，不能用于复合类型（如 ?array|string 是非法的；正确写法应为 array|string|null 或 PHP 8.0+ 的 ?array|string 仅当 ? 修饰 array 时才有效，但通常推荐用联合类型）；
- ? 不可与 void 组合（?void 无效），因为 void 本就不应有返回值；
- 使用可空类型时，必须显式允许 null 作为默认值或传入值，否则会触发 TypeError；
- 若类型已使用 |null 显式声明（PHP 8.0+），则 ?Type 与 Type|null 完全等价，底层处理一致。
实际应用示例
以下代码展示了可空类型在构造函数参数和属性声明中的典型用法：
<?php
class Logger {}
class NullLogger extends Logger {}
class Service
{
private Logger $logger;
public function __construct(
?Logger $logger = null, // ✅ 允许传入 Logger 实例或 null
) {
$this->logger = $logger ?? new NullLogger(); // null 合并操作符安全赋值
}
}
// 调用方式均合法：
new Service(); // $logger = null → 使用 NullLogger
new Service(new Logger()); // $logger = Logger 实例
new Service(null); // 显式传 null
// new Service("invalid"); // ❌ TypeError: Argument #1 must be of type ?Logger同样，它也适用于返回值和属性：
立即学习“PHP免费学习笔记（深入）”；
class UserManager
{
private ?string $cachedName = null;
public function getName(): ?string
{
return $this->cachedName ?: $_SESSION['name'] ?? null;
}
}注意事项与常见误区
- 不是“可选参数”：?Type $param = null 中的 ? 约束的是类型（允许 null），而 = null 提供默认值。二者职责不同，缺一不可才能实现“可传可不传且类型安全”；
- 与联合类型的兼容性：PHP 8.0 引入联合类型后，?T 可被视作 T|null 的语法糖。但在严格模式下，?T 更强调设计意图——该位置“预期可能无值”，语义更强；
- 静态分析友好：现代 IDE（如 PhpStorm）和静态分析工具（PHPStan、Psalm）能精准识别 ?Type，提供更可靠的空值检查和自动补全；
- 避免滥用：若业务逻辑中 null 并非合理状态（如 ID 字段），强行声明 ?int 反而掩盖缺陷，应优先考虑领域建模（如使用值对象或抛出异常）。
总结
?Type 是 PHP 类型系统中表达“可为空”语义的标准化、类型安全的方式。它强化了代码的可读性与健壮性，是现代 PHP 开发（尤其是面向对象与依赖注入场景）的必备语法。掌握其用法，配合 ??、??= 和严格类型检查，能显著减少运行时空指针类错误，并提升团队协作效率。
