php 8.1 开始对内置类方法重载施加返回类型兼容性约束，本质是填补历史技术债、落实 liskov 替换原则，并为强类型演进铺路；该变更并非新增限制，而是将长期存在的语言规则统一应用于此前缺失类型声明的内置类。
在面向对象设计中，子类方法重载（override）必须保证与父类方法签名兼容，这是保障多态安全性的基石。PHP 早在 7.0 引入返回类型声明时就确立了这一原则：若父类方法声明了返回类型，子类重载方法的返回类型必须是其协变（covariant）子类型（如 mysqli_result → MySqlResult），或完全一致；而逆变（contravariant）或不相关类型（如 string → int）始终被禁止。
// ❌ 始终非法（PHP 7.0+ 即报 Fatal Error）
class A { public function foo(): string { return ''; } }
class B extends A { public function foo(): int { return 1; } } // TypeError问题的关键不在于“PHP 8.1 新增了限制”，而在于PHP 内置类长期缺乏显式返回类型声明。例如 mysqli::query() 在 PHP 8.0 及之前被内部实现为无返回类型（相当于 : mixed 或未声明），导致子类可自由添加更具体的返回类型——这看似便利，实则破坏了类型契约：
// PHP 8.0 允许但危险：父类未声明类型，子类随意指定
class MySql extends \mysqli {
function query(string $sql): ?MySqlResult { ... } // ✅ 语法通过，但语义断裂
}调用方若按 mysqli::query() 的隐式契约（返回 mysqli_result|bool）编写代码，传入 MySql 实例时将遭遇运行时类型错误，严重违背 Liskov 替换原则（LSP）：子类对象必须能无缝替换父类对象而不影响程序正确性。
PHP 8.1 通过 RFC: Internal Method Return Types 为绝大多数内置方法补全了准确的返回类型声明（如 mysqli::query(): mysqli_result|bool）。为避免大规模破坏性升级，PHP 选择先触发 Deprecated 警告而非致命错误，给予开发者迁移窗口——这正是你看到提示的原因。该警告将在 PHP 9.0 升级为 TypeError。
立即学习“PHP免费学习笔记（深入）”；
✅ 正确实践：优先采用组合（Composition）替代继承
直接继承 mysqli 违反“优先组合而非继承”原则，且内置类非为继承设计（缺少 protected 钩子、构造逻辑封闭）。推荐重构为：
class MySql {
private \mysqli $connection;
public function __construct(/* ... */) {
$this->connection = new \mysqli(/* ... */);
}
public function query(string $sql): MySqlResult {
$result = $this->connection->query($sql);
return new MySqlResult($result);
}
}⚠️ 注意事项：
- 若必须继承，可使用 #[\ReturnTypeWillChange] 属性临时抑制警告（仅限过渡期）；
- 协变返回类型需满足：子类返回类型是父类返回类型的子类型（如 ?MySqlResult 是 mysqli_result|bool 的子集？否！因 bool 无法转为对象，故仍不协变）；
- PHP 8.1+ 已支持协变返回类型（RFC: Covariant Returns and Contravariant Parameters），但要求父类方法本身声明了类型（内置类补全后才生效）。
归根结底，这一变更标志着 PHP 向可预测、可验证、可维护的强类型系统迈出关键一步：类型不再是装饰，而是契约；继承不再是“覆盖行为”，而是“扩展能力”。
