From 2912b40b0f23700d0f4fb7f081803f0200e5f00d Mon Sep 17 00:00:00 2001
From: tianfenghan <rango@swoole.com>
Date: Thu, 23 Apr 2026 13:04:11 +0800
Subject: [PATCH] =?UTF-8?q?feat(compiler):=20=E6=B7=BB=E5=8A=A0=E5=8E=9F?=
 =?UTF-8?q?=E7=94=9F=E7=B1=BB=E5=9E=8B=E6=94=AF=E6=8C=81=E5=92=8C=E5=B1=9E?=
 =?UTF-8?q?=E6=80=A7=E8=8E=B7=E5=8F=96=E5=8A=9F=E8=83=BD?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- 在编译器基础类中添加了 Expr_PropertyFetch 表达式处理逻辑
- 实现了原生属性变量检测和类型推断功能
- 新增了属性获取表达式的原生属性变量标记机制
- 更新了多个示例文件以使用 native_types 命名空间
- 添加了默认数组属性测试用例验证功能
- 集成了 polyfills 支持并在主入口点传递命令行参数
---
 bin/compiler.php                   |  1 +
 cli.php                            |  2 +-
 examples/bench.php                 |  2 ++
 examples/pi.php                    |  2 ++
 src/Php/CompilerBase.php           | 11 +++++++++++
 tests/aot/object_property/003.phpt | 25 +++++++++++++++++++++++++
 6 files changed, 42 insertions(+), 1 deletion(-)
 create mode 100644 tests/aot/object_property/003.phpt

diff --git a/bin/compiler.php b/bin/compiler.php
index 45ec141d..93dabdc4 100755
--- a/bin/compiler.php
+++ b/bin/compiler.php
@@ -1,6 +1,7 @@
 #!/usr/bin/env php
 <?php
 require __DIR__ . '/bootstrap.php';
+require __DIR__ . '/../src/polyfills.php';
 require __DIR__ . '/../src/gen_stub.php';
 
 use PhpAot\Php\Translator;
diff --git a/cli.php b/cli.php
index 06ec5c2e..bf5b6081 100755
--- a/cli.php
+++ b/cli.php
@@ -1,4 +1,4 @@
 #!/usr/bin/env php
 <?php
 include $argv[1];
-main();
\ No newline at end of file
+main($argc, $argv);
\ No newline at end of file
diff --git a/examples/bench.php b/examples/bench.php
index 7ac759f1..8c12e039 100644
--- a/examples/bench.php
+++ b/examples/bench.php
@@ -1,4 +1,6 @@
 <?php
+use native_types;
+
 function simple()
 {
     $a = 0;
diff --git a/examples/pi.php b/examples/pi.php
index 2ad32e0c..363831b6 100644
--- a/examples/pi.php
+++ b/examples/pi.php
@@ -1,4 +1,6 @@
 <?php
+use native_types;
+
 function main()
 {
     ini_set("precision", 17);
diff --git a/src/Php/CompilerBase.php b/src/Php/CompilerBase.php
index 7152cd33..34bdb477 100644
--- a/src/Php/CompilerBase.php
+++ b/src/Php/CompilerBase.php
@@ -1905,6 +1905,16 @@ class CompilerBase extends \PhpAot\Core\Translator
                     }
                 }
                 break;
+            case 'Expr_PropertyFetch':
+                if ($this->isVarExpr($expr->var) and $this->isIdExpr($expr->name)) {
+                    $this->parsePropertyFetch($expr);
+                    if ($expr->getAttribute('nativePropertyVar')) {
+                        $propVar = $expr->getAttribute('nativePropertyVar');
+                        $info = $this->context->objectProps[$propVar];
+                        return $info['type'];
+                    }
+                }
+                break;
             case 'Expr_New':
                 return self::TYPE_OBJECT;
             case 'Expr_Assign':
@@ -3465,6 +3475,7 @@ class CompilerBase extends \PhpAot\Core\Translator
                         'getter' => $getProperty,
                     ];
                 }
+                $expr->setAttribute('nativePropertyVar', $propVar);
                 return $propVar;
             }
         }
diff --git a/tests/aot/object_property/003.phpt b/tests/aot/object_property/003.phpt
new file mode 100644
index 00000000..0e605843
--- /dev/null
+++ b/tests/aot/object_property/003.phpt
@@ -0,0 +1,25 @@
+--TEST--
+default array property
+--FILE--
+<?php
+use native_types;
+
+class Test {
+    protected int $x = 100;
+
+    function bar() {
+        $x = $this->x;
+        $x += 23;
+        $this->x += 12;
+        var_dump($x, $this->x);
+    }
+}
+
+function main() {
+    $obj = new Test;
+    $obj->bar();
+}
+?>
+--EXPECT--
+int(123)
+int(112)
\ No newline at end of file