From b332c76ef88d8353569e776cdc5ed6d66d3893da Mon Sep 17 00:00:00 2001
From: Luke <luke.k.xu@hotmail.com>
Date: Sun, 20 Jul 2025 20:14:52 +0800
Subject: [PATCH] =?UTF-8?q?feat:=20=E5=A2=9E=E5=8A=A0=E8=87=AA=E5=8A=A8?=
 =?UTF-8?q?=E5=AF=BC=E5=85=A5=E6=A8=A1=E5=9D=97=E5=87=BD=E6=95=B0=E8=B0=83?=
 =?UTF-8?q?=E7=94=A8=E6=94=AF=E6=8C=81=20-=20=E5=AE=9E=E7=8E=B0=E4=BA=86?=
 =?UTF-8?q?=E5=9C=A8=E5=BD=93=E5=89=8D=E6=A8=A1=E5=9D=97=E6=9C=AA=E6=89=BE?=
 =?UTF-8?q?=E5=88=B0=E7=9B=AE=E6=A0=87=E5=87=BD=E6=95=B0=E6=97=B6=EF=BC=8C?=
 =?UTF-8?q?=E8=87=AA=E5=8A=A8=E9=81=8D=E5=8E=86=E6=89=80=E6=9C=89=E5=B7=B2?=
 =?UTF-8?q?=E5=AF=BC=E5=85=A5=E6=A8=A1=E5=9D=97=E5=AF=BB=E6=89=BE=E5=94=AF?=
 =?UTF-8?q?=E4=B8=80=E5=90=8C=E5=90=8D=E5=87=BD=E6=95=B0=E7=9A=84=E5=8A=9F?=
 =?UTF-8?q?=E8=83=BD=20-=20=E5=A6=82=E6=9E=9C=E5=A4=9A=E4=B8=AA=E5=AF=BC?=
 =?UTF-8?q?=E5=85=A5=E6=A8=A1=E5=9D=97=E5=90=AB=E6=9C=89=E5=90=8C=E5=90=8D?=
 =?UTF-8?q?=E5=87=BD=E6=95=B0=EF=BC=8C=E4=BC=9A=E6=8A=A5=E9=94=99=E6=8F=90?=
 =?UTF-8?q?=E7=A4=BA=E5=87=BD=E6=95=B0=E8=B0=83=E7=94=A8=E4=B8=8D=E6=98=8E?=
 =?UTF-8?q?=E7=A1=AE=20-=20=E8=BF=99=E4=B8=AA=E6=94=B9=E5=8A=A8=E6=89=A9?=
 =?UTF-8?q?=E5=B1=95=E4=BA=86=E5=87=BD=E6=95=B0=E8=B0=83=E7=94=A8=E7=9A=84?=
 =?UTF-8?q?=E8=8C=83=E5=9B=B4=EF=BC=8C=E6=8F=90=E9=AB=98=E4=BA=86=E4=BB=A3?=
 =?UTF-8?q?=E7=A0=81=E7=9A=84=E7=81=B5=E6=B4=BB=E6=80=A7=E5=92=8C=E5=8F=AF?=
 =?UTF-8?q?=E5=A4=8D=E7=94=A8=E6=80=A7?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 playground/Demo/Demo14/BuiltinUtils.snow      | 19 -----------
 .../expression/CallExpressionAnalyzer.java    | 34 +++++++++++++++++--
 2 files changed, 32 insertions(+), 21 deletions(-)
 delete mode 100644 playground/Demo/Demo14/BuiltinUtils.snow

diff --git a/playground/Demo/Demo14/BuiltinUtils.snow b/playground/Demo/Demo14/BuiltinUtils.snow
deleted file mode 100644
index d915ee8..0000000
--- a/playground/Demo/Demo14/BuiltinUtils.snow
+++ /dev/null
@@ -1,19 +0,0 @@
-module: BuiltinUtils
-  function: print
-    parameter:
-      declare msg: int
-    return_type: void
-    body:
-      syscall("PRINT",1)
-    end body
-  end function
-
-  function: println
-    parameter:
-      declare msg: int
-    return_type: void
-    body:
-      syscall("PRINTLN",1)
-    end body
-  end function
-end module
diff --git a/src/main/java/org/jcnc/snow/compiler/semantic/analyzers/expression/CallExpressionAnalyzer.java b/src/main/java/org/jcnc/snow/compiler/semantic/analyzers/expression/CallExpressionAnalyzer.java
index 8c2eddc..df0993c 100644
--- a/src/main/java/org/jcnc/snow/compiler/semantic/analyzers/expression/CallExpressionAnalyzer.java
+++ b/src/main/java/org/jcnc/snow/compiler/semantic/analyzers/expression/CallExpressionAnalyzer.java
@@ -20,7 +20,7 @@ import java.util.List;
  * <p>
  * 它负责处理类似 {@code callee(arg1, arg2, ...)} 形式的调用表达式，执行如下操作:
  * <ul>
- *   <li>识别调用目标（支持模块成员函数调用和当前模块函数调用）；</li>
+ *   <li>识别调用目标（支持模块成员函数调用和当前模块函数调用，也支持自动在所有已导入模块中查找唯一同名函数）；</li>
  *   <li>根据被调用函数的参数签名检查实参数量和类型的兼容性；</li>
  *   <li>支持数值参数的宽化转换（如 int → double）；</li>
  *   <li>支持数值到字符串的隐式转换（自动视为调用 {@code to_string}）；</li>
@@ -77,8 +77,38 @@ public class CallExpressionAnalyzer implements ExpressionAnalyzer<CallExpression
             return BuiltinType.INT;
         }
 
-        // 查找目标函数签名
+        // 查找目标函数签名（先在当前模块/显式模块查找）
         FunctionType ft = target.getFunctions().get(functionName);
+
+        // 如果当前模块未找到，再自动遍历所有已导入模块寻找唯一同名函数
+        if (ft == null && target == mi) {
+            ModuleInfo foundModule = null;
+            FunctionType foundType = null;
+            for (String importName : mi.getImports()) {
+                ModuleInfo imported = ctx.getModules().get(importName);
+                if (imported == null) continue;
+                FunctionType candidate = imported.getFunctions().get(functionName);
+                if (candidate != null) {
+                    if (foundModule != null) {
+                        // 多个导入模块含有同名函数，二义性，报错
+                        ctx.getErrors().add(new SemanticError(callee,
+                                "函数调用不明确: " + functionName +
+                                        " 同时存在于模块 " + foundModule.getName() +
+                                        " 和 " + imported.getName()));
+                        ctx.log("错误: 函数调用不明确 " + functionName);
+                        return BuiltinType.INT;
+                    }
+                    foundModule = imported;
+                    foundType = candidate;
+                }
+            }
+            if (foundType != null) {
+                target = foundModule;
+                ft = foundType;
+            }
+        }
+
+        // 最终未找到则报错
         if (ft == null) {
             ctx.getErrors().add(new SemanticError(callee,
                     "函数未定义: " + functionName));