@dongmingzhixiu/vuexir-compiler 0.3.2 → 0.3.4

package/dist/transform/vue2ir.d.ts

@@ -48,6 +48,7 @@ export declare function generateRuntimeSource(states: {
     name: string;
     init: number | string | boolean;
     list?: boolean;
+    obj?: boolean;
     computed?: string;
 }[], handlers: {
     name: string;

package/dist/transform/vue2ir.js

@@ -27,6 +27,20 @@ let storeGetterWarnings = [];
 let derivedNames = new Map();
 /** R88 store 文件导出的常量数组（v-for 编译期内联用） */
 let storeConstArrays = {};
+/** R98 P3 表达式下沉：无法静态翻译的模板表达式 → 运行时求值状态（复用 R96 computed 通道） */
+let jsExprSeq = 0;
+let jsExprStates = [];
+let jsExprStateNames = [];
+/** 把一段 JS 表达式注册为运行时求值状态，返回状态名（模板 bind 用） */
+function addJsExprState(expr) {
+    const name = `_vrnE${jsExprSeq++}`;
+    // ① ref.value → stateStore.x；② 裸状态名 → stateStore.x（对象态/字符串态都要走 stateStore，
+    //    否则 JS 里没有这个变量）；③ 形如 fn( 的调用不重写（那是 utils bundle 提供的全局函数）
+    let js = expr.replace(/\b([A-Za-z_$][\w$]*)\.value\b/g, (all, id) => jsExprStateNames.includes(id) ? `stateStore.${id}` : all);
+    js = js.replace(/(?<![.\w$])([A-Za-z_$][\w$]*)(?!\s*\()/g, (all, id) => jsExprStateNames.includes(id) ? `stateStore.${id}` : all);
+    jsExprStates.push({ name, init: '', computed: js });
+    return name;
+}
 /** R86 store 别名表：`ui` → StoreDef（每次 vueToIr 重建；与 vforConsts 同风格） */
 let storeAliases = new Map();
 /** R86 把 `alias.field.path` 拍平为 `alias_field.path`；getter/action 返回哨兵串 */
@@ -293,26 +307,34 @@ export function generateRuntimeSource(states, handlers, onMounted, onMountedAsyn
 // R96 computed 求值：页面里的 computed(() => expr) 原样在 JS 里算，结果写回状态
 function __vrnRecompute() {
 ${computedStates
-            .map((st) => `  try { stateStore.${st.name} = String(${st.computed}); } catch (e) { /* 求值失败保持初值 */ }`)
+            .map((st) => 
+        // 注意：求值状态在 IR 里以空串声明（原生 @State 是 String），必须字符串化后再推送，
+        // 否则 iOS 侧类型不匹配会丢掉值；代价是这条链上的算术会退化成字符串拼接（见 RULES R98 限制）
+        `  try { var __v = (${st.computed}); stateStore.${st.name} = (__v === null || __v === undefined) ? '' : String(__v); } catch (e) { /* 求值失败保持初值 */ }`)
             .join('\n')}
 }
 __vrnRecompute();
 `;
     const initPairs = states.map((s) => {
         // M4b 动态列表态：list → JS 真数组（'[]' 或 '["a","b"]' JSON 字面量，Swift JSONSerialization 可解码）
-        const v = s.list
-            ? String(s.init)
-            : s.init === '[]'
-                ? '[]'
-                : typeof s.init === 'number'
-                    ? String(s.init)
-                    : typeof s.init === 'boolean'
-                        ? (s.init ? 'true' : 'false')
-                        : `"${s.init.replace(/"/g, '\\"')}"`;
+        // R98：对象态在 JS 侧要是真对象（原生侧仍收 JSON 字符串），否则 {{ form.name }} 求值失败
+        const v = s.obj && typeof s.init === 'string'
+            ? `JSON.parse(${JSON.stringify(s.init)})`
+            : s.list
+                ? String(s.init)
+                : s.init === '[]'
+                    ? '[]'
+                    : typeof s.init === 'number'
+                        ? String(s.init)
+                        : typeof s.init === 'boolean'
+                            ? (s.init ? 'true' : 'false')
+                            : `"${s.init.replace(/"/g, '\\"')}"`;
         return `  ${s.name}: ${v}`;
     });
     const handlerSrc = handlers
-        .map((h) => `${h.async ? 'async ' : ''}function ${h.name}(${h.params}) {\n${indentBody(h.body)}\n}`)
+        .map((h) => `${h.async ? 'async ' : ''}function ${h.name}(${h.params}) {\n${indentBody(h.body)}\n${
+    // R96/R98：改完状态后重算派生值（computed / 表达式下沉），否则界面不会跟着变
+    (states.some((st) => st.computed) ? '  if (typeof __vrnRecompute === "function") __vrnRecompute();\n' : '')}}`)
         .join('\n');
     return `// vue-render-native · M3 状态运行时（JavaScriptCore 宿主；语义与 QuickJS 对齐，R12）
 // stateStore：Swift @State 与 JS 侧状态注册表的双向同步桥（JS 改 → __setState 写回原生；Swift push 经 __fromSwift 防回环）
@@ -880,6 +902,8 @@ export function vueToIr(source, opts = {}) {
     storeConstArrays = {};
     derivedNames = new Map();
     storeGetterWarnings = [];
+    jsExprSeq = 0;
+    jsExprStates = [];
     const warnings = [];
     const { descriptor, errors } = parse(source, { filename: 'Screen.vue' });
     if (errors.length > 0) {
@@ -1022,16 +1046,9 @@ export function vueToIr(source, opts = {}) {
                 if (stateInfo.states.some((st) => st.name === name))
                     continue;
                 const jsExpr = rawExpr.replace(/\b([A-Za-z_$][\w$]*)\.value\b/g, (all, id) => stateNames.includes(id) ? `stateStore.${id}` : all);
-                const idents = [...jsExpr.matchAll(/(?<![.\w$])([A-Za-z_$][\w$]*)/g)].map((m2) => m2[1]);
-                const unknown = idents.filter((id) => !SAFE.has(id) && !/^stateStore$/.test(id) && !stateNames.includes(id));
-                // 未知标识符只允许出现在字符串字面量里（粗筛：去掉引号内容再判一次）
-                const stripped = jsExpr.replace(/'[^']*'|"[^"]*"|`[^`]*`/g, '""');
-                const unknown2 = [...stripped.matchAll(/(?<![.\w$])([A-Za-z_$][\w$]*)/g)]
-                    .map((m2) => m2[1])
-                    .filter((id) => !SAFE.has(id) && !stateNames.includes(id));
-                if (unknown.length === 0 || unknown2.length === 0) {
-                    stateInfo.states.push({ name, init: '', computed: jsExpr });
-                }
+                // R97：不再要求「标识符全部已知」——外部函数由 utils bundle（esbuild）提供，
+                // 运行时找不到时由 try/catch 兜住（保持 init 空串），不静默也不阻断编译
+                stateInfo.states.push({ name, init: '', computed: jsExpr });
             }
         }
         // R89 常量折叠：模块级纯常量（含可静态求值的模板字面量）注入为状态
@@ -1067,6 +1084,8 @@ export function vueToIr(source, opts = {}) {
             if (value !== undefined)
                 stateInfo.states.push({ name, init: value });
         }
+        // R98：把当前状态名快照给表达式下沉用（walk 阶段据此把裸状态名重写成 stateStore.x）
+        jsExprStateNames = stateInfo.states.map((st) => st.name);
         // R74：状态名撞原生保留成员（SwiftUI `body`、Kotlin 关键字）→ 自动改名 + 警告（不再只警告导致后续编译失败）
         {
             const RESERVED = ['body', 'self', 'init', 'class', 'object', 'fun', 'val', 'var', 'when', 'is', 'in'];
@@ -1230,6 +1249,15 @@ export function vueToIr(source, opts = {}) {
     }
     // 5) <script setup> 逻辑源码 → 运行时 JS（R12：事件逻辑由原生 JS 引擎执行）
     //    仅支持 JS 子集（无 TS 类型标注、无 import）；超出即编译期警告（后续阶段扩展）
+    // R98 P3：把模板表达式下沉产生的求值状态并入页面状态，并重建 runtime（含 recompute）
+    if (jsExprStates.length > 0 && stateInfo) {
+        for (const st of jsExprStates) {
+            if (!stateInfo.states.some((x) => x.name === st.name))
+                stateInfo.states.push({ ...st });
+        }
+        runtime = generateRuntimeSource(stateInfo.states, handlers ?? [], onMountedBody, onMountedAsync);
+        warnings.push(`模板表达式下沉：${jsExprStates.length} 处动态表达式改由 JS 运行时求值（R98）`);
+    }
     for (const w of storeGetterWarnings)
         if (!warnings.includes(w))
             warnings.push(w);
@@ -1836,7 +1864,9 @@ function walkElement(node, classProps, comboRules, scopedRules, pseudoRules, war
                         parts.push({ text: ' ' });
                         continue;
                     }
-                    throw new VueCompileError(`插值表达式 {{ ${name} }} 暂不支持（M1 仅支持纯状态名；三元/比较表达式 M2 白名单；动态列表项属性 M4b）`);
+                    // R98：元素文本里的复杂表达式同样下沉给 JS 运行时
+                    parts.push({ bind: addJsExprState(textOf(child.content).trim()) });
+                    continue;
                 }
                 // 混合段：静态文本之后的插值
                 if (dyn)
@@ -1852,7 +1882,8 @@ function walkElement(node, classProps, comboRules, scopedRules, pseudoRules, war
                         parts.push({ fieldOf: { obj: mp.obj, field: mp.field } });
                     }
                     else {
-                        throw new VueCompileError(`混合文本内插值 {{ ${name} }} 暂不支持（仅支持已声明状态 / 循环变量 / 动态列表项属性 / 已声明对象的点路径 R85）`);
+                        // R98：混合文本里的复杂表达式同样下沉
+                        parts.push({ bind: addJsExprState(textOf(child.content).trim()) });
                     }
                 }
             }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dongmingzhixiu/vuexir-compiler",
-  "version": "0.3.2",
+  "version": "0.3.4",
   "description": "Vue SFC → IR → 原生源码（SwiftUI / Compose）编译器核心：纯函数、零 IO",
   "type": "module",
   "license": "MIT",