quickwin 2.0.0 → 2.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.en.md +17 -22
- package/README.md +1 -3
- package/examples/exec_server.js +133 -29
- package/examples/exec_server_worker.js +1 -1
- package/examples/exec_server_worker.ts +2 -2
- package/examples/pdf_preview2.js +1 -1
- package/examples/pdf_preview2.ts +1 -1
- package/examples/pdf_viewer.js +132 -28
- package/examples/pdf_viewer.tsx +1 -1
- package/examples/test_gallery.js +131 -27
- package/examples/test_react_lazy.js +131 -27
- package/examples/test_react_listbox.js +131 -27
- package/examples/test_root_window.js +131 -27
- package/examples/test_tab.js +131 -27
- package/lib/certs.js +13 -8
- package/lib/certs.ts +13 -8
- package/lib/fetch.js +51 -3
- package/lib/fetch.ts +38 -3
- package/lib/ffi/bind.js +94 -5
- package/lib/ffi/bind.ts +107 -10
- package/lib/ffi/ctype.js +33 -7
- package/lib/ffi/ctype.ts +48 -10
- package/lib/ffi/struct.js +92 -14
- package/lib/ffi/struct.ts +108 -19
- package/lib/react-qw/components/ListView.js +1 -0
- package/lib/react-qw/components/PathPicker.js +2 -2
- package/lib/react-qw/index.js +1 -1
- package/lib/react-qw/index.ts +4 -1
- package/lib/text-measure.js +3 -1
- package/lib/text-measure.ts +4 -3
- package/lib/websocket.js +32 -2
- package/lib/websocket.ts +25 -2
- package/lib/windows/advapi32.js +53 -0
- package/lib/windows/advapi32.ts +64 -0
- package/lib/windows/comctl32.js +15 -15
- package/lib/windows/comctl32.ts +15 -16
- package/lib/windows/comdlg32.js +3 -2
- package/lib/windows/comdlg32.ts +3 -2
- package/lib/windows/gdi32.js +328 -26
- package/lib/windows/gdi32.ts +349 -26
- package/lib/windows/kernel32.js +206 -10
- package/lib/windows/kernel32.ts +225 -10
- package/lib/windows/msimg32.js +38 -0
- package/lib/windows/msimg32.ts +45 -0
- package/lib/windows/ntdll.js +3 -2
- package/lib/windows/ntdll.ts +3 -2
- package/lib/windows/ole32.js +1 -1
- package/lib/windows/ole32.ts +1 -1
- package/lib/windows/psapi.js +32 -0
- package/lib/windows/psapi.ts +37 -0
- package/lib/windows/shell32.js +5 -3
- package/lib/windows/shell32.ts +5 -3
- package/lib/windows/structs.js +135 -0
- package/lib/windows/structs.ts +144 -0
- package/lib/windows/user32.js +202 -99
- package/lib/windows/user32.ts +204 -99
- package/lib/windows/version.js +29 -0
- package/lib/windows/version.ts +35 -0
- package/lib/windows/winspool.js +71 -0
- package/lib/windows/winspool.ts +80 -0
- package/package.json +1 -1
- package/quickwin.d.ts +11 -5
- package/quickwin_const.d.ts +136 -0
- package/qwin-nowasm-x86.exe +0 -0
- package/qwin-nowasm.exe +0 -0
- package/qwin-x86.exe +0 -0
- package/qwin.exe +0 -0
- package/test/run.js +7 -0
- package/test/run.ts +7 -0
- package/test/test_basic_fetch.js +21 -0
- package/test/test_basic_fetch.ts +17 -0
- package/test/test_ffi.js +6 -6
- package/test/test_ffi.ts +6 -6
- package/test/test_ffi_abi.js +55 -0
- package/test/test_ffi_abi.ts +56 -0
- package/test/test_ffi_array.js +116 -0
- package/test/test_ffi_array.ts +141 -0
- package/test/test_ffi_bind.js +82 -0
- package/test/test_ffi_bind.ts +71 -0
- package/test/test_files.js +102 -0
- package/test/test_files.ts +121 -0
- package/test/test_gdi_draw.js +681 -0
- package/test/test_gdi_draw.ts +725 -0
- package/test/test_net_fetch.js +4 -3
- package/test/test_net_fetch.ts +4 -3
- package/test/test_printer.js +137 -0
- package/test/test_printer.ts +148 -0
- package/test/test_proc.js +141 -0
- package/test/test_proc.ts +163 -0
- package/test/test_react_complex.js +131 -27
- package/test/test_react_counter.js +131 -27
- package/test/test_react_flex.js +131 -27
- package/test/test_react_hidden.js +131 -27
- package/test/test_react_listview_link.js +131 -27
- package/test/test_react_notify.js +131 -27
- package/test/test_react_render.js +131 -27
- package/test/test_registry.js +74 -0
- package/test/test_registry.ts +95 -0
- package/test/test_sysinfo.js +122 -0
- package/test/test_sysinfo.ts +141 -0
- package/test/test_wolfssl_read.js +45 -44
- package/test/test_wolfssl_read.ts +42 -42
package/lib/fetch.js
CHANGED
|
@@ -56,6 +56,9 @@ const ST_DONE = 5;
|
|
|
56
56
|
// ── Main fetch request ──
|
|
57
57
|
async function fetchRequest(req) {
|
|
58
58
|
const parsedUrl = new URL(req.url);
|
|
59
|
+
if (parsedUrl.protocol !== 'http:' && parsedUrl.protocol !== 'https:') {
|
|
60
|
+
throw new TypeError('fetch: unsupported protocol "' + parsedUrl.protocol + '"');
|
|
61
|
+
}
|
|
59
62
|
const method = req.method;
|
|
60
63
|
const headers = new HeadersImpl(req.headers);
|
|
61
64
|
const timeout = req.timeout || 30000;
|
|
@@ -241,7 +244,21 @@ async function fetchRequest(req) {
|
|
|
241
244
|
break;
|
|
242
245
|
let data;
|
|
243
246
|
if (isHTTPS && ssl) {
|
|
244
|
-
|
|
247
|
+
const buf = new ArrayBuffer(8192);
|
|
248
|
+
const n = wolfssl.wolfSSL_read(ssl, buf);
|
|
249
|
+
if (n > 0) {
|
|
250
|
+
data = buf.slice(0, n);
|
|
251
|
+
}
|
|
252
|
+
else {
|
|
253
|
+
const err = wolfssl.wolfSSL_get_error(ssl, n);
|
|
254
|
+
if (err === 2 /* wolfssl.ErrorCode.WOLFSSL_ERROR_WANT_READ */ ||
|
|
255
|
+
err === 3 /* wolfssl.ErrorCode.WOLFSSL_ERROR_WANT_WRITE */)
|
|
256
|
+
break;
|
|
257
|
+
if (n === 0 || err === 6 /* wolfssl.ErrorCode.WOLFSSL_ERROR_ZERO_RETURN */)
|
|
258
|
+
break;
|
|
259
|
+
doReject(new Error('TLS read failed: ' + err));
|
|
260
|
+
return;
|
|
261
|
+
}
|
|
245
262
|
}
|
|
246
263
|
else if (s !== null && s >= 0) {
|
|
247
264
|
data = sock.recv(s, 8192);
|
|
@@ -314,7 +331,31 @@ async function fetchRequest(req) {
|
|
|
314
331
|
break;
|
|
315
332
|
let data;
|
|
316
333
|
if (isHTTPS && ssl) {
|
|
317
|
-
|
|
334
|
+
const buf = new ArrayBuffer(8192);
|
|
335
|
+
const n = wolfssl.wolfSSL_read(ssl, buf);
|
|
336
|
+
if (n > 0) {
|
|
337
|
+
data = buf.slice(0, n);
|
|
338
|
+
}
|
|
339
|
+
else {
|
|
340
|
+
const err = wolfssl.wolfSSL_get_error(ssl, n);
|
|
341
|
+
if (err === 2 /* wolfssl.ErrorCode.WOLFSSL_ERROR_WANT_READ */ ||
|
|
342
|
+
err === 3 /* wolfssl.ErrorCode.WOLFSSL_ERROR_WANT_WRITE */)
|
|
343
|
+
break;
|
|
344
|
+
if (n === 0 || err === 6 /* wolfssl.ErrorCode.WOLFSSL_ERROR_ZERO_RETURN */)
|
|
345
|
+
break;
|
|
346
|
+
// Fatal TLS error mid-body: the response already
|
|
347
|
+
// resolved, so fail the body stream instead of
|
|
348
|
+
// silently waiting for an FD event that never comes.
|
|
349
|
+
if (_controller) {
|
|
350
|
+
try {
|
|
351
|
+
_controller.error(new Error('TLS read failed: ' + err));
|
|
352
|
+
}
|
|
353
|
+
catch { /* already closed */ }
|
|
354
|
+
}
|
|
355
|
+
stream = null;
|
|
356
|
+
cleanupSocket();
|
|
357
|
+
return;
|
|
358
|
+
}
|
|
318
359
|
}
|
|
319
360
|
else if (s !== null && s >= 0) {
|
|
320
361
|
data = sock.recv(s, 8192);
|
|
@@ -362,7 +403,14 @@ async function fetchRequest(req) {
|
|
|
362
403
|
break;
|
|
363
404
|
let data;
|
|
364
405
|
if (isHTTPS && ssl) {
|
|
365
|
-
|
|
406
|
+
const buf = new ArrayBuffer(8192);
|
|
407
|
+
const n = wolfssl.wolfSSL_read(ssl, buf);
|
|
408
|
+
// Best-effort drain: any non-data result (EOF, WANT_*,
|
|
409
|
+
// late error) ends the drain — the stream closes below.
|
|
410
|
+
if (n > 0)
|
|
411
|
+
data = buf.slice(0, n);
|
|
412
|
+
else
|
|
413
|
+
break;
|
|
366
414
|
}
|
|
367
415
|
else if (s !== null && s >= 0) {
|
|
368
416
|
data = sock.recv(s, 8192);
|
package/lib/fetch.ts
CHANGED
|
@@ -78,6 +78,9 @@ const ST_DONE = 5
|
|
|
78
78
|
|
|
79
79
|
async function fetchRequest(req: RequestImpl): Promise<ResponseImpl> {
|
|
80
80
|
const parsedUrl = new URL(req.url)
|
|
81
|
+
if (parsedUrl.protocol !== 'http:' && parsedUrl.protocol !== 'https:') {
|
|
82
|
+
throw new TypeError('fetch: unsupported protocol "' + parsedUrl.protocol + '"')
|
|
83
|
+
}
|
|
81
84
|
const method = req.method
|
|
82
85
|
const headers = new HeadersImpl(req.headers)
|
|
83
86
|
const timeout = req.timeout || 30000
|
|
@@ -225,7 +228,18 @@ async function fetchRequest(req: RequestImpl): Promise<ResponseImpl> {
|
|
|
225
228
|
if (s !== null && s < 0 && !ssl) break
|
|
226
229
|
let data: ArrayBuffer | null
|
|
227
230
|
if (isHTTPS && ssl) {
|
|
228
|
-
|
|
231
|
+
const buf = new ArrayBuffer(8192)
|
|
232
|
+
const n = wolfssl.wolfSSL_read(ssl, buf)
|
|
233
|
+
if (n > 0) {
|
|
234
|
+
data = buf.slice(0, n)
|
|
235
|
+
} else {
|
|
236
|
+
const err = wolfssl.wolfSSL_get_error(ssl, n)
|
|
237
|
+
if (err === wolfssl.ErrorCode.WOLFSSL_ERROR_WANT_READ ||
|
|
238
|
+
err === wolfssl.ErrorCode.WOLFSSL_ERROR_WANT_WRITE) break
|
|
239
|
+
if (n === 0 || err === wolfssl.ErrorCode.WOLFSSL_ERROR_ZERO_RETURN) break
|
|
240
|
+
doReject(new Error('TLS read failed: ' + err))
|
|
241
|
+
return
|
|
242
|
+
}
|
|
229
243
|
} else if (s !== null && s >= 0) {
|
|
230
244
|
data = sock.recv(s, 8192)
|
|
231
245
|
} else { break }
|
|
@@ -295,7 +309,23 @@ async function fetchRequest(req: RequestImpl): Promise<ResponseImpl> {
|
|
|
295
309
|
if (s !== null && s < 0 && !ssl) break
|
|
296
310
|
let data: ArrayBuffer | null
|
|
297
311
|
if (isHTTPS && ssl) {
|
|
298
|
-
|
|
312
|
+
const buf = new ArrayBuffer(8192)
|
|
313
|
+
const n = wolfssl.wolfSSL_read(ssl, buf)
|
|
314
|
+
if (n > 0) {
|
|
315
|
+
data = buf.slice(0, n)
|
|
316
|
+
} else {
|
|
317
|
+
const err = wolfssl.wolfSSL_get_error(ssl, n)
|
|
318
|
+
if (err === wolfssl.ErrorCode.WOLFSSL_ERROR_WANT_READ ||
|
|
319
|
+
err === wolfssl.ErrorCode.WOLFSSL_ERROR_WANT_WRITE) break
|
|
320
|
+
if (n === 0 || err === wolfssl.ErrorCode.WOLFSSL_ERROR_ZERO_RETURN) break
|
|
321
|
+
// Fatal TLS error mid-body: the response already
|
|
322
|
+
// resolved, so fail the body stream instead of
|
|
323
|
+
// silently waiting for an FD event that never comes.
|
|
324
|
+
if (_controller) { try { _controller.error(new Error('TLS read failed: ' + err)) } catch { /* already closed */ } }
|
|
325
|
+
stream = null
|
|
326
|
+
cleanupSocket()
|
|
327
|
+
return
|
|
328
|
+
}
|
|
299
329
|
} else if (s !== null && s >= 0) {
|
|
300
330
|
data = sock.recv(s, 8192)
|
|
301
331
|
} else { break }
|
|
@@ -335,7 +365,12 @@ async function fetchRequest(req: RequestImpl): Promise<ResponseImpl> {
|
|
|
335
365
|
if (s !== null && s < 0 && !ssl) break
|
|
336
366
|
let data: ArrayBuffer | null
|
|
337
367
|
if (isHTTPS && ssl) {
|
|
338
|
-
|
|
368
|
+
const buf = new ArrayBuffer(8192)
|
|
369
|
+
const n = wolfssl.wolfSSL_read(ssl, buf)
|
|
370
|
+
// Best-effort drain: any non-data result (EOF, WANT_*,
|
|
371
|
+
// late error) ends the drain — the stream closes below.
|
|
372
|
+
if (n > 0) data = buf.slice(0, n)
|
|
373
|
+
else break
|
|
339
374
|
} else if (s !== null && s >= 0) {
|
|
340
375
|
data = sock.recv(s, 8192)
|
|
341
376
|
} else { break }
|
package/lib/ffi/bind.js
CHANGED
|
@@ -3,7 +3,12 @@ import * as os from 'os';
|
|
|
3
3
|
import * as std from 'std';
|
|
4
4
|
import * as win from 'win';
|
|
5
5
|
import '../text-codec.js';
|
|
6
|
-
import { cTokenToType, isCPtrToken, normToken, PTR_SIZE, ptrName, readScalar, writeSlot, PtrArrayBuffer } from './ctype.js';
|
|
6
|
+
import { cTokenToType, isCPtrToken, isCValToken, valName, normToken, PTR_SIZE, ptrName, readScalar, writeSlot, PtrArrayBuffer } from './ctype.js';
|
|
7
|
+
// CodecMap 的值是结构形(size 只在 StructDef 上、不属 Codec 契约),统一走 unknown
|
|
8
|
+
// 二跳提取;存在性与 size 由 makeFn 绑定期校验。
|
|
9
|
+
function valCodec(name, encoders) {
|
|
10
|
+
return encoders[name];
|
|
11
|
+
}
|
|
7
12
|
const _dllCache = new Map();
|
|
8
13
|
function loadDll(dll) {
|
|
9
14
|
const cached = _dllCache.get(dll);
|
|
@@ -36,14 +41,36 @@ function parseSig(sig) {
|
|
|
36
41
|
}
|
|
37
42
|
// 裸 'ptr'/非法 token 由类型层拦截(C_BasicType_Token 已 Exclude 'ptr'、拼错 token 塌成 never);
|
|
38
43
|
// 运行时再比较只会得到 TS2367「两类型无重叠」——类型已表达的约束不重复校验。
|
|
44
|
+
const retToken = normToken(parts[1]);
|
|
45
|
+
// 按值形 '<N>' 仅支持入参位:大结构返回需要隐藏指针/sret 级 ABI(本运行时的
|
|
46
|
+
// retBuf 恒 8 字节,只支持标量/浮点/指针返回),绑定期 throw 而非静默降级。
|
|
47
|
+
// 类型层对返回位的 '<N>' 不设专门分支(fallthrough),本 throw 是唯一防线。
|
|
48
|
+
if (isCValToken(retToken))
|
|
49
|
+
throw new Error(`ffi-bind: "${sig}": by-value struct at the return position ` +
|
|
50
|
+
`(<${valName(retToken)}>) is not supported — argument positions only; ` +
|
|
51
|
+
`pass a struct out through an out-param slot instead (<N>ptr + caller buffer)`);
|
|
39
52
|
return {
|
|
40
53
|
argTokens,
|
|
41
|
-
retToken
|
|
54
|
+
retToken,
|
|
42
55
|
sig,
|
|
43
56
|
};
|
|
44
57
|
}
|
|
45
58
|
function makeFn(proc, sig, encoders, decoders) {
|
|
46
59
|
const ps = parseSig(sig);
|
|
60
|
+
// 按值位的能力校验前移到绑定期(模块加载即炸,不留到首个调用):布局缺位 / 非结构
|
|
61
|
+
// 布局(无 size)/ 退化 size 都是签名层面的错误,报错指向具体位与可用布局清单。
|
|
62
|
+
for (const t of ps.argTokens) {
|
|
63
|
+
if (!isCValToken(t))
|
|
64
|
+
continue;
|
|
65
|
+
const name = valName(t);
|
|
66
|
+
const codec = valCodec(name, encoders);
|
|
67
|
+
if (!codec || typeof codec.encode !== 'function')
|
|
68
|
+
throw new Error(`ffi-bind: ${sig}: by-value position <${name}> has no registered layout ` +
|
|
69
|
+
`(available: ${Object.keys(encoders).join(', ') || 'none'})`);
|
|
70
|
+
if (typeof codec.size !== 'number' || codec.size < 1)
|
|
71
|
+
throw new Error(`ffi-bind: ${sig}: by-value position <${name}> requires a struct ` +
|
|
72
|
+
`layout with size >= 1 (got ${codec.size}; non-struct codecs expose no size)`);
|
|
73
|
+
}
|
|
47
74
|
return (...a) => callPacked(proc, ps, a, encoders, decoders);
|
|
48
75
|
}
|
|
49
76
|
// 每个参数在 argFrame 里占的字节数。与 quickjs-ffi-type.h 的 qwin_ffi_arg_size[]
|
|
@@ -59,15 +86,36 @@ const X64_MIN_SLOTS = 4;
|
|
|
59
86
|
function callPacked(proc, { argTokens, retToken, sig }, args, encoders, decoders) {
|
|
60
87
|
const is64 = os.arch === 'x64';
|
|
61
88
|
const getWidth = (t, is64) => {
|
|
89
|
+
// 按值形由 widthOf 分派(槽宽依赖布局 size),此处只认标量/指针档;守卫同时
|
|
90
|
+
// 收窄类型(IA32_ARG_SIZE 索引不认 val 形)。
|
|
91
|
+
if (isCValToken(t))
|
|
92
|
+
throw new Error(`ffi-bind: getWidth: by-value token "${t}" (dispatched by widthOf)`);
|
|
62
93
|
if (is64)
|
|
63
94
|
return 8;
|
|
64
95
|
if (isCPtrToken(t))
|
|
65
96
|
return PTR_SIZE;
|
|
66
97
|
return IA32_ARG_SIZE[t];
|
|
67
98
|
};
|
|
99
|
+
// 按值位的槽宽:x64 恒 8 字节(尺寸 ∈{1,2,4,8} 按「同尺寸整数」进槽,其余尺寸进
|
|
100
|
+
// 槽的是指向临时副本的指针);ia32 = ALIGN(size, 4) —— 结构字节原样压栈,无按
|
|
101
|
+
// 引用一说(libffi ffi.c 的 ia32 分支同规则,桩只做一次 rep movsb 搬运)。
|
|
102
|
+
const widthOf = (t) => {
|
|
103
|
+
if (isCValToken(t)) {
|
|
104
|
+
if (is64)
|
|
105
|
+
return 8;
|
|
106
|
+
const layout = valCodec(valName(t), encoders);
|
|
107
|
+
// 绑定期 makeFn 已校验(存在 + size >= 1);此处兜动态/无类型路径。
|
|
108
|
+
if (!layout)
|
|
109
|
+
throw new Error(`ffi-bind: <${valName(t)}> by-value position has no registered layout`);
|
|
110
|
+
const size = layout.size;
|
|
111
|
+
return size % 4 === 0 ? size : size + 4 - (size % 4);
|
|
112
|
+
}
|
|
113
|
+
// val 形已在上分支 return,此处恒为标量/指针形(类型层收窄,见 C_BasicType_Token)。
|
|
114
|
+
return getWidth(t, is64);
|
|
115
|
+
};
|
|
68
116
|
let total = 0;
|
|
69
117
|
for (const t of argTokens)
|
|
70
|
-
total +=
|
|
118
|
+
total += widthOf(t);
|
|
71
119
|
if (is64 && argTokens.length < X64_MIN_SLOTS)
|
|
72
120
|
total = X64_MIN_SLOTS * 8;
|
|
73
121
|
const argFrame = new ArrayBuffer(total);
|
|
@@ -118,10 +166,40 @@ function callPacked(proc, { argTokens, retToken, sig }, args, encoders, decoders
|
|
|
118
166
|
writeSlot(dv, off, { k: 'ptr', v: p });
|
|
119
167
|
}
|
|
120
168
|
}
|
|
169
|
+
else if (isCValToken(argToken)) {
|
|
170
|
+
// 按值位:对象直传(值域由注册布局推导),无地址词汇 —— NULL / number
|
|
171
|
+
// 进这里是必然错位(引擎按值语义,指针位请写 <N>ptr),fail-loud。
|
|
172
|
+
const name = valName(argToken);
|
|
173
|
+
const codec = valCodec(name, encoders);
|
|
174
|
+
if (!codec)
|
|
175
|
+
throw new Error(`ffi-bind: ${sig}: arg#${i + 1} <${name}> by-value position ` +
|
|
176
|
+
`has no registered layout`);
|
|
177
|
+
if (arg === null || arg === undefined)
|
|
178
|
+
throw new Error(`ffi-bind: <${name}> value position got ${String(arg)}; ` +
|
|
179
|
+
`pass a struct object (use <${name}>ptr to pass a pointer)`);
|
|
180
|
+
const size = codec.size;
|
|
181
|
+
if (!is64 || (size <= 8 && (size & (size - 1)) === 0)) {
|
|
182
|
+
// 字节直接落槽:ia32 结构按值压栈(任意尺寸);x64 尺寸 ∈{1,2,4,8}
|
|
183
|
+
// 按「同尺寸整数」传值——字节在 8 字节槽低位,callee 右对齐读。
|
|
184
|
+
// argFrame 构造时即零填充,槽高位为 0(callee 忽略高位,无歧义)。
|
|
185
|
+
codec.encode(arg, argFrame, off);
|
|
186
|
+
}
|
|
187
|
+
else {
|
|
188
|
+
// x64 其余尺寸(>8 或非 2 的幂)按引用:槽放指针,指向 caller 分配的
|
|
189
|
+
// 16 字节对齐临时副本(MS x64 官方规则:单参数永不跨多个寄存器;对齐
|
|
190
|
+
// 偏移自算,不依赖分配器的对齐保证)。held 保持引用直到调用返回。
|
|
191
|
+
const buf = new ArrayBuffer(size + 15);
|
|
192
|
+
const base = ffi.bufferPtr(buf);
|
|
193
|
+
const pad = (16 - (base % 16)) % 16;
|
|
194
|
+
codec.encode(arg, buf, pad);
|
|
195
|
+
held.push(buf);
|
|
196
|
+
writeSlot(dv, off, { k: 'ptr', v: base + pad });
|
|
197
|
+
}
|
|
198
|
+
}
|
|
121
199
|
else {
|
|
122
200
|
writeSlot(dv, off, { k: argToken, v: arg });
|
|
123
201
|
}
|
|
124
|
-
off +=
|
|
202
|
+
off += widthOf(argToken);
|
|
125
203
|
}
|
|
126
204
|
const retBuf = new ArrayBuffer(8);
|
|
127
205
|
const retIsFp = retToken === 'f32' || retToken === 'f64';
|
|
@@ -155,7 +233,8 @@ function readRet(ret, retBuf) {
|
|
|
155
233
|
* 品牌指针逐字节读到 NUL(野指针无终止 4MiB 上限 fail-fast)、ArrayBuffer 直读到
|
|
156
234
|
* NUL 或末尾(out 参数未写 NUL 时按读满处理);alloc 预分配返回带 .ptr 的
|
|
157
235
|
* PtrArrayBuffer(a = 字符数,缺省 256)。类型取必需形态——
|
|
158
|
-
*
|
|
236
|
+
* 内建三件齐备,调用无需空断言。刻意 Pick 而非 Required<Codec>:只声明消费的
|
|
237
|
+
* 三件(encode/decode/alloc),新增可选能力位不被拉成必填。 */
|
|
159
238
|
export const WCHAR = {
|
|
160
239
|
encode: (v) => {
|
|
161
240
|
// TextEncoder 没有 encodeInto:先编码再拷入带 .ptr 的 buffer(单次 memcpy,
|
|
@@ -316,6 +395,16 @@ function dispatchClosure(args, ret, fn, frameBuf, retBuf, sig) {
|
|
|
316
395
|
* → 打印泄漏警告(只警告、不自动释放,见 leakRegistry)。 */
|
|
317
396
|
export function closure(sig, fn, opts) {
|
|
318
397
|
const { argTokens, retToken } = parseSig(sig);
|
|
398
|
+
// 按值位仅支持 bind 的入参方向:closure 的 C→JS 方向由 quickjs-ffi-closure-*.S
|
|
399
|
+
// 按固定槽宽读参数(x64 固定 8 字节槽、ia32 IA32_ARG_SIZE 表),不区分「槽内是
|
|
400
|
+
// 结构字节还是指向临时副本的指针」——该分派未实现,创建期 fail-fast。
|
|
401
|
+
for (const t of argTokens)
|
|
402
|
+
if (isCValToken(t))
|
|
403
|
+
throw new Error(`ffi-bind: closure signature cannot take a by-value struct ` +
|
|
404
|
+
`(<${valName(t)}>); by-value is bind-only — the C→JS direction has no ` +
|
|
405
|
+
`struct slot decoding (pass a pointer and decode on the JS side)`);
|
|
406
|
+
// 上方已拒 '<N>' 按值形:此处 tok 恒为标量/指针档(cTokenToType 对 val 形原样返回,
|
|
407
|
+
// 但那条路径不可达——IA32_ARG_SIZE 索引与 dispatchClosure 只认标量档)。
|
|
319
408
|
const argSpecs = argTokens.map(t => ({ tok: cTokenToType(t), nonnull: t.endsWith('!') }));
|
|
320
409
|
const retSpec = { tok: cTokenToType(retToken), nonnull: retToken.endsWith('!') };
|
|
321
410
|
const is64 = os.arch === 'x64';
|
package/lib/ffi/bind.ts
CHANGED
|
@@ -3,7 +3,7 @@ import * as os from 'os'
|
|
|
3
3
|
import * as std from 'std'
|
|
4
4
|
import * as win from 'win'
|
|
5
5
|
import '../text-codec.js'
|
|
6
|
-
import { type C_BasicType, C_BasicType_No_Void, C_BasicType_Token, C_BasicType_Token_No_Void, cTokenToType, isCPtrToken, ArgJsTypeOfToken, RetJsTypeOfToken, normToken, PTR_SIZE, ptrName, type Ptr, readScalar, writeSlot, PtrArrayBuffer } from './ctype.js'
|
|
6
|
+
import { type C_BasicType, C_BasicType_No_Void, C_BasicType_Token, C_BasicType_Token_No_Void, cTokenToType, isCPtrToken, isCValToken, valName, ArgJsTypeOfToken, RetJsTypeOfToken, normToken, PTR_SIZE, ptrName, type Ptr, readScalar, writeSlot, PtrArrayBuffer } from './ctype.js'
|
|
7
7
|
|
|
8
8
|
// 形状刻意是「方法」而非裸函数:ffi-struct 的 struct()/union() 结果(StructDef)
|
|
9
9
|
// 结构上即满足 encode 重载(无 buf 新建带品牌 .ptr 的 PtrArrayBuffer / 带 buf 写入既有
|
|
@@ -18,20 +18,35 @@ import { type C_BasicType, C_BasicType_No_Void, C_BasicType_Token, C_BasicType_T
|
|
|
18
18
|
// .ptr 又带品牌直接喂 <N>ptr 形参——不再有 { buf, ptr } 结构包装。
|
|
19
19
|
type Codec<N extends string = string, V = unknown, T = unknown> = {
|
|
20
20
|
// encode 顶层不收 offset(与 decode 对齐):PAB 的 .ptr 恒指向起点,写入位置由
|
|
21
|
-
// buf
|
|
21
|
+
// buf 自身表达;偏移写入(数组物化原语)由 StructDef.encode(v, buf, offset) 承担。
|
|
22
22
|
encode?(v: V, buf?: PtrArrayBuffer<any>): PtrArrayBuffer<any>
|
|
23
23
|
decode?(p: Ptr<N>| ArrayBuffer): V
|
|
24
24
|
alloc?(a: T): PtrArrayBuffer<N>
|
|
25
25
|
}
|
|
26
26
|
// 约束层三件与 StructDef 形状一致,def 可整体透传;提取层按键存在性走(见下)。
|
|
27
|
-
// 类型层硬约束:encode/alloc 只返回 PtrArrayBuffer
|
|
28
|
-
// (callPacked 参数位统一取 .ptr,调用方拿到的也是 .ptr,.buf 词汇从 codec
|
|
27
|
+
// 类型层硬约束:encode/alloc 只返回 PtrArrayBuffer —— 裸 ArrayBuffer 出不了
|
|
28
|
+
// codec(callPacked 参数位统一取 .ptr,调用方拿到的也是 .ptr,.buf 词汇从 codec 出口消失);
|
|
29
|
+
// NULL(0)是引擎层词汇(number 直通世界),不作为 codec 出口形态。
|
|
29
30
|
export type CodecMap = Record<string, {
|
|
30
31
|
encode?(v: any, buf?: PtrArrayBuffer<any>): PtrArrayBuffer<any>
|
|
31
32
|
decode?(p: any): any
|
|
32
33
|
alloc?(a: any): PtrArrayBuffer<any>
|
|
33
34
|
}>
|
|
34
35
|
|
|
36
|
+
// 按值位('<N>')消费的布局形态:size(决定槽宽与「传值 / 按引用」分派)+
|
|
37
|
+
// encode(v, buf, offset)(写入任意 buffer 的既有偏移——argFrame 槽内写入、
|
|
38
|
+
// 16 对齐临时副本两条路径共用)。StructDef 结构上即满足,内建 WCHAR/BYTE 无 size。
|
|
39
|
+
type StructValCodec = {
|
|
40
|
+
size: number
|
|
41
|
+
encode(v: unknown, buf: ArrayBuffer, offset: number): unknown
|
|
42
|
+
}
|
|
43
|
+
|
|
44
|
+
// CodecMap 的值是结构形(size 只在 StructDef 上、不属 Codec 契约),统一走 unknown
|
|
45
|
+
// 二跳提取;存在性与 size 由 makeFn 绑定期校验。
|
|
46
|
+
function valCodec(name: string, encoders: CodecMap): StructValCodec | undefined {
|
|
47
|
+
return encoders[name] as unknown as StructValCodec | undefined
|
|
48
|
+
}
|
|
49
|
+
|
|
35
50
|
const _dllCache: Map<string, win.HMODULE> = new Map()
|
|
36
51
|
|
|
37
52
|
function loadDll(dll: string): win.HMODULE {
|
|
@@ -75,15 +90,36 @@ function parseSig(sig: string): ParsedSig {
|
|
|
75
90
|
|
|
76
91
|
// 裸 'ptr'/非法 token 由类型层拦截(C_BasicType_Token 已 Exclude 'ptr'、拼错 token 塌成 never);
|
|
77
92
|
// 运行时再比较只会得到 TS2367「两类型无重叠」——类型已表达的约束不重复校验。
|
|
93
|
+
const retToken = normToken(parts[1]!)
|
|
94
|
+
// 按值形 '<N>' 仅支持入参位:大结构返回需要隐藏指针/sret 级 ABI(本运行时的
|
|
95
|
+
// retBuf 恒 8 字节,只支持标量/浮点/指针返回),绑定期 throw 而非静默降级。
|
|
96
|
+
// 类型层对返回位的 '<N>' 不设专门分支(fallthrough),本 throw 是唯一防线。
|
|
97
|
+
if (isCValToken(retToken))
|
|
98
|
+
throw new Error(`ffi-bind: "${sig}": by-value struct at the return position ` +
|
|
99
|
+
`(<${valName(retToken)}>) is not supported — argument positions only; ` +
|
|
100
|
+
`pass a struct out through an out-param slot instead (<N>ptr + caller buffer)`)
|
|
78
101
|
return {
|
|
79
102
|
argTokens,
|
|
80
|
-
retToken
|
|
103
|
+
retToken,
|
|
81
104
|
sig,
|
|
82
105
|
}
|
|
83
106
|
}
|
|
84
107
|
|
|
85
108
|
function makeFn(proc: number, sig: string, encoders: CodecMap, decoders: CodecMap): (...a: unknown[]) => unknown {
|
|
86
109
|
const ps = parseSig(sig)
|
|
110
|
+
// 按值位的能力校验前移到绑定期(模块加载即炸,不留到首个调用):布局缺位 / 非结构
|
|
111
|
+
// 布局(无 size)/ 退化 size 都是签名层面的错误,报错指向具体位与可用布局清单。
|
|
112
|
+
for (const t of ps.argTokens) {
|
|
113
|
+
if (!isCValToken(t)) continue
|
|
114
|
+
const name = valName(t)
|
|
115
|
+
const codec = valCodec(name, encoders)
|
|
116
|
+
if (!codec || typeof codec.encode !== 'function')
|
|
117
|
+
throw new Error(`ffi-bind: ${sig}: by-value position <${name}> has no registered layout ` +
|
|
118
|
+
`(available: ${Object.keys(encoders).join(', ') || 'none'})`)
|
|
119
|
+
if (typeof codec.size !== 'number' || codec.size < 1)
|
|
120
|
+
throw new Error(`ffi-bind: ${sig}: by-value position <${name}> requires a struct ` +
|
|
121
|
+
`layout with size >= 1 (got ${codec.size}; non-struct codecs expose no size)`)
|
|
122
|
+
}
|
|
87
123
|
return (...a: unknown[]) => callPacked(proc, ps, a, encoders, decoders)
|
|
88
124
|
}
|
|
89
125
|
|
|
@@ -102,13 +138,34 @@ function callPacked(proc: number, { argTokens, retToken, sig }: ParsedSig, args:
|
|
|
102
138
|
const is64 = os.arch === 'x64'
|
|
103
139
|
|
|
104
140
|
const getWidth = (t: C_BasicType_Token_No_Void, is64: boolean): number => {
|
|
141
|
+
// 按值形由 widthOf 分派(槽宽依赖布局 size),此处只认标量/指针档;守卫同时
|
|
142
|
+
// 收窄类型(IA32_ARG_SIZE 索引不认 val 形)。
|
|
143
|
+
if (isCValToken(t))
|
|
144
|
+
throw new Error(`ffi-bind: getWidth: by-value token "${t}" (dispatched by widthOf)`)
|
|
105
145
|
if (is64) return 8
|
|
106
146
|
if (isCPtrToken(t)) return PTR_SIZE
|
|
107
147
|
return IA32_ARG_SIZE[t]
|
|
108
148
|
}
|
|
109
149
|
|
|
150
|
+
// 按值位的槽宽:x64 恒 8 字节(尺寸 ∈{1,2,4,8} 按「同尺寸整数」进槽,其余尺寸进
|
|
151
|
+
// 槽的是指向临时副本的指针);ia32 = ALIGN(size, 4) —— 结构字节原样压栈,无按
|
|
152
|
+
// 引用一说(libffi ffi.c 的 ia32 分支同规则,桩只做一次 rep movsb 搬运)。
|
|
153
|
+
const widthOf = (t: C_BasicType_Token_No_Void): number => {
|
|
154
|
+
if (isCValToken(t)) {
|
|
155
|
+
if (is64) return 8
|
|
156
|
+
const layout = valCodec(valName(t), encoders)
|
|
157
|
+
// 绑定期 makeFn 已校验(存在 + size >= 1);此处兜动态/无类型路径。
|
|
158
|
+
if (!layout)
|
|
159
|
+
throw new Error(`ffi-bind: <${valName(t)}> by-value position has no registered layout`)
|
|
160
|
+
const size = layout.size
|
|
161
|
+
return size % 4 === 0 ? size : size + 4 - (size % 4)
|
|
162
|
+
}
|
|
163
|
+
// val 形已在上分支 return,此处恒为标量/指针形(类型层收窄,见 C_BasicType_Token)。
|
|
164
|
+
return getWidth(t, is64)
|
|
165
|
+
}
|
|
166
|
+
|
|
110
167
|
let total = 0
|
|
111
|
-
for (const t of argTokens) total +=
|
|
168
|
+
for (const t of argTokens) total += widthOf(t)
|
|
112
169
|
if (is64 && argTokens.length < X64_MIN_SLOTS) total = X64_MIN_SLOTS * 8
|
|
113
170
|
|
|
114
171
|
const argFrame = new ArrayBuffer(total)
|
|
@@ -160,10 +217,39 @@ function callPacked(proc: number, { argTokens, retToken, sig }: ParsedSig, args:
|
|
|
160
217
|
writeSlot(dv, off, { k: 'ptr', v: p })
|
|
161
218
|
}
|
|
162
219
|
}
|
|
220
|
+
else if (isCValToken(argToken)) {
|
|
221
|
+
// 按值位:对象直传(值域由注册布局推导),无地址词汇 —— NULL / number
|
|
222
|
+
// 进这里是必然错位(引擎按值语义,指针位请写 <N>ptr),fail-loud。
|
|
223
|
+
const name = valName(argToken)
|
|
224
|
+
const codec = valCodec(name, encoders)
|
|
225
|
+
if (!codec)
|
|
226
|
+
throw new Error(`ffi-bind: ${sig}: arg#${i + 1} <${name}> by-value position ` +
|
|
227
|
+
`has no registered layout`)
|
|
228
|
+
if (arg === null || arg === undefined)
|
|
229
|
+
throw new Error(`ffi-bind: <${name}> value position got ${String(arg)}; ` +
|
|
230
|
+
`pass a struct object (use <${name}>ptr to pass a pointer)`)
|
|
231
|
+
const size = codec.size
|
|
232
|
+
if (!is64 || (size <= 8 && (size & (size - 1)) === 0)) {
|
|
233
|
+
// 字节直接落槽:ia32 结构按值压栈(任意尺寸);x64 尺寸 ∈{1,2,4,8}
|
|
234
|
+
// 按「同尺寸整数」传值——字节在 8 字节槽低位,callee 右对齐读。
|
|
235
|
+
// argFrame 构造时即零填充,槽高位为 0(callee 忽略高位,无歧义)。
|
|
236
|
+
codec.encode(arg, argFrame, off)
|
|
237
|
+
} else {
|
|
238
|
+
// x64 其余尺寸(>8 或非 2 的幂)按引用:槽放指针,指向 caller 分配的
|
|
239
|
+
// 16 字节对齐临时副本(MS x64 官方规则:单参数永不跨多个寄存器;对齐
|
|
240
|
+
// 偏移自算,不依赖分配器的对齐保证)。held 保持引用直到调用返回。
|
|
241
|
+
const buf = new ArrayBuffer(size + 15)
|
|
242
|
+
const base = ffi.bufferPtr(buf)
|
|
243
|
+
const pad = (16 - (base % 16)) % 16
|
|
244
|
+
codec.encode(arg, buf, pad)
|
|
245
|
+
held.push(buf)
|
|
246
|
+
writeSlot(dv, off, { k: 'ptr', v: base + pad })
|
|
247
|
+
}
|
|
248
|
+
}
|
|
163
249
|
else {
|
|
164
250
|
writeSlot(dv, off, { k: argToken, v: arg })
|
|
165
251
|
}
|
|
166
|
-
off +=
|
|
252
|
+
off += widthOf(argToken)
|
|
167
253
|
}
|
|
168
254
|
|
|
169
255
|
const retBuf = new ArrayBuffer(8)
|
|
@@ -231,8 +317,9 @@ type BindFn<S extends string, E, D> =
|
|
|
231
317
|
* 品牌指针逐字节读到 NUL(野指针无终止 4MiB 上限 fail-fast)、ArrayBuffer 直读到
|
|
232
318
|
* NUL 或末尾(out 参数未写 NUL 时按读满处理);alloc 预分配返回带 .ptr 的
|
|
233
319
|
* PtrArrayBuffer(a = 字符数,缺省 256)。类型取必需形态——
|
|
234
|
-
*
|
|
235
|
-
|
|
320
|
+
* 内建三件齐备,调用无需空断言。刻意 Pick 而非 Required<Codec>:只声明消费的
|
|
321
|
+
* 三件(encode/decode/alloc),新增可选能力位不被拉成必填。 */
|
|
322
|
+
export const WCHAR: Required<Pick<Codec<'WCHAR', string, number>, 'encode' | 'decode' | 'alloc'>> = {
|
|
236
323
|
encode: (v: string) => {
|
|
237
324
|
// TextEncoder 没有 encodeInto:先编码再拷入带 .ptr 的 buffer(单次 memcpy,
|
|
238
325
|
// 编码逻辑仍全局唯一——这行是全部 UTF-16 字符串编码的唯一实现)。
|
|
@@ -407,7 +494,17 @@ function dispatchClosure(
|
|
|
407
494
|
export function closure<S extends string>(sig: S, fn: BindFn<S, {}, {}>,
|
|
408
495
|
opts?: { stdcall?: boolean }): { ptr: number; dispose(): void } {
|
|
409
496
|
const { argTokens, retToken } = parseSig(sig)
|
|
410
|
-
|
|
497
|
+
// 按值位仅支持 bind 的入参方向:closure 的 C→JS 方向由 quickjs-ffi-closure-*.S
|
|
498
|
+
// 按固定槽宽读参数(x64 固定 8 字节槽、ia32 IA32_ARG_SIZE 表),不区分「槽内是
|
|
499
|
+
// 结构字节还是指向临时副本的指针」——该分派未实现,创建期 fail-fast。
|
|
500
|
+
for (const t of argTokens)
|
|
501
|
+
if (isCValToken(t))
|
|
502
|
+
throw new Error(`ffi-bind: closure signature cannot take a by-value struct ` +
|
|
503
|
+
`(<${valName(t)}>); by-value is bind-only — the C→JS direction has no ` +
|
|
504
|
+
`struct slot decoding (pass a pointer and decode on the JS side)`)
|
|
505
|
+
// 上方已拒 '<N>' 按值形:此处 tok 恒为标量/指针档(cTokenToType 对 val 形原样返回,
|
|
506
|
+
// 但那条路径不可达——IA32_ARG_SIZE 索引与 dispatchClosure 只认标量档)。
|
|
507
|
+
const argSpecs = argTokens.map(t => ({ tok: cTokenToType(t) as C_BasicType_No_Void, nonnull: t.endsWith('!') }))
|
|
411
508
|
const retSpec = { tok: cTokenToType(retToken), nonnull: retToken.endsWith('!') }
|
|
412
509
|
const is64 = os.arch === 'x64'
|
|
413
510
|
const stackCapture = argSpecs.reduce((s, x) => s + IA32_ARG_SIZE[x.tok], 0)
|
package/lib/ffi/ctype.js
CHANGED
|
@@ -27,20 +27,39 @@ const C_BASIC_TYPE = [
|
|
|
27
27
|
// '@Name' = 枚举值域标注(类型层启用前先由 Norm 归一剥掉)。两者语义正交但作用面不相交
|
|
28
28
|
// (! 主品牌位、@ 主裸档整数位,@ 枚举不含 0 时已蕴含 !),故每 token 至多一个修饰。
|
|
29
29
|
// 组 1 恒为名字(归一名),组 2 为修饰;槽宽/ABI 只看归一形式。
|
|
30
|
-
|
|
30
|
+
// 名字形收紧为标识符([A-Za-z_]\w*)∪ 空串(<>ptr 裸地址档),尾部可挂数组字形:
|
|
31
|
+
// '*' = 零或多(<N*>ptr 入参连续数组位,元素形 = 单对象位 codec)。其余非标识符
|
|
32
|
+
// 字符('+'/'-'/'1' 开头等)不进词法 —— 与 <1abc>ptr/<X-y>ptr 同策略:正则不匹配、
|
|
33
|
+
// 绑定时落通用 Unknown token,类型层不设专属禁分支(运行时兜底,无静默通过)。旧版
|
|
34
|
+
// ([^<>\s]*) 通配曾使 <FOO+>ptr 被静默当品牌 'FOO+' 接受——语义字形必须结构可见。
|
|
35
|
+
const PTR_TOKEN_RE = /^<([A-Za-z_]\w*|)>ptr(!|@[A-Za-z_]\w*)?$/;
|
|
31
36
|
export function isCPtrToken(t) { return PTR_TOKEN_RE.test(t); }
|
|
37
|
+
// '<N>' 裸品牌形 = 按值传参位(<N>ptr 传地址 / <N> 传值)。名字形同指针形(标识符,
|
|
38
|
+
// 空名 <> 仅 ptr 档有),不带任何修饰 —— 按值位无 '!'(值不为 NULL)、无 '@'(值域由
|
|
39
|
+
// codec 推导、不标枚举)、无 '*'(数组走 structArray encoder 的值域):含修饰的形
|
|
40
|
+
// 正则不匹配,落绑定时通用 Unknown token(与 '<X+>ptr' 同策略,运行时兜底)。
|
|
41
|
+
const VAL_TOKEN_RE = /^<([A-Za-z_]\w*)>$/;
|
|
42
|
+
export function isCValToken(t) { return VAL_TOKEN_RE.test(t); }
|
|
43
|
+
export function valName(t) {
|
|
44
|
+
const m = VAL_TOKEN_RE.exec(t);
|
|
45
|
+
return (m?.[1] || "");
|
|
46
|
+
}
|
|
32
47
|
export function ptrName(t) {
|
|
33
48
|
const m = PTR_TOKEN_RE.exec(t);
|
|
34
49
|
return (m?.[1] || "");
|
|
35
50
|
}
|
|
36
51
|
/**
|
|
37
|
-
* @description `<${string}>ptr` / `<${string}>ptr!` -> 'ptr'
|
|
52
|
+
* @description `<${string}>ptr` / `<${string}>ptr!` -> 'ptr'。按值形 `<${string}>` 无
|
|
53
|
+
* 标量槽等价物 —— 运行时 throw(返回位由 parseSig 拒、closure 入参位由 closure() 拒,
|
|
54
|
+
* 正常路径不可达),返回类型同时 Exclude 掉按值形:消费方(readRet / dispatchClosure
|
|
55
|
+
* 的 IA32_ARG_SIZE 索引)拿不到会误导编译期的标量误判。
|
|
38
56
|
*/
|
|
39
57
|
export const cTokenToType = (t) => {
|
|
40
58
|
if (isCPtrToken(t))
|
|
41
59
|
return 'ptr';
|
|
42
|
-
|
|
43
|
-
|
|
60
|
+
if (isCValToken(t))
|
|
61
|
+
throw new Error(`ffi: cTokenToType: by-value token "${t}" has no scalar slot type`);
|
|
62
|
+
return t;
|
|
44
63
|
};
|
|
45
64
|
export const PTR_SIZE = os.arch === 'x64' ? 8 : 4;
|
|
46
65
|
export const SizeAlign = {
|
|
@@ -56,11 +75,18 @@ export const NULL = 0;
|
|
|
56
75
|
export function normToken(t) {
|
|
57
76
|
if (isCPtrToken(t)) {
|
|
58
77
|
// 只剥 '@Name'(枚举标注是纯类型层语义,运行时不校验、不理解);'!' 保留在
|
|
59
|
-
// token 上——运行时要执法的语义(0 检查)跟着 token 走到 callPacked
|
|
60
|
-
// 无独立 flag 可被解构丢失。槽宽/ABI 判型走 isCPtrToken
|
|
78
|
+
// token 上——运行时要执法的语义(0 检查)跟着 token 走到 callPacked,
|
|
79
|
+
// 无独立 flag 可被解构丢失。槽宽/ABI 判型走 isCPtrToken,带修饰不受影响。
|
|
61
80
|
const m = PTR_TOKEN_RE.exec(t);
|
|
62
|
-
|
|
81
|
+
const name = m?.[1] || '';
|
|
82
|
+
const mod = m?.[2];
|
|
83
|
+
// 剥 '@'(纯类型层语义);'!' 形随 token 走。('*' 等词法外字符不设专属分支:
|
|
84
|
+
// 不匹配正则,落末尾 Unknown token —— 与 '<X+>ptr' 同待遇。)
|
|
85
|
+
return (mod?.startsWith('@') ? `<${name}>ptr` : t);
|
|
63
86
|
}
|
|
87
|
+
// 按值形 '<N>' 无修饰可剥(见 VAL_TOKEN_RE 注释),原样归一。
|
|
88
|
+
if (isCValToken(t))
|
|
89
|
+
return t;
|
|
64
90
|
// 整数档尾缀 '@Name'(枚举值域标注,与 ptr 位的 '@' 同源):剥掉归一到原 token,
|
|
65
91
|
// 槽宽/ABI 只看归一形式。@ 后缀须为纯枚举名形 —— 'u32@WmMsg:3' 这类混进位域/数组
|
|
66
92
|
// 串的直接 throw,不静默吞成纯标量(布局会错);名 ∈ EnumMap 的语义校验留给类型层
|