From 7939f28f373efcd0bae7162d67eebc1a3b85f35a Mon Sep 17 00:00:00 2001
From: tianfenghan <rango@swoole.com>
Date: Sat, 13 Jun 2026 18:14:06 +0800
Subject: [PATCH] =?UTF-8?q?test(phpunit):=20=E6=B7=BB=E5=8A=A0=E6=8A=BD?=
 =?UTF-8?q?=E8=B1=A1=E7=B1=BB=E5=92=8C=E7=A7=81=E6=9C=89=E6=96=B9=E6=B3=95?=
 =?UTF-8?q?=E9=87=8D=E5=86=99=E7=9A=84=E6=B5=8B=E8=AF=95=E7=94=A8=E4=BE=8B?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- 添加 testNewAbstractClass 方法测试抽象类实例化错误
- 添加 testOverridePrivateMethod 方法测试私有方法重写错误
- 使用 exec 方法验证预期的错误消息输出
- 扩展测试覆盖范围以包含更多边界情况
---
 docs/UNSUPPORTED_SYNTAX.md | 117 ++++++++++++++++++++++++++++++++++++-
 phpunit/src/ClassTest.php  |  10 ++++
 2 files changed, 125 insertions(+), 2 deletions(-)

diff --git a/docs/UNSUPPORTED_SYNTAX.md b/docs/UNSUPPORTED_SYNTAX.md
index 4de5df5e..85b7d1c5 100644
--- a/docs/UNSUPPORTED_SYNTAX.md
+++ b/docs/UNSUPPORTED_SYNTAX.md
@@ -2261,6 +2261,110 @@ function main() {
 
 ---
 
+### 13. 类继承的编译期严格检查
+
+**状态**: 行为差异  
+**PHP 版本**: 所有版本  
+**描述**: AOT 编译器在编译期对类继承关系进行比标准 PHP 更严格的检查。以下三种情况在标准 PHP 中是运行时错误，但在 AOT 中会在编译期直接报告致命错误。
+
+#### 13.1 禁止实例化抽象类
+
+在标准 PHP 中，`new AbstractClass()` 是运行时错误；AOT 在编译期检测到此类实例化时立即报错。
+
+```php
+<?php
+abstract class AbstractBase {
+    abstract function doSomething();
+}
+
+// ❌ AOT 编译错误：abstract class `AbstractBase` cannot be instantiated
+$obj = new AbstractBase();
+```
+
+**原因**: 
+- AOT 编译器在编译期即可静态分析出抽象类的实例化
+- 提前暴露 bug，避免运行时才发现
+
+#### 13.2 禁止调用父类抽象方法
+
+在标准 PHP 中，调用父类未实现的抽象方法是运行时错误；AOT 在编译期直接拦截。
+
+```php
+<?php
+abstract class AbsBase {
+    abstract public function show();
+}
+
+class Child extends AbsBase {
+    public function run() {
+        // ❌ AOT 编译错误：Cannot call abstract method `AbsBase::show()`
+        parent::show();
+    }
+}
+```
+
+**原因**:
+- 抽象方法没有方法体，调用它必然是编程错误
+- 编译期检查可以提前发现问题
+
+#### 13.3 禁止覆盖私有方法
+
+**这是 AOT 与标准 PHP 最大的行为差异之一**。标准 PHP 允许子类定义与父类私有方法同名的方法（因为私有方法对子类不可见）。AOT 编译器禁止这种行为，以避免潜在的方法签名冲突。
+
+```php
+<?php
+class Base {
+    private function doWork() {
+        return 'base';
+    }
+}
+
+class Child extends Base {
+    // ❌ AOT 编译错误：Cannot override private method `Base::doWork()`
+    private function doWork() {
+        return 'child';
+    }
+}
+```
+
+**原因**:
+- AOT 编译器采用更严格的继承模型
+- 私有方法虽然不可见，但在符号表中仍然存在
+- 同名方法可能导致 C++ 后端的符号冲突
+- 提高代码质量和可维护性
+
+**替代方案**:
+```php
+<?php
+class Base {
+    private function doWork() {
+        return 'base';
+    }
+}
+
+class Child extends Base {
+    // ✅ 使用不同的方法名
+    private function doChildWork() {
+        return 'child';
+    }
+}
+```
+
+**与标准 PHP 的区别总结**:
+
+| 检查项 | 标准 PHP | AOT 编译器 |
+|-------|---------|------------|
+| `new AbstractClass()` | 运行时 Fatal Error | 编译期 Fatal Error |
+| `parent::abstractMethod()` | 运行时 Fatal Error | 编译期 Fatal Error |
+| 覆盖父类私有方法 | ✅ 允许 | ❌ 编译期 Fatal Error |
+
+**最佳实践建议**:
+- ✅ 避免在子类中定义与父类私有方法同名的方法
+- ✅ 使用不同的命名约定区分不同层级的方法
+- ✅ 如确需覆盖行为，考虑将父类方法改为 protected
+
+---
+
 ### 7. 游离代码（全局可执行表达式）
 
 **状态**: 不支持  
@@ -2573,7 +2677,7 @@ echo "skip Generator syntax not supported in AOT";
 
 | 类别 | 数量 | 百分比 |
 |------|------|--------|
-| 不支持的语法 | 12 | - |
+| 不支持的语法 | 13 | - |
 | 计划支持的语法 | 2 | - |
 | 已支持的语法 | 50+ | ~81% |
 
@@ -2585,6 +2689,12 @@ echo "skip Generator syntax not supported in AOT";
 
 ## 📝 更新日志
 
+### 2026-06-13
+- 新增 **类继承的编译期严格检查**: AOT 编译器在编译期对类继承关系进行比标准 PHP 更严格的检查
+- **禁止实例化抽象类**: 标准 PHP 中为运行时错误，AOT 在编译期检测
+- **禁止调用父类抽象方法**: 编译期直接拦截未实现的抽象方法调用
+- **禁止覆盖父类私有方法**: 与标准 PHP 最大的行为差异，PHP 允许而 AOT 禁止子类定义与父类私有方法同名的方法
+
 ### 2024-04-07
 - 新增 3 个不支持的语法特性
 - **重复的函数名和类名**: AOT 编译器禁止在同一作用域内定义同名的函数或类，与标准 PHP 不同。PHP 允许后定义覆盖先前的定义，而 AOT 编译器会在编译时报错。
@@ -2676,7 +2786,10 @@ A: 游离代码指在函数或方法之外直接执行的可执行表达式（
 | **变长引用参数** | ❌ 不支持 | 使用数组参数代替 |
 | **重复函数/类名** | ❌ 不支持 | 使用命名空间、不同名称或条件定义 |
 | **break/continue N** | ❌ 不支持 | 使用 goto、标志变量、函数返回或 try/catch |
-| **字符串越界访问** | ⚠️ 行为不一致 | 添加边界检查或使用 substr()
+| **字符串越界访问** | ⚠️ 行为不一致 | 添加边界检查或使用 substr() |
+| **实例化抽象类** | ❌ 编译期错误 | 改用具体子类 |
+| **调用父类抽象方法** | ❌ 编译期错误 | 实现抽象方法后调用 |
+| **覆盖父类私有方法** | ❌ 编译期错误 | 使用不同的方法名 |
 
 ### 正确的代码结构模板
 
diff --git a/phpunit/src/ClassTest.php b/phpunit/src/ClassTest.php
index 1828e8ee..b74146c2 100644
--- a/phpunit/src/ClassTest.php
+++ b/phpunit/src/ClassTest.php
@@ -16,4 +16,14 @@ class ClassTest extends \BaseTest
     {
         $this->exec('Cannot call abstract method `AbsBase::show()`', 'parent-abstract-method.php');
     }
+
+    public function testNewAbstractClass()
+    {
+        $this->exec('abstract class `AbstractBase` cannot be instantiated', 'abstract-class-new.php');
+    }
+
+    public function testOverridePrivateMethod()
+    {
+        $this->exec('Cannot override private method `Base::doWork()`', 'override-private-method.php');
+    }
 }