From c724203758a9f13e66f7334d0d9e2da92149dd71 Mon Sep 17 00:00:00 2001 From: pjh456 <147148383@qq.com> Date: Fri, 25 Sep 2026 02:35:06 +0000 Subject: [PATCH] =?UTF-8?q?feat:=20=E6=96=B0=E5=A2=9E=20JSON.rawJSON/isRaw?= =?UTF-8?q?JSON=20=E5=86=85=E7=BD=AE=E4=B8=8E=20parse=20=E6=96=87=E6=9C=AC?= =?UTF-8?q?=E5=BC=BA=E8=BD=AC?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- crates/oxide_builtins/src/json.rs | 113 ++++++++++++++++++++-- crates/oxide_types/src/object.rs | 8 ++ crates/oxide_vm/src/bindings/bind_json.rs | 2 + 3 files changed, 117 insertions(+), 6 deletions(-) diff --git a/crates/oxide_builtins/src/json.rs b/crates/oxide_builtins/src/json.rs index 82265130..c1a5483c 100644 --- a/crates/oxide_builtins/src/json.rs +++ b/crates/oxide_builtins/src/json.rs @@ -12,17 +12,26 @@ use oxide_runtime_api::{NativeResult, VmHost}; /// `JSON.parse(text, reviver)`：解析 JSON 文本为 JS 值（经 serde_json）。 /// 提供 reviver 时以后序遍历逐属性调用 reviver 重建值。 +/// +/// `text` 经 `? ToString` 强转：对象走 ToPrimitive（string hint），Symbol +/// 抛 TypeError，强转期用户异常原值传播。 pub fn json_parse(vm: &mut H, args: &[u8]) -> NativeResult { if args.len() < 2 { return NativeResult::Err(crate::error::create_syntax_error(vm, "JSON.parse requires 1 argument")); } - let val = vm.reg(args[1]); - if !val.is_string() { - return NativeResult::Err(crate::error::create_syntax_error(vm, "JSON.parse: argument is not a string")); - } + let text_val = match oxide_runtime_api::to_string_value_full(vm.reg(args[1]), vm) { + Ok(v) => v, + Err(_) => { + // 强转期用户异常原值重抛；Symbol 无在途异常，按规范构造 TypeError。 + if let Some(exc) = vm.take_uncaught_value() { + return NativeResult::Err(exc); + } + return NativeResult::Err(crate::error::create_type_error(vm, "Cannot convert a Symbol value to a string")); + } + }; let text = { - // SAFETY: val 已确认是字符串值。 - unsafe { (*val.as_string_ptr()).to_owned_string() } + // SAFETY: text_val 已确认是字符串值。 + unsafe { (*text_val.as_string_ptr()).to_owned_string() } }; let parsed: serde_json::Value = match serde_json::from_str(&text) { @@ -54,6 +63,85 @@ pub fn json_parse(vm: &mut H, args: &[u8]) -> NativeResult { NativeResult::Ok(result) } +/// rawJSON 对象禁止的首/末 code unit 集：TAB/LF/CR/SPACE。 +const RAW_JSON_FORBIDDEN_EDGE_UNITS: [u16; 4] = [0x09, 0x0A, 0x0D, 0x20]; + +/// `JSON.rawJSON(text)`：把合法 JSON 文本包装为 raw JSON 对象。 +/// +/// # 步骤 +/// 1. `? ToString(text)`（Symbol 抛 TypeError，对象经 ToPrimitive，用户异常原值传播）。 +/// 2. 空串或首/末 code unit 为 TAB/LF/CR/SPACE 抛 SyntaxError。 +/// 3. 须为合法 JSON 文本且最外层非 object/array，否则 SyntaxError。 +/// 4. 建 null 原型 frozen 对象，唯一自身属性 `rawJSON` = 文本 +/// （writable:false、enumerable:true、configurable:false）。 +/// +/// # 副作用 +/// - 分配一个 session/epoch 对象与其字符串属性值。 +pub fn json_raw_json(vm: &mut H, args: &[u8]) -> NativeResult { + let text_val = match oxide_runtime_api::to_string_value_full( + if args.len() >= 2 { vm.reg(args[1]) } else { JsValue::undefined() }, + vm, + ) { + Ok(v) => v, + Err(_) => { + // 强转期用户异常原值重抛；Symbol 无在途异常，按规范构造 TypeError。 + if let Some(exc) = vm.take_uncaught_value() { + return NativeResult::Err(exc); + } + return NativeResult::Err(crate::error::create_type_error(vm, "Cannot convert a Symbol value to a string")); + } + }; + let text = { + // SAFETY: text_val 已确认是字符串值。 + unsafe { (*text_val.as_string_ptr()).to_owned_string() } + }; + + // 边界字符校验：空串或首/末 code unit 属空白四元之一。 + let units: Vec = text.encode_utf16().collect(); + if units.is_empty() + || RAW_JSON_FORBIDDEN_EDGE_UNITS.contains(&units[0]) + || RAW_JSON_FORBIDDEN_EDGE_UNITS.contains(&units[units.len() - 1]) + { + return NativeResult::Err(crate::error::create_syntax_error(vm, "Invalid JSON text")); + } + + // 合法性校验：serde_json 解析失败即非合法 JSON 文本；最外层 + // object/array 不满足 raw JSON 语义。 + match serde_json::from_str::(&text) { + Ok(serde_json::Value::Object(_)) | Ok(serde_json::Value::Array(_)) => { + return NativeResult::Err(crate::error::create_syntax_error(vm, "Invalid JSON text")); + } + Ok(_) => {} + Err(e) => return NativeResult::Err(crate::error::create_syntax_error(vm, &format!("{}", e))), + } + + // 建 null 原型对象：rawJSON 属性为唯一自身属性，frozen 形态收尾。 + let mut obj = JsObject::new_empty(EMPTY_SHAPE_ID, JsValue::null()); + obj.type_tag = JsObject::OBJ_TYPE_RAW_JSON; + let raw_si = vm.kernel_core().perm_interner().intern("rawJSON").0; + let new_shape = vm.kernel_core().shape_forge().make_shape(obj.shape_id(), raw_si); + obj.set_shape_id(new_shape); + obj.ensure_hash_props().push(text_val); + let obj_ptr = vm.alloc_object(obj); + { + let obj = unsafe { &mut *obj_ptr }; + obj.set_data_meta(0, PropAttributes::new(false, true, false)); + obj.set_frozen(true); + obj.set_extensible(false); + } + NativeResult::Ok(JsValue::from_js_object(obj_ptr)) +} + +/// `JSON.isRawJSON(value)`：value 带 raw JSON 类型标签时返回 true，其余一律 false。 +pub fn json_is_raw_json(vm: &mut H, args: &[u8]) -> NativeResult { + let val = if args.len() >= 2 { vm.reg(args[1]) } else { JsValue::undefined() }; + let is_raw = val.is_object() && { + let p = val.as_js_object_ptr(); + !p.is_null() && unsafe { (*p).is_raw_json_obj() } + }; + NativeResult::Ok(JsValue::bool(is_raw)) +} + /// InternalizeJSONProperty 后序遍历：Get 读当前值 → 递归子节点并把每子返回值 /// 施加于容器（undefined → [[Delete]]，否则 CreateDataProperty，两失败路径 /// 静默）→ 调用 reviver。返回值 = 本级 reviver 返回值原样，由父级循环施加 @@ -483,6 +571,19 @@ fn jsvalue_to_json( return Ok(()); } + // SerializeJSONProperty 步 1a：raw JSON 对象直接输出原始文本（先于 + // toJSON 查找；该对象仅一个字符串属性，不可能参与环，免环检）。 + { + let obj = unsafe { &*obj_ptr }; + if obj.is_raw_json_obj() { + let raw_val = obj.get_prop_at(0); + // SAFETY: rawJSON 属性构造期即写入字符串值。 + let raw_text = unsafe { (*raw_val.as_string_ptr()).to_owned_string() }; + out.push_str(&raw_text); + return Ok(()); + } + } + if !visited.insert(obj_ptr as *const JsObject) { return Err(crate::error::create_type_error(vm, "Converting circular structure to JSON")); } diff --git a/crates/oxide_types/src/object.rs b/crates/oxide_types/src/object.rs index 2e21e577..17629d62 100644 --- a/crates/oxide_types/src/object.rs +++ b/crates/oxide_types/src/object.rs @@ -216,6 +216,9 @@ impl JsObject { /// WeakMap 对象：条目表（弱键 → 强值）存于 `native_data`。键为弱边 /// （GC mark 不产边），值为强边。 pub const OBJ_TYPE_WEAK_MAP: u8 = 31; + /// Raw JSON 对象（`JSON.rawJSON` 产物）：null 原型、frozen，唯一自身属性 + /// `rawJSON` 存原始 JSON 文本（不可写、不可配置）；无原生载荷盒。 + pub const OBJ_TYPE_RAW_JSON: u8 = 32; /// `is_session_epoch` 字段中的 session 标记位。 pub const SESSION_EPOCH_BIT: u8 = 0x01; /// `is_session_epoch` 字段中的 GC 标记位。 @@ -286,6 +289,11 @@ impl JsObject { pub fn is_weak_map_obj(&self) -> bool { self.type_tag == Self::OBJ_TYPE_WEAK_MAP } + /// 是否 Raw JSON 对象（`JSON.rawJSON` 产物，序列化时直接输出原始文本）。 + #[inline] + pub fn is_raw_json_obj(&self) -> bool { + self.type_tag == Self::OBJ_TYPE_RAW_JSON + } /// 是否 DataView 对象。 #[inline] pub fn is_data_view_obj(&self) -> bool { diff --git a/crates/oxide_vm/src/bindings/bind_json.rs b/crates/oxide_vm/src/bindings/bind_json.rs index 69c4ce7e..879e0d89 100644 --- a/crates/oxide_vm/src/bindings/bind_json.rs +++ b/crates/oxide_vm/src/bindings/bind_json.rs @@ -17,6 +17,8 @@ pub fn bind_json(core: &Arc, session: &KernelSession, global: &mut J &[ ("parse", oxide_builtins::json::json_parse:: as *const (), 2), ("stringify", oxide_builtins::json::json_stringify:: as *const (), 3), + ("rawJSON", oxide_builtins::json::json_raw_json:: as *const (), 1), + ("isRawJSON", oxide_builtins::json::json_is_raw_json:: as *const (), 1), ], );