From ded63a739bbdbc6e438f57f7a8b2fa96a44893d2 Mon Sep 17 00:00:00 2001 From: pjh456 <147148383@qq.com> Date: Wed, 16 Sep 2026 19:45:27 +0000 Subject: [PATCH] =?UTF-8?q?docs:=20=E5=A0=86=E5=A4=96=E5=B1=9E=E6=80=A7?= =?UTF-8?q?=E5=8C=BA=20SAFETY=20=E6=A0=B7=E6=9D=BF=E6=94=B6=E6=95=9B?= =?UTF-8?q?=E4=B8=BA=E5=AD=97=E6=AE=B5=E5=A3=B0=E6=98=8E?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- crates/oxide_types/src/object.rs | 13 ++++++-- crates/oxide_types/src/object/props.rs | 46 ++++++++++++-------------- 2 files changed, 32 insertions(+), 27 deletions(-) diff --git a/crates/oxide_types/src/object.rs b/crates/oxide_types/src/object.rs index c7a3ffdf..cfba8cde 100644 --- a/crates/oxide_types/src/object.rs +++ b/crates/oxide_types/src/object.rs @@ -90,10 +90,20 @@ pub struct JsObject { is_session_epoch: u8, _pad: u8, /// 数组元素区（仅数组对象）：`Vec`，`len == array_prop_count`。 + /// 经 `Box::into_raw` 创建（仅 `new_array` / `ensure_array_elements` 分配）， + /// 本对象持有期间有效，由 `release_raw_heap` 释放。 array_elements: *mut u8, /// 数组元素元数据区（仅数组对象，懒分配）：`Vec>`。 + /// 经 `Box::into_raw` 创建（仅 `ensure_array_elements_meta` 分配）， + /// 本对象持有期间有效，由 `release_raw_heap` 释放。 array_elements_meta: *mut u8, + /// 命名属性区（懒分配）：`Vec` 值向量。 + /// 经 `Box::into_raw` 创建（仅 `ensure_hash_props` 分配）， + /// 本对象持有期间有效，由 `release_raw_heap` 释放。 hash_props: *mut u8, + /// 命名属性元数据区（懒分配）：`Vec>`。 + /// 经 `Box::into_raw` 创建（仅 `ensure_prop_meta` 分配）， + /// 本对象持有期间有效，由 `release_raw_heap` 释放。 prop_meta: *mut u8, native_data: *mut u8, proto: JsValue, @@ -516,8 +526,7 @@ impl JsObject { /// 每区至多释放一次、重复调用为 no-op。upvalue 列表不在本函数释放范围内 /// （原件与晋升克隆间别名，须收尾时去重统一释放）。 pub fn release_raw_heap(&mut self) { - // SAFETY: 四个区各由 ensure_* 路径经 Box::into_raw 分配一次（或为空指针）； - // Box::from_raw 回收后即刻置空，杜绝二次释放。 + // SAFETY: 四个区指针归本对象所有（见字段声明）；回收后即刻置空。 unsafe { if !self.array_elements.is_null() { drop(Box::from_raw(self.array_elements as *mut Vec)); diff --git a/crates/oxide_types/src/object/props.rs b/crates/oxide_types/src/object/props.rs index 661c148c..e063a300 100644 --- a/crates/oxide_types/src/object/props.rs +++ b/crates/oxide_types/src/object/props.rs @@ -16,8 +16,7 @@ impl JsObject { if self.hash_props.is_null() { 0 } else { - // SAFETY: hash_props 要么为空，要么在 ensure_hash_props/new_array 中 - // 由 Box> 创建并归本对象所有。 + // SAFETY: 指针归本对象所有，见字段声明。 let vec = unsafe { &*(self.hash_props as *const Vec) }; vec.len() as u32 } @@ -123,8 +122,7 @@ impl JsObject { let vec = Box::new(vec![None::; len]); self.prop_meta = Box::into_raw(vec) as *mut u8; } - // SAFETY: prop_meta 在 ensure_prop_meta 中由 - // Box>> 创建，本对象持有期间始终有效。 + // SAFETY: 指针归本对象所有，见字段声明。 unsafe { &mut *(self.prop_meta as *mut Vec>) } } @@ -133,8 +131,7 @@ impl JsObject { if self.prop_meta.is_null() { None } else { - // SAFETY: prop_meta 在 ensure_prop_meta 中由 - // Box>> 创建，本对象持有期间始终有效。 + // SAFETY: 指针归本对象所有，见字段声明。 unsafe { Some(&*(self.prop_meta as *const Vec>)) } } } @@ -143,8 +140,7 @@ impl JsObject { if self.prop_meta.is_null() { None } else { - // SAFETY: prop_meta 在 ensure_prop_meta 中由 - // Box>> 创建，本对象持有期间始终有效。 + // SAFETY: 指针归本对象所有，见字段声明。 unsafe { Some(&mut *(self.prop_meta as *mut Vec>)) } } } @@ -287,22 +283,22 @@ impl JsObject { /// `set_prop_count` 按新形状重填。不清除形状 ID，调用方自行处理。 pub fn clear_props(&mut self) { if !self.array_elements.is_null() { - // SAFETY: array_elements 在 ensure_array_elements/new_array 中由 Box> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 let vec = unsafe { &mut *(self.array_elements as *mut Vec) }; vec.clear(); } if !self.array_elements_meta.is_null() { - // SAFETY: array_elements_meta 在 ensure_array_elements_meta 中创建。 + // SAFETY: 指针归本对象所有，见字段声明。 let meta = unsafe { &mut *(self.array_elements_meta as *mut Vec>) }; meta.clear(); } if !self.hash_props.is_null() { - // SAFETY: hash_props 在 ensure_hash_props/new_array 中由 Box> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 let vec = unsafe { &mut *(self.hash_props as *mut Vec) }; vec.clear(); } if !self.prop_meta.is_null() { - // SAFETY: prop_meta 在 ensure_prop_meta 中由 Box>> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 let meta = unsafe { &mut *(self.prop_meta as *mut Vec>) }; meta.clear(); } @@ -315,7 +311,7 @@ impl JsObject { let vec = Box::new(Vec::::new()); self.hash_props = Box::into_raw(vec) as *mut u8; } - // SAFETY: hash_props 在本方法或 new_array 中由 Box> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 unsafe { &mut *(self.hash_props as *mut Vec) } } @@ -324,7 +320,7 @@ impl JsObject { if self.hash_props.is_null() { None } else { - // SAFETY: hash_props 在 ensure_hash_props/new_array 中由 Box> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 unsafe { Some(&*(self.hash_props as *const Vec)) } } } @@ -333,7 +329,7 @@ impl JsObject { if self.hash_props.is_null() { None } else { - // SAFETY: hash_props 在 ensure_hash_props/new_array 中由 Box> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 unsafe { Some(&mut *(self.hash_props as *mut Vec)) } } } @@ -344,7 +340,7 @@ impl JsObject { let vec = Box::new(Vec::::new()); self.array_elements = Box::into_raw(vec) as *mut u8; } - // SAFETY: array_elements 在本方法或 new_array 中由 Box> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 let vec = unsafe { &mut *(self.array_elements as *mut Vec) }; while vec.len() < self.array_prop_count as usize { vec.push(JsValue::undefined()); @@ -357,7 +353,7 @@ impl JsObject { if self.array_elements.is_null() { None } else { - // SAFETY: array_elements 在 ensure_array_elements/new_array 中由 Box> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 unsafe { Some(&*(self.array_elements as *const Vec)) } } } @@ -366,7 +362,7 @@ impl JsObject { if self.array_elements.is_null() { None } else { - // SAFETY: array_elements 在 ensure_array_elements/new_array 中由 Box> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 unsafe { Some(&mut *(self.array_elements as *mut Vec)) } } } @@ -378,7 +374,7 @@ impl JsObject { let vec = Box::new(vec![None::; len]); self.array_elements_meta = Box::into_raw(vec) as *mut u8; } - // SAFETY: array_elements_meta 在本方法中由 Box>> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 let vec = unsafe { &mut *(self.array_elements_meta as *mut Vec>) }; while vec.len() < self.array_prop_count as usize { vec.push(None); @@ -391,7 +387,7 @@ impl JsObject { if self.array_elements_meta.is_null() { None } else { - // SAFETY: array_elements_meta 在 ensure_array_elements_meta 中创建。 + // SAFETY: 指针归本对象所有，见字段声明。 unsafe { Some(&*(self.array_elements_meta as *const Vec>)) } } } @@ -400,7 +396,7 @@ impl JsObject { if self.array_elements_meta.is_null() { None } else { - // SAFETY: array_elements_meta 在 ensure_array_elements_meta 中创建。 + // SAFETY: 指针归本对象所有，见字段声明。 unsafe { Some(&mut *(self.array_elements_meta as *mut Vec>)) } } } @@ -415,21 +411,21 @@ impl JsObject { if self.array_elements.is_null() { return JsValue::undefined(); } - // SAFETY: array_elements 在 ensure_array_elements/new_array 中由 Box> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 let vec = unsafe { &*(self.array_elements as *const Vec) }; return vec.get(pos).copied().unwrap_or(JsValue::undefined()); } if self.hash_props.is_null() { return JsValue::undefined(); } - // SAFETY: hash_props 在 ensure_hash_props/new_array 中由 Box> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 let vec = unsafe { &*(self.hash_props as *const Vec) }; return vec.get(pos - count).copied().unwrap_or(JsValue::undefined()); } if self.hash_props.is_null() { return JsValue::undefined(); } - // SAFETY: hash_props 在 ensure_hash_props/new_array 中由 Box> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 let vec = unsafe { &*(self.hash_props as *const Vec) }; vec.get(pos).copied().unwrap_or(JsValue::undefined()) } @@ -552,7 +548,7 @@ impl JsObject { if self.hash_props.is_null() { 0 } else { - // SAFETY: hash_props 在 ensure_hash_props/new_array 中由 Box> 创建。 + // SAFETY: 指针归本对象所有，见字段声明。 unsafe { &*(self.hash_props as *const Vec) }.len() } }