diff --git a/Cargo.lock b/Cargo.lock index 903a150d..9295193d 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1160,7 +1160,7 @@ dependencies = [ [[package]] name = "oxide_builtins" -version = "0.14.12" +version = "0.14.13" dependencies = [ "chrono", "fast-float", @@ -1185,7 +1185,7 @@ dependencies = [ [[package]] name = "oxide_bytecode" -version = "0.14.12" +version = "0.14.13" dependencies = [ "num-bigint", "oxide_log", @@ -1193,7 +1193,7 @@ dependencies = [ [[package]] name = "oxide_cfg" -version = "0.14.12" +version = "0.14.13" dependencies = [ "oxide_bytecode", "oxide_emit", @@ -1204,7 +1204,7 @@ dependencies = [ [[package]] name = "oxide_cli" -version = "0.14.12" +version = "0.14.13" dependencies = [ "ansi_term", "bumpalo", @@ -1227,7 +1227,7 @@ dependencies = [ [[package]] name = "oxide_code_cache" -version = "0.14.12" +version = "0.14.13" dependencies = [ "lru", "oxide_bytecode", @@ -1236,7 +1236,7 @@ dependencies = [ [[package]] name = "oxide_compiler" -version = "0.14.12" +version = "0.14.13" dependencies = [ "oxide_bytecode", "oxide_cfg", @@ -1256,7 +1256,7 @@ dependencies = [ [[package]] name = "oxide_dce" -version = "0.14.12" +version = "0.14.13" dependencies = [ "oxide_bytecode", "oxide_cfg", @@ -1270,7 +1270,7 @@ dependencies = [ [[package]] name = "oxide_emit" -version = "0.14.12" +version = "0.14.13" dependencies = [ "num-bigint", "oxc_allocator", @@ -1285,7 +1285,7 @@ dependencies = [ [[package]] name = "oxide_engine" -version = "0.14.12" +version = "0.14.13" dependencies = [ "oxide_bytecode", "oxide_compiler", @@ -1297,7 +1297,7 @@ dependencies = [ [[package]] name = "oxide_ir" -version = "0.14.12" +version = "0.14.13" dependencies = [ "oxide_bytecode", "oxide_log", @@ -1306,7 +1306,7 @@ dependencies = [ [[package]] name = "oxide_kernel" -version = "0.14.12" +version = "0.14.13" dependencies = [ "bumpalo", "dashmap", @@ -1320,7 +1320,7 @@ dependencies = [ [[package]] name = "oxide_liveness" -version = "0.14.12" +version = "0.14.13" dependencies = [ "oxide_bytecode", "oxide_cfg", @@ -1332,7 +1332,7 @@ dependencies = [ [[package]] name = "oxide_log" -version = "0.14.12" +version = "0.14.13" dependencies = [ "tracing", "tracing-appender", @@ -1341,7 +1341,7 @@ dependencies = [ [[package]] name = "oxide_parser" -version = "0.14.12" +version = "0.14.13" dependencies = [ "oxc_allocator", "oxc_ast", @@ -1356,7 +1356,7 @@ dependencies = [ [[package]] name = "oxide_regalloc" -version = "0.14.12" +version = "0.14.13" dependencies = [ "oxide_bytecode", "oxide_cfg", @@ -1372,7 +1372,7 @@ dependencies = [ [[package]] name = "oxide_runtime_api" -version = "0.14.12" +version = "0.14.13" dependencies = [ "num-bigint", "num-traits", @@ -1385,7 +1385,7 @@ dependencies = [ [[package]] name = "oxide_test262" -version = "0.14.12" +version = "0.14.13" dependencies = [ "oxide_bytecode", "oxide_compiler", @@ -1403,7 +1403,7 @@ dependencies = [ [[package]] name = "oxide_types" -version = "0.14.12" +version = "0.14.13" dependencies = [ "bumpalo", "dashmap", @@ -1416,7 +1416,7 @@ dependencies = [ [[package]] name = "oxide_vm" -version = "0.14.12" +version = "0.14.13" dependencies = [ "bumpalo", "chrono", diff --git a/Cargo.toml b/Cargo.toml index b4548cc9..f32540de 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -23,7 +23,7 @@ members = [ ] [workspace.package] -version = "0.14.12" +version = "0.14.13" edition = "2021" license = "MIT" rust-version = "1.80" diff --git a/crates/oxide_builtins/src/event.rs b/crates/oxide_builtins/src/event.rs index 72d781be..be88df2a 100644 --- a/crates/oxide_builtins/src/event.rs +++ b/crates/oxide_builtins/src/event.rs @@ -1,12 +1,15 @@ -//! Event 基类与 MessageEvent 派生类行为面：`Event` 构造器（`new Event(type, -//! init)`）、原型 getter（type / target / currentTarget / eventPhase / -//! isTrusted / bubbles / cancelable / defaultPrevented / composed）与原型方法 -//! （preventDefault / stopPropagation / stopImmediatePropagation / -//! composedPath）；`MessageEvent` 构造器（`new MessageEvent(type, init)`）与 -//! 原型 getter（data / origin / lastEpoch / source / ports）。 +//! Event 基类与 MessageEvent / ErrorEvent 派生类行为面：`Event` 构造器 +//! （`new Event(type, init)`）、原型 getter（type / target / currentTarget / +//! eventPhase / isTrusted / bubbles / cancelable / defaultPrevented / +//! composed）与原型方法（preventDefault / stopPropagation / +//! stopImmediatePropagation / composedPath）；`MessageEvent` 构造器 +//! （`new MessageEvent(type, init)`）与原型 getter（data / origin / lastEpoch / +//! source / ports）；`ErrorEvent` 构造器（`new ErrorEvent(type, init)`）与 +//! 原型 getter（message / filename / lineno / colno / error）。 //! //! 事件载荷盒（type 串与九项状态位，MessageEvent 加 data / origin / -//! lastEpoch / source / ports 五字段）存于对象 `native_fn` 槽，向 GC 家族表 +//! lastEpoch / source / ports 五字段，ErrorEvent 加 message / filename / +//! lineno / colno / error 五字段）存于对象 `native_fn` 槽，向 GC 家族表 //! 暴露 edges/size/drop 三自由函数。 use std::mem; @@ -54,6 +57,22 @@ struct MessageEventInner { ports: Vec, } +/// ErrorEvent 载荷盒：事件基类字段（`EventInner` 嵌入，位于偏移 0）加错误 +/// 五字段（message / filename / lineno / colno / error）。存于对象 +/// `native_fn` 槽（`Box::into_raw`，realm 局部单线程）。 +/// +/// `#[repr(C)]` 固定 `base` 位于偏移 0：派生类盒指针转基类指针读首字段依赖该 +/// 偏移稳定（与 `EventInner` 同型约束）。 +#[repr(C)] +struct ErrorEventInner { + base: EventInner, + message: JsValue, + filename: JsValue, + lineno: u32, + colno: u32, + error: JsValue, +} + /// 是否事件系对象（Event / MessageEvent / ErrorEvent / CustomEvent 四标签）。 pub fn is_event_family_obj(obj: &JsObject) -> bool { matches!( @@ -882,3 +901,335 @@ pub fn message_event_ports_getter(vm: &mut H, args: &[u8]) -> NativeR } NativeResult::Ok(JsValue::from_js_object(arr)) } + +// —— ErrorEvent 派生类 —— + +/// 取 ErrorEvent 载荷盒指针：仅 ErrorEvent 标签对象返回 `Some`，其余标签 +/// 返回 `None`。 +fn error_event_payload_ptr(obj: &JsObject) -> Option<*mut ErrorEventInner> { + if obj.type_tag != JsObject::OBJ_TYPE_ERROR_EVENT { + return None; + } + obj.native_fn().map(|ptr| ptr.as_ptr() as *mut ErrorEventInner) +} + +/// 收集 ErrorEvent 的引用边（基类 type / target / current_target 边加 +/// message / filename / error 边）。 +/// +/// `target` / `current_target` 空窗口（构造期回填之前）为 null，边函数自守， +/// 语义自含。 +pub fn error_event_native_edges(obj: &JsObject) -> Vec { + let Some(ptr) = error_event_payload_ptr(obj) else { + return Vec::new(); + }; + if ptr.is_null() { + return Vec::new(); + } + // SAFETY: ptr 指向有效载荷盒（槽位仅构造期写入、释放时置空），只读字段。 + let inner = unsafe { &*ptr }; + let mut edges = vec![inner.base.r#type, inner.base.target, inner.base.current_target]; + edges.push(inner.message); + edges.push(inner.filename); + edges.push(inner.error); + edges +} + +/// 只读核算 ErrorEvent 载荷盒字节（不释放）。 +pub fn error_event_native_size(obj: &JsObject) -> u64 { + let Some(ptr) = error_event_payload_ptr(obj) else { + return 0; + }; + if ptr.is_null() { + return 0; + } + mem::size_of::() as u64 +} + +/// 释放 ErrorEvent 载荷盒（`Box`），返回释放字节数。 +/// +/// 盒 drop 时基类字段与 message / filename / error 的 JsValue 边随盒释放 +/// （GC 已判定死对象）；槽置空保证重复调用零释放（幂等）。 +pub fn drop_error_event_native(obj: &mut JsObject) -> u64 { + let bytes = error_event_native_size(obj); + if bytes == 0 { + return 0; + } + let Some(ptr) = error_event_payload_ptr(obj) else { + return 0; + }; + // SAFETY: ptr 非空（error_event_native_size 已验证），Box::from_raw 恰好 + // 释放一次。 + unsafe { + drop(Box::from_raw(ptr)); + } + obj.set_native_fn(None); + bytes +} + +/// 建一个 ErrorEvent 载荷盒对象（`type` 串与 `message` 串），返回对象指针。 +/// +/// 供交付路径（错误事件）建真实 ErrorEvent 盒，使 `dispatchEvent` 品牌守卫 +/// 通过。盒的 `filename` 为空串、`lineno` 与 `colno` 为 0、`error` 为 null； +/// `[[Prototype]]` 指向 `ErrorEvent.prototype`（`e instanceof ErrorEvent` 与 +/// `e instanceof Event` 均成立）。 +/// +/// # 副作用 +/// - 新建一个 ErrorEvent 盒对象（经 `alloc_object` 入对象表）。 +pub fn create_error_event_box(vm: &mut H, message: &str, type_str: &str) -> *mut JsObject { + let type_js = vm.new_string(type_str); + let message_js = vm.new_string(message); + let filename_js = vm.new_string(""); + let inner = Box::into_raw(Box::new(ErrorEventInner { + base: EventInner { + r#type: type_js, + target: JsValue::null(), + current_target: JsValue::null(), + event_phase: 0, + is_trusted: false, + bubbles: false, + cancelable: false, + default_prevented: false, + propagation_stopped: false, + immediate_stopped: false, + composed: false, + }, + message: message_js, + filename: filename_js, + lineno: 0, + colno: 0, + error: JsValue::null(), + })); + let ee_proto = JsValue::from_js_object(vm.builtin_proto(ProtoKind::ErrorEventProto)); + let obj = JsObject::new_empty(EMPTY_SHAPE_ID, ee_proto); + let ptr = vm.alloc_object(obj); + // SAFETY: ptr 是本函数刚 alloc_object 的对象，存活且本段无别名；native_fn 存 + // 不透明 `Box` 指针，与 ArrayBuffer / RegExp 的类型化 + // 存储模式一致。 + let ee_obj = unsafe { &mut *ptr }; + ee_obj.type_tag = JsObject::OBJ_TYPE_ERROR_EVENT; + ee_obj.set_native_fn(Some(unsafe { NativeFnPtr::from_raw(inner as *const ()) })); + ptr +} + +/// ErrorEvent 构造器：`new ErrorEvent(type, init)`。 +/// +/// # 步骤 +/// 1. 非构造形态（`!constructing_native`）抛 TypeError（HTML 规范只有 +/// [[Construct]]，无 [[Call]]） +/// 2. type 经完整 ToString 转串；空串抛 SyntaxError +/// 3. init 字典读 message / filename / lineno / colno / error（缺省：message +/// 为空串、filename 为空串、lineno 为 0、colno 为 0、error 为 null） +/// 4. 建载荷盒入 receiver 的 `native_fn` 槽，置 type_tag +/// 5. 返回 receiver +/// +/// # 边界与前提 +/// - receiver（`args[0]`）是 VM 按构造器 prototype 新分配的对象，proto 已 +/// 指向 %ErrorEvent.prototype%； +/// - init 缺省（undefined）或非对象时对应字段取缺省。 +/// +/// # 副作用 +/// - receiver 的 `native_fn` 槽写入载荷盒、`type_tag` 置 ErrorEvent 标签。 +pub fn error_event_constructor(vm: &mut H, args: &[u8]) -> NativeResult { + if !vm.constructing_native() { + return NativeResult::Err(crate::error::create_type_error(vm, "ErrorEvent constructor requires new")); + } + + let this_val = vm.reg(args[0]); + if !this_val.is_object() { + return NativeResult::Err(crate::error::create_type_error(vm, "ErrorEvent constructor requires new")); + } + + // type 经完整 ToString 转串（对象经 ToPrimitive，Symbol 抛 TypeError）。 + let type_val = if args.len() > 1 { vm.reg(args[1]) } else { JsValue::undefined() }; + let type_str = match oxide_runtime_api::to_string_full(type_val, vm) { + Ok(s) => s, + Err(_) => { + if let Some(exc) = vm.take_uncaught_value() { + return NativeResult::Err(exc); + } + return NativeResult::Err(crate::error::create_type_error(vm, "Cannot convert value to a string")); + } + }; + if type_str.is_empty() { + return NativeResult::Err(crate::error::create_syntax_error(vm, "The provided type is empty")); + } + + // init 字典读 message / filename / lineno / colno / error（缺省或非对象 + // 时取缺省）。 + let mut message = JsValue::undefined(); + let mut filename = JsValue::undefined(); + let mut lineno = 0u32; + let mut colno = 0u32; + let mut error = JsValue::null(); + if args.len() > 2 { + let init_val = vm.reg(args[2]); + if init_val.is_object() { + let init_ptr = init_val.as_js_object_ptr(); + // SAFETY: init_val 已确认是对象值，借用即时消费。 + let init_obj = unsafe { &*init_ptr }; + + // message / filename / error 直读属性（getter 副作用与异常原值传播）。 + for (name, slot) in [("message", &mut message), ("filename", &mut filename), ("error", &mut error)] { + let si = vm.perm_intern(name); + match vm.ordinary_get(init_obj, si, init_val) { + Ok(v) => *slot = v, + Err(_) => { + if let Some(exc) = vm.take_uncaught_value() { + return NativeResult::Err(exc); + } + return NativeResult::Err(crate::error::create_type_error( + vm, + "ErrorEvent init property getter failed", + )); + } + } + } + + // lineno / colno 读数值（非有限非负数归 0）。 + for (name, slot) in [("lineno", &mut lineno), ("colno", &mut colno)] { + let si = vm.perm_intern(name); + match vm.ordinary_get(init_obj, si, init_val) { + Ok(v) => { + let n = oxide_runtime_api::to_number(v); + *slot = if n.is_finite() && n >= 0.0 { n as u32 } else { 0 }; + } + Err(_) => { + if let Some(exc) = vm.take_uncaught_value() { + return NativeResult::Err(exc); + } + return NativeResult::Err(crate::error::create_type_error( + vm, + "ErrorEvent init property getter failed", + )); + } + } + } + } + } + + // message / filename 缺省为空串、error 缺省为 null（init 缺属性时 + // ordinary_get 返回 undefined，须归回缺省）。 + if message.is_undefined() { + message = vm.new_string(""); + } + if filename.is_undefined() { + filename = vm.new_string(""); + } + if error.is_undefined() { + error = JsValue::null(); + } + + // 建载荷盒入 receiver 的 native_fn 槽，置 ErrorEvent 标签。 + let type_js = vm.new_string(&type_str); + let inner = Box::into_raw(Box::new(ErrorEventInner { + base: EventInner { + r#type: type_js, + target: JsValue::null(), + current_target: JsValue::null(), + event_phase: 0, + is_trusted: false, + bubbles: false, + cancelable: false, + default_prevented: false, + propagation_stopped: false, + immediate_stopped: false, + composed: false, + }, + message, + filename, + lineno, + colno, + error, + })); + // SAFETY: receiver 不可调用，native_fn 存不透明 `Box` + // 指针，与 ArrayBuffer / RegExp 的类型化存储模式一致。 + let obj = unsafe { &mut *this_val.as_js_object_ptr() }; + obj.type_tag = JsObject::OBJ_TYPE_ERROR_EVENT; + obj.set_native_fn(Some(unsafe { NativeFnPtr::from_raw(inner as *const ()) })); + NativeResult::Ok(this_val) +} + +/// 解析 this 为 ErrorEvent 载荷盒共享引用：非 ErrorEvent 对象或无载荷盒 +/// 返回 None。 +/// +/// # 注意事项 +/// 返回引用按 `'a` 声称为存活，实际存活至载荷盒被 GC 释放；调用方须在无 GC +/// 窗口的单 native 函数内消费，不得跨用户调用窗口持有。 +fn error_event_inner_of<'a>(this_val: JsValue) -> Option<&'a ErrorEventInner> { + if !this_val.is_object() { + return None; + } + let obj_ptr = this_val.as_js_object_ptr(); + if obj_ptr.is_null() { + return None; + } + // SAFETY: this_val 已确认是对象值，obj_ptr 指向合法 JsObject。 + let obj = unsafe { &*obj_ptr }; + let box_ptr = error_event_payload_ptr(obj)?; + if box_ptr.is_null() { + return None; + } + // SAFETY: box_ptr 指向有效载荷盒（构造期写入、释放时置空）；'a 存活由 + // 调用方「无 GC 窗口内消费」约定保证。 + Some(unsafe { &*box_ptr }) +} + +/// `ErrorEvent.prototype.message`：返回错误消息串（缺省为空串）。 +pub fn error_event_message_getter(vm: &mut H, args: &[u8]) -> NativeResult { + let this_val = vm.reg(if args.is_empty() { 0 } else { args[0] }); + let Some(inner) = error_event_inner_of(this_val) else { + return NativeResult::Err(crate::error::create_type_error( + vm, + "ErrorEvent.prototype.message getter called on non-ErrorEvent object", + )); + }; + NativeResult::Ok(inner.message) +} + +/// `ErrorEvent.prototype.filename`：返回错误发生文件名（缺省为空串）。 +pub fn error_event_filename_getter(vm: &mut H, args: &[u8]) -> NativeResult { + let this_val = vm.reg(if args.is_empty() { 0 } else { args[0] }); + let Some(inner) = error_event_inner_of(this_val) else { + return NativeResult::Err(crate::error::create_type_error( + vm, + "ErrorEvent.prototype.filename getter called on non-ErrorEvent object", + )); + }; + NativeResult::Ok(inner.filename) +} + +/// `ErrorEvent.prototype.lineno`：返回错误发生行号（缺省为 0）。 +pub fn error_event_lineno_getter(vm: &mut H, args: &[u8]) -> NativeResult { + let this_val = vm.reg(if args.is_empty() { 0 } else { args[0] }); + let Some(inner) = error_event_inner_of(this_val) else { + return NativeResult::Err(crate::error::create_type_error( + vm, + "ErrorEvent.prototype.lineno getter called on non-ErrorEvent object", + )); + }; + NativeResult::Ok(JsValue::int(inner.lineno as i32)) +} + +/// `ErrorEvent.prototype.colno`：返回错误发生列号（缺省为 0）。 +pub fn error_event_colno_getter(vm: &mut H, args: &[u8]) -> NativeResult { + let this_val = vm.reg(if args.is_empty() { 0 } else { args[0] }); + let Some(inner) = error_event_inner_of(this_val) else { + return NativeResult::Err(crate::error::create_type_error( + vm, + "ErrorEvent.prototype.colno getter called on non-ErrorEvent object", + )); + }; + NativeResult::Ok(JsValue::int(inner.colno as i32)) +} + +/// `ErrorEvent.prototype.error`：返回错误对象（缺省为 null）。 +pub fn error_event_error_getter(vm: &mut H, args: &[u8]) -> NativeResult { + let this_val = vm.reg(if args.is_empty() { 0 } else { args[0] }); + let Some(inner) = error_event_inner_of(this_val) else { + return NativeResult::Err(crate::error::create_type_error( + vm, + "ErrorEvent.prototype.error getter called on non-ErrorEvent object", + )); + }; + NativeResult::Ok(inner.error) +} diff --git a/crates/oxide_vm/src/bindings/bind_event.rs b/crates/oxide_vm/src/bindings/bind_event.rs index 55070803..c37a74b5 100644 --- a/crates/oxide_vm/src/bindings/bind_event.rs +++ b/crates/oxide_vm/src/bindings/bind_event.rs @@ -1,10 +1,12 @@ //! Event 体系绑定：就地填充 `event_constructor` / `event_proto` 两枚 P 字段 //! 占位（构造器本体、原型方法、原型 getter 与 Event 常量），并绑全局 `Event`； //! 就地填充 `message_event_constructor` / `message_event_proto` 两枚 P 字段 -//! 占位（构造器本体与原型 getter），并绑全局 `MessageEvent`。 +//! 占位（构造器本体与原型 getter），并绑全局 `MessageEvent`；就地填充 +//! `error_event_constructor` / `error_event_proto` 两枚 P 字段占位（构造器 +//! 本体与原型 getter），并绑全局 `ErrorEvent`。 //! -//! 九枚 P 字段中其余四枚（ErrorEvent / CustomEvent 两对）由后续子任务就地 -//! 填充，本函数不读不写。 +//! 九枚 P 字段中其余两枚（CustomEvent 一对）由后续子任务就地填充，本函数 +//! 不读不写。 use std::sync::Arc; @@ -14,11 +16,12 @@ use oxide_kernel::kernel::{KernelCore, KernelSession}; use oxide_types::object::{JsObject, PropAttributes}; use oxide_types::value::JsValue; -/// 把 Event 与 MessageEvent 构造器及原型方法绑定到 global。 +/// 把 Event / MessageEvent / ErrorEvent 构造器及原型方法绑定到 global。 /// -/// `event_constructor` / `event_proto` 与 `message_event_constructor` / -/// `message_event_proto` 四枚 P 字段是空对象占位，本函数就地填充（不新建 -/// 对象——P 字段本身就是槽位，快照/脏检查/收尾枚举已覆盖）。 +/// `event_constructor` / `event_proto`、`message_event_constructor` / +/// `message_event_proto` 与 `error_event_constructor` / `error_event_proto` +/// 六枚 P 字段是空对象占位，本函数就地填充（不新建对象——P 字段本身就是 +/// 槽位，快照/脏检查/收尾枚举已覆盖）。 /// /// # 幂等 /// 本函数从三条路径到达：`init_kernel_builtins`（占位是空对象）、 @@ -239,6 +242,75 @@ pub fn bind_event(core: &Arc, session: &KernelSession, global: &mut } } + // ---- 填 ErrorEvent 构造器与原型占位 ---- + let ee_ctor_ptr = world.error_event_constructor.as_ptr() as *mut JsObject; + let ee_ctor = unsafe { &mut *ee_ctor_ptr }; + let ee_proto_ptr = world.error_event_proto.as_ptr() as *mut JsObject; + let ee_proto = unsafe { &mut *ee_proto_ptr }; + + // 构造器：function 标志、prototype 槽、name 槽、[[Prototype]] → + // Function.prototype（幂等，裸写槽）。 + ee_ctor.set_function(true); + if sh.lookup_position(ee_ctor.shape_id(), si_prototype).is_none() { + let shape = sh.make_shape(ee_ctor.shape_id(), si_prototype); + ee_ctor.set_shape_id(shape); + let pos = ee_ctor.push_prop(JsValue::from_js_object(ee_proto_ptr)); + ee_ctor.set_data_meta(pos, PropAttributes::new(false, false, false)); + ee_ctor.bump_generation(); + } + if sh.lookup_position(ee_ctor.shape_id(), si_name).is_none() { + let shape = sh.make_shape(ee_ctor.shape_id(), si_name); + ee_ctor.set_shape_id(shape); + ee_ctor + .ensure_hash_props() + .push(JsValue::perm_string(sf.string_ptr(sf.intern("ErrorEvent").0))); + let pos = ee_ctor.hash_props_vec().map_or(0, |v| v.len() as u32).saturating_sub(1); + ee_ctor.set_data_meta(pos, PropAttributes::new(false, false, true)); + ee_ctor.bump_generation(); + } + let _ = ee_ctor.set_proto(fn_proto_val); + + configure_native_constructor( + ee_ctor, + oxide_builtins::event::error_event_constructor:: as *const (), + 2, + ); + bind_constructor!( + core, + global, + "ErrorEvent", + ee_ctor_ptr, + oxide_builtins::event::error_event_constructor::, + 2, + hash: true + ); + + // 原型：constructor 槽、[[Prototype]] → Event.prototype、五个 getter + // （message / filename / lineno / colno / error，每 getter 先 + // lookup_position 守卫）。 + if sh.lookup_position(ee_proto.shape_id(), si_constructor).is_none() { + let shape = sh.make_shape(ee_proto.shape_id(), si_constructor); + ee_proto.set_shape_id(shape); + let pos = ee_proto.push_prop(JsValue::from_js_object(ee_ctor_ptr)); + ee_proto.set_data_meta(pos, PropAttributes::new(true, false, true)); + ee_proto.bump_generation(); + } + let _ = ee_proto.set_proto(event_proto_val); + + let ee_getter_fns: [(&str, *const ()); 5] = [ + ("message", oxide_builtins::event::error_event_message_getter:: as *const ()), + ("filename", oxide_builtins::event::error_event_filename_getter:: as *const ()), + ("lineno", oxide_builtins::event::error_event_lineno_getter:: as *const ()), + ("colno", oxide_builtins::event::error_event_colno_getter:: as *const ()), + ("error", oxide_builtins::event::error_event_error_getter:: as *const ()), + ]; + for (name, fn_ptr) in ee_getter_fns { + let si = sf.intern(name).0; + if sh.lookup_position(ee_proto.shape_id(), si).is_none() { + bind_accessor_getter(core, session, ee_proto, name, fn_ptr); + } + } + // ---- 填 EventTarget 原型占位（无构造器，仅暴露原型与三方法）---- // 幂等：三方法经 lookup_position 守卫，[[Prototype]] 裸写槽幂等。 let et_proto_ptr = world.event_target_proto.as_ptr() as *mut JsObject; diff --git a/crates/oxide_vm/src/bindings/mod.rs b/crates/oxide_vm/src/bindings/mod.rs index 29695725..9e18a687 100644 --- a/crates/oxide_vm/src/bindings/mod.rs +++ b/crates/oxide_vm/src/bindings/mod.rs @@ -26,7 +26,8 @@ pub mod bind_date; pub mod bind_disposable_stack; /// Error 家族构造器与原型的 native 方法绑定（含各子类型构造器创建）。 pub mod bind_error; -/// Event 体系绑定入口（当前为空占位，九枚 P 字段由后续任务就地填充）。 +/// Event 体系绑定入口（Event / MessageEvent / ErrorEvent 构造器与原型就地 +/// 填充，CustomEvent 一对由后续任务填充）。 pub mod bind_event; /// Function 构造器与原型的 native 方法绑定。 pub mod bind_function; diff --git a/crates/oxide_vm/src/native_box_dispatch.rs b/crates/oxide_vm/src/native_box_dispatch.rs index 2ccb1d87..7edd27ef 100644 --- a/crates/oxide_vm/src/native_box_dispatch.rs +++ b/crates/oxide_vm/src/native_box_dispatch.rs @@ -248,9 +248,16 @@ pub(crate) fn ops_for(family: NativeBoxFamily) -> NativeBoxOps { string_edges: None, cell_edges: None, }, - // ErrorEvent / CustomEvent 载荷盒由后续子任务填充；本两臂当前无引用 - // 边，仅 size/drop 链消费。 - NativeBoxFamily::ErrorEvent | NativeBoxFamily::CustomEvent => NativeBoxOps { + // ErrorEvent 派生类载荷盒：基类 type / target / current_target 边加 + // message / filename / error 边。 + NativeBoxFamily::ErrorEvent => NativeBoxOps { + object_edges: Some(event::error_event_native_edges), + string_edges: None, + cell_edges: None, + }, + // CustomEvent 载荷盒由后续子任务填充；本臂当前无引用边，仅 size/drop + // 链消费。 + NativeBoxFamily::CustomEvent => NativeBoxOps { object_edges: None, string_edges: None, cell_edges: None, diff --git a/crates/oxide_vm/src/session_gc.rs b/crates/oxide_vm/src/session_gc.rs index 3fafe4a9..76b278fa 100644 --- a/crates/oxide_vm/src/session_gc.rs +++ b/crates/oxide_vm/src/session_gc.rs @@ -134,6 +134,7 @@ impl SessionGc { bytes += broadcast_channel::broadcast_channel_native_size(obj); bytes += event::event_native_size(obj); bytes += event::message_event_native_size(obj); + bytes += event::error_event_native_size(obj); bytes += crate::arguments_gc::arguments_native_size(obj); bytes @@ -378,12 +379,13 @@ impl SessionGc { } } // 事件系载荷盒（Event / MessageEvent / ErrorEvent / CustomEvent）字符串 - // 边标记：按标签取对应边函数；ErrorEvent / CustomEvent 载荷盒由后续子 - // 任务填充，当前取空边。 + // 边标记：按标签取对应边函数；CustomEvent 载荷盒由后续子任务填充， + // 当前取空边。 if event::is_event_family_obj(obj) { let edges = match obj.type_tag { JsObject::OBJ_TYPE_EVENT => event::event_native_edges(obj), JsObject::OBJ_TYPE_MESSAGE_EVENT => event::message_event_native_edges(obj), + JsObject::OBJ_TYPE_ERROR_EVENT => event::error_event_native_edges(obj), _ => Vec::new(), }; for value in edges { @@ -593,6 +595,7 @@ impl SessionGc { freed_bytes += broadcast_channel::drop_broadcast_channel_native(obj); freed_bytes += event::drop_event_native(obj); freed_bytes += event::drop_message_event_native(obj); + freed_bytes += event::drop_error_event_native(obj); freed_bytes += crate::arguments_gc::drop_arguments_native(obj); freed_bytes diff --git a/crates/oxide_vm/src/worker/bindings.rs b/crates/oxide_vm/src/worker/bindings.rs index 12a1d751..248e5b37 100644 --- a/crates/oxide_vm/src/worker/bindings.rs +++ b/crates/oxide_vm/src/worker/bindings.rs @@ -316,41 +316,32 @@ pub(crate) fn message_event_constructor(vm: &mut Vm, args: &[u8]) -> NativeResul NativeResult::Ok(JsValue::from_js_object(ptr)) } -/// 错误事件构造辅助（临时形态）：建真实 Event 盒（`type` 字段）加 `data` / -/// `message` 普通属性。 +/// 错误事件构造辅助：建真实 ErrorEvent 盒（`message` 为错误串、`filename` +/// 空串、`lineno` 与 `colno` 为 0、`error` 为 null）。 /// -/// 错误路径（`deliver_error_event`）经本辅助建错误事件：`data` 为 undefined、 -/// `message` 为错误串，供 onerror 处理器读取。 +/// 错误路径（`deliver_error_event`）经本辅助建真实 ErrorEvent， +/// `e instanceof ErrorEvent` 与 `e instanceof Event` 均成立，`e.message` +/// 经原型 getter 读盒字段。 /// /// # 步骤 /// 1. 读 `type`（`args[1]`）与 `message`（`args[2]`）。 -/// 2. 经 `create_event_box` 建真实 Event 盒（`type` 取 `type_val` 的字符串 -/// 形态，`[[Prototype]]` → `Event.prototype`），使 `dispatchEvent` 品牌守卫 -/// 通过。 -/// 3. define `data` 属性（undefined，可枚举）与 `message` 属性（错误消息串， -/// 可枚举）。 -/// 4. 返回对象。 +/// 2. 委托 `create_error_event_box` 建真实 ErrorEvent 盒（`[[Prototype]]` → +/// `ErrorEvent.prototype`），使 `dispatchEvent` 品牌守卫通过。 +/// 3. 返回对象。 /// /// # 边界与前提 /// - `type` 是事件类型串（`"error"`/`"messageerror"`）。 -/// - `message` 是错误消息串。 +/// - `message` 是错误消息串（GC 边，经盒边入 mark）。 /// /// # 副作用 -/// - 新建一个 Event 盒对象（经 `alloc_object` 入对象表）。 +/// - 新建一个 ErrorEvent 盒对象（经 `alloc_object` 入对象表）。 pub(crate) fn build_error_event(vm: &mut Vm, args: &[u8]) -> NativeResult { let type_val = if args.len() > 1 { vm.reg(args[1]) } else { JsValue::undefined() }; let message_val = if args.len() > 2 { vm.reg(args[2]) } else { JsValue::undefined() }; - // 建真实 Event 盒（type 取 type_val 的字符串形态）。 + // 建真实 ErrorEvent 盒（type 与 message 取实参的字符串形态）。 let type_text = vm.lookup_str(type_val).unwrap_or_default(); - let ptr = oxide_builtins::event::create_event_box(vm, &type_text); - // SAFETY: ptr 是 create_event_box 刚 alloc_object 的对象，存活且本段无别名。 - let event_obj = unsafe { &mut *ptr }; - - let si_data = vm.perm_intern("data"); - let _ = vm.define_data_property(event_obj, si_data, JsValue::undefined(), PropAttributes::DEFAULT_DATA); - let si_message = vm.perm_intern("message"); - let _ = vm.define_data_property(event_obj, si_message, message_val, PropAttributes::DEFAULT_DATA); - + let message_text = vm.lookup_str(message_val).unwrap_or_default(); + let ptr = oxide_builtins::event::create_error_event_box(vm, &message_text, &type_text); NativeResult::Ok(JsValue::from_js_object(ptr)) } diff --git a/crates/oxide_vm/src/worker/mod.rs b/crates/oxide_vm/src/worker/mod.rs index b6e6cdad..5c236629 100644 --- a/crates/oxide_vm/src/worker/mod.rs +++ b/crates/oxide_vm/src/worker/mod.rs @@ -396,7 +396,7 @@ impl Vm { /// 交付错误事件：建事件、经 `dispatchEvent` 交付（注册表查监听器）。 /// /// # 步骤 - /// 1. 建错误事件（`type` = `event_type`、`message` = `message`、`data` = undefined）。 + /// 1. 建错误事件（`type` = `event_type`、`message` = `message`）。 /// 2. 经 `dispatch_event_on` 交付到 `worker_obj`，后 `drain_microtasks`。 /// /// # 边界与前提 @@ -437,8 +437,9 @@ impl Vm { } } - /// 错误路径建事件对象（临时形态）：建真实 Event 盒（`type` 字段）加 - /// `data` / `message` 普通属性，委托 `build_error_event` 构造辅助。 + /// 错误路径建事件对象：建真实 ErrorEvent（`message` 为错误串、`filename` + /// 空串、`lineno` 与 `colno` 为 0、`error` 为 null），委托 + /// `build_error_event` 构造辅助。 /// /// # 步骤 /// 1. `type` 与 `message` 串物化为 session 串。 @@ -449,7 +450,7 @@ impl Vm { /// 新建的事件对象值（构造失败时返回错误对象值）。 /// /// # 副作用 - /// - 新建一个 Event 盒对象（经 `alloc_object` 入对象表）。 + /// - 新建一个 ErrorEvent 盒对象（经 `alloc_object` 入对象表）。 fn build_error_event(&mut self, type_str: &str, message: &str) -> JsValue { let type_val = self.new_string(type_str); let message_val = self.new_string(message); @@ -829,6 +830,49 @@ mod tests { let _ = std::fs::remove_file(&worker_path); } + /// 端到端：worker 脚本编译失败，主线程 onerror 收到真实 ErrorEvent + /// （e instanceof ErrorEvent 与 e instanceof Event 均真）。 + #[test] + fn worker_e2e_onerror_is_error_event() { + let mut vm = vm_with_compiler(); + + // worker 脚本：语法错误（编译失败）。 + let worker_path = write_worker_script("function { 语法错误"); + // 主脚本：建 Worker、设 addEventListener('error')，记录 instanceof 结果。 + let main_script = format!( + "var w = new Worker('{}'); w.addEventListener('error', function(e) {{ globalThis.isEE = e instanceof ErrorEvent; globalThis.isE = e instanceof Event; }});", + worker_path.display() + ); + vm.run(&Arc::new(compile_script(&main_script))).expect("主脚本应运行"); + + // 事件循环轮询至 globalThis.isEE 被设置（带截止，防 flaky）。 + let deadline = Instant::now() + Duration::from_secs(5); + loop { + vm.deliver_worker_messages(); + vm.cleanup_disconnected_workers(); + if global_value_opt(&vm, "isEE").is_some() { + break; + } + if Instant::now() >= deadline { + panic!("5 秒内 onerror 未被调用"); + } + std::thread::sleep(Duration::from_millis(10)); + } + assert_eq!( + global_value_opt(&vm, "isEE"), + Some(JsValue::bool(true)), + "事件应 instanceof ErrorEvent" + ); + assert_eq!( + global_value_opt(&vm, "isE"), + Some(JsValue::bool(true)), + "事件应 instanceof Event" + ); + + vm.shutdown_workers(); + let _ = std::fs::remove_file(&worker_path); + } + /// onmessageerror 交付辅助：无自然触发，直接单测交付辅助（handler 被调用、 /// 事件 type 为 "messageerror"）。不钉触发可达性（当前架构不可达）。 #[test] diff --git a/crates/oxide_vm/tests/event_target_tests.rs b/crates/oxide_vm/tests/event_target_tests.rs index bf641291..d0015f12 100644 --- a/crates/oxide_vm/tests/event_target_tests.rs +++ b/crates/oxide_vm/tests/event_target_tests.rs @@ -237,3 +237,60 @@ fn registry_pruned_after_target_collected() { "ok" ); } + +/// ErrorEvent 构造器：init 的 message 经原型 getter 可读。 +#[test] +fn error_event_constructor_message() { + assert_eq!( + eval("new ErrorEvent('error', { message: 'boom' }).message;"), + "boom" + ); +} + +/// ErrorEvent 缺省字段：message 空串、filename 空串、lineno 与 colno 为 0、 +/// error 为 null。 +#[test] +fn error_event_defaults() { + assert_eq!( + eval( + "var e = new ErrorEvent('error'); \ + e.message === '' && e.filename === '' && e.lineno === 0 && e.colno === 0 && e.error === null;" + ), + "true" + ); +} + +/// ErrorEvent 原型链：instanceof ErrorEvent 与 instanceof Event 均真， +/// 原型双亲为 Event.prototype。 +#[test] +fn error_event_proto_chain() { + assert_eq!( + eval( + "var e = new ErrorEvent('error'); \ + e instanceof ErrorEvent && e instanceof Event && \ + Object.getPrototypeOf(e) === ErrorEvent.prototype && \ + Object.getPrototypeOf(ErrorEvent.prototype) === Event.prototype;" + ), + "true" + ); +} + +/// ErrorEvent 非构造形态抛 TypeError。 +#[test] +fn error_event_requires_new() { + assert_eq!( + eval("try { ErrorEvent('error'); 'no-throw'; } catch (e) { e instanceof TypeError; }"), + "true" + ); +} + +/// ErrorEvent 盒边 GC 保活：error 字段引用对象经完整收集后仍存活。 +#[test] +fn error_event_box_edge_survives_gc() { + let mut vm = vm_with_script( + "globalThis.e = new ErrorEvent('error', { error: { tag: 1 } });", + ); + // 强制完整收集：error 字段是盒内 GC 边，对象应保活。 + vm.collect_session_gc(); + assert_eq!(vm_eval(&mut vm, "globalThis.e.error.tag;"), "1"); +}