php 8.1 对内置类方法重载施加返回类型兼容性约束，本质是补全类型系统一致性，而非引入新限制；它修正了历史遗留的内置方法无显式返回类型的缺陷，并为 php 9.0 的完全类型安全铺路。
在面向对象语言理论中，Liskov 替换原则（LSP） 是核心基石之一：子类型必须能无缝替换其父类型，而不会破坏程序的正确性。其中关键一环，便是方法契约（method contract）的双向守恒——不仅参数类型需协变（contravariant in parameters），返回类型也需逆变（covariant in return types）。但注意：PHP 并不支持返回类型的协变（即子类方法返回更具体的子类型），而是要求严格兼容或更宽泛（如 mysqli_result|bool 可被 ?mysqli_result 替代，但不能被 MySqlResult 单独替代），这是由其类型系统设计决定的。
你遇到的报错并非 PHP 8.1 “新增限制”，而是对长期存在的语义矛盾进行正本清源。回顾以下代码：
class A {
public function foo(): string { return ''; }
}
class B extends A {
public function foo(): int { return 1; } // ❌ Fatal error since PHP 7.2+
}这段代码在 PHP 7.2+ 中早已报 Fatal error: Declaration must be compatible —— 用户定义类的方法重载，自 PHP 7.2 起就强制要求返回类型兼容。真正的问题在于：PHP 内置类（如 mysqli）长期未声明返回类型，导致其“方法契约”在类型层面是模糊甚至缺失的。例如，mysqli::query() 在 PHP 8.0 及之前实际被视作 function query($sql, $resultmode = null)（无返回类型声明），根据 PHP 类型规则，此时子类可自由添加更精确的返回类型（如 : ?MySqlResult），这看似便利，实则埋下严重隐患：
- 调用方若按 mysqli 接口使用 $db->query(...)，预期得到 mysqli_result|bool，却意外收到 MySqlResult，类型不匹配；
- 静态分析器（如 PHPStan、Psalm）无法准确推断行为，削弱类型安全性；
- 多态调用失效：function process(\mysqli $db) { $db->query(...); } 传入 MySql 实例时，逻辑可能崩溃。
PHP 8.1 通过 RFC: Internal Method Return Types 为绝大多数内置方法补全了准确的返回类型声明（如 mysqli::query(): mysqli_result|bool）。为避免大规模破坏性升级，PHP 8.1 选择降级为 Deprecated 警告而非直接报错，给予开发者迁移窗口；PHP 9.0 将彻底执行该规则，不兼容重载将触发 Fatal error。
立即学习“PHP免费学习笔记（深入）”；
✅ 正确实践：优先采用组合（Composition）替代继承
继承 mysqli 不仅违反 LSP（你无法保证 MySql 实例在所有 mysqli 上下文中行为一致），还紧耦合于实现细节。推荐重构为组合模式：
class MySql {
private \mysqli $connection;
public function __construct(\mysqli $connection) {
$this->connection = $connection;
}
public function query(string $sql): MySqlResult {
$result = $this->connection->query($sql);
return new MySqlResult($result);
}
// 显式委托其他必要方法（或使用 __call 实现透明代理）
public function real_escape_string(string $string): string {
return $this->connection->real_escape_string($string);
}
}⚠️ 注意事项：
- 若必须继承且需临时压制警告，可添加 #[\ReturnTypeWillChange] 属性（仅限 PHP 8.1+），但这是过渡方案，不可长期依赖；
- mysqli_result|bool 是联合类型，PHP 不支持直接返回其子类型（如仅 MySqlResult），因 bool（false）语义无法被 MySqlResult 覆盖；
- 所有自定义类间的继承，应始终确保子类方法签名（含返回类型）与父类严格兼容，这是保障多态可靠性的底线。
总结而言，PHP 8.1 的这一变更，是语言走向成熟类型系统的必然一步：它不是限制你的表达力，而是通过收紧契约，迫使开发者写出更可预测、更易维护、更易静态验证的面向对象代码。
