fix(autoscript): SET 赋值强制强类型检查，禁止跨类型隐式转换

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

src/autoscript/ASObject.py

@@ -32,6 +32,21 @@ _TYPE_DEFAULTS = {
     "String": ""
 }
 
+# Mapping from Python type to AutoScript type name for error messages
+_PYTHON_TO_AS_TYPE = {
+    bool: "Boolean",
+    int: "Int",
+    float: "Float",
+    str: "String",
+    date: "Date",
+    time: "Time",
+}
+
+def _asTypeName(
+    value
+) -> str:
+    return _PYTHON_TO_AS_TYPE.get(type(value), "UnknowType")
+
 
 class ASObject:
     """
@@ -174,34 +189,29 @@ class ASObject:
         target_data: dict = None
     ):
         """
-            Assign a new value to this variable, with type coercion.
+            Assign a new value to this variable, with strict type checking.
 
-            Performs coercion for Boolean (string -> bool), Int, and Float types.
+            AutoScript is strongly typed: only values whose Python type matches the
-            For config variables, dates/times are converted back to strings before
+            declared variable type are accepted.  Int->Float widening is allowed;
-            writing into target_data.
+            all other cross-type assignments raise ValueError.
 
             Args:
                 value: The value to assign.
                 target_data (dict): The application data dict (required for config vars).
 
             Raises:
-                ValueError: If the variable is read-only or value cannot be coerced.
+                ValueError: If the variable is read-only or value type mismatches the variable type.
         """
 
         if self.read_only:
             raise ValueError(f"不能修改只读变量 '{self.name}'")
-        if self.var_type == "Boolean" and not isinstance(value, bool):
+        vt = self.var_type
-            value = (str(value).upper() == "TRUE")
+        value_type = _asTypeName(value)
-        if self.var_type == "Int" and not isinstance(value, int):
+        if vt != value_type and not (vt == "Float" and value_type == "Int"):
-            try:
+            raise ValueError(
-                value = int(value)
+                f"{vt} 类型变量 '{self.name}' 不能接受 {value_type} 类型的值"
-            except (ValueError, TypeError):
+            )
-                raise ValueError(f"无法将值 '{value}' 转换为 Int 类型")
+
-        if self.var_type == "Float" and not isinstance(value, float):
-            try:
-                value = float(value)
-            except (ValueError, TypeError):
-                raise ValueError(f"无法将值 '{value}' 转换为 Float 类型")
         if self.is_config:
             if self.var_type == "Date" and isinstance(value, date):
                 value = value.strftime("%Y-%m-%d")