在php 7.1中，?string是声明可空字符串类型的简写语法，等价于联合类型string|null。它允许函数参数、返回值或属性接受字符串值或null，从而在类型层面明确表达“该位置可能为空”的业务语义，避免调用方传入非法类型导致运行时致命错误。
可空类型的声明与基础用法
可空类型主要应用于函数参数和返回值声明。当参数标记为?string $name时，调用者可以传递具体的字符串，也可以传递null。如果未提供默认值且传入了非字符串非null的值，PHP会抛出TypeError。这种机制将类型检查提前到了函数入口，增强了代码的健壮性。
以下是一个完整的示例程序，展示了如何在类方法中使用可空字符串类型进行用户信息处理。代码包含了对null值的显式判断逻辑，以及类型不匹配时的异常捕获演示。
立即学习“PHP免费学习笔记（深入）”；
<?php
// 文件名: nullable_demo.php
// 运行方式: php nullable_demo.php
class UserProfile {
// 使用 ?string 声明可选的用户名
public function greet(?string $username): string {
if ($username === null) {
return "Guest";
}
return "Hello, " . htmlspecialchars($username);
}
}
$profile = new UserProfile();
// 正常调用：传入字符串
try {
echo $profile->greet("Alice") . PHP_EOL;
} catch (TypeError $e) {
echo "Error: " . $e->getMessage() . PHP_EOL;
}
// 可空调用：传入 null
try {
echo $profile->greet(null) . PHP_EOL;
} catch (TypeError $e) {
echo "Error: " . $e->getMessage() . PHP_EOL;
}
// 错误调用：传入整数，触发 TypeError
try {
echo $profile->greet(12345) . PHP_EOL;
} catch (TypeError $e) {
echo "Type Error: " . $e->getMessage() . PHP_EOL;
}
?>
执行上述代码，前两次调用分别输出“Hello, Alice”和“Guest”。第三次调用因传入整数而非字符串或null，触发TypeError，被catch块捕获并打印错误信息。这证明了?string严格限制了输入范围，仅接受字符串或空值。
可空类型与默认值的交互边界
当可空类型参数同时拥有默认值时，行为需要特别注意。如果默认值为null，则调用时可省略该参数；如果默认值为具体字符串，则省略参数时等效于传入该字符串，而非null。此外，?string不能用于静态属性或全局变量的类型声明，仅适用于参数、返回值及局部变量（需配合declare(strict_types=1)或在强类型模式下）。
在实际排查中，常见误区是认为?string会自动将空字符串''转换为null。事实并非如此，''是合法的字符串值，而null是另一种类型。若业务逻辑需要区分“未提供”和“提供空串”，应依赖默认值设计或显式转换。例如，在数据库查询中，NULL表示未知，而空字符串表示明确的空内容，两者在?string下均合法，但语义不同，需在应用层通过条件判断区分处理，避免混淆数据状态。
向后兼容性与版本限制
?string语法仅在PHP 7.1及以上版本支持。在早期版本中，必须使用string|null联合类型写法。迁移代码时需注意，若项目同时支持旧版本解析器，应避免使用此简写。另外，可空类型不影响函数的重载，因为PHP不支持基于参数类型的函数重载。在使用IDE或静态分析工具时，确保配置正确的PHP版本以正确识别?string，否则可能产生误报的类型警告。
