PHP 8.0+ 中 ?Type 是原生可为空类型语法，等价于 Type|null，仅适用于参数、属性（7.4+）和返回值声明，需 strict_types=1 且不可用于数组键或动态属性。
PHP 8.0+ 中用 ?Type 声明可为空变量类型
PHP 从 8.0 开始原生支持联合类型和可为空类型，?string、?int 这类写法不是语法糖，而是类型系统的一部分——它等价于 string|null，但更简洁、语义更明确。
注意：这仅在启用了严格类型（declare(strict_types=1);）且运行于 PHP 8.0+ 时生效；低版本会直接报错或忽略。
-
?Type只能用于参数默认值为null的场景，或属性/返回值声明中显式允许null - 不能写成
??string或string?—— 后者是 TypeScript 风格，PHP 不认 - 如果函数参数声明为
?string $name，调用时传null合法，传""也合法（空字符串 ≠ null），但传42会触发TypeError
function greet(?string $name): string {
return $name ? "Hello, {$name}" : "Hello, guest";
}
greet(null); // ✅ 返回 "Hello, guest"
greet("Alice"); // ✅ 返回 "Hello, Alice"
greet(123); // ❌ TypeError: Argument 1 must be of type string|nullPHP 7.x 怎么模拟可为空类型
PHP 7.1 引入了 nullable 类型（即 ?Type），但仅限于函数参数和返回值；7.0 及更早版本完全不支持。若必须兼容老版本，只能靠文档 + 运行时校验。
- 别试图用
/** @var string|null $x */注释欺骗 IDE —— 它不影响实际类型检查，只影响静态分析工具（如 PHPStan） - 参数校验要手动写：
if ($x !== null && !is_string($x)) { throw new TypeError(...); } - 属性无法声明可为空类型，只能靠构造函数赋值或 setter 控制，例如：
private ?string $email = null;在 7.4+ 才合法（7.4 支持属性类型，但不支持?前缀，得写成string|null）
string|null 和 ?string 的实际差异
二者在运行时行为完全一致，但解析阶段有区别：前者是联合类型（PHP 8.0+），后者是可为空类型语法糖。IDE 和静态分析器对它们的提示精度可能不同。
立即学习“PHP免费学习笔记（深入）”；
-
?string更紧凑，适合参数/返回值高频使用；string|null更显式，适合复杂联合类型如int|string|null - PHP 8.0+ 允许混合使用，但不要写成
??string或?string|null—— 语法错误 - 性能无差别，底层都编译为相同类型约束；但误用
?array而非array|null在某些扩展（如 opcache）下可能触发意外缓存失效
容易被忽略的坑：数组键、对象属性、全局变量不能直接声明可为空类型
可为空类型只作用于函数签名、类属性、返回值，不适用于动态结构。比如数组元素、stdClass 属性、$_GET 等，PHP 无法在语言层强制约束。
-
$data['user']即使注释为@var ?User，运行时仍可能为42或undefined，需手动判空：isset($data['user']) && $data['user'] instanceof User -
stdClass属性无法声明类型：$obj->name = null;合法，但后续赋值为42不会报错 - 全局变量（如
$config）无法加类型声明，只能靠配置加载逻辑保证初始值合规
类型声明管得住“定义”，管不住“赋值”——尤其在动态上下文里，null 检查永远得落在具体使用点上，而不是指望类型系统兜底。
