ITStudio_OUC/OxideJS-New
0
1
Fork 0
mirror of https://github.com/pjh456/OxideJS.git synced 2026-10-23 18:21:13 +08:00
Code Issues Packages Projects Releases Wiki Activity

feat: TypedArray detach 数值键静默写与守卫臂语义对齐

Browse Source
This commit is contained in:
彭俊皓
2026-09-23 04:13:38 +00:00
parent 0797ff1dce
commit f8ce0e58aa
2 changed files with 100 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/oxide_builtins/src/typed_array.rs
+82 -13
View File
@@ -350,7 +350,8 @@ fn clamp_index_to_len(raw: f64, len: usize) -> usize {
}
/// 读 TypedArray 指定整数索引的元素（供 VM 普通属性 get 的 typed 分支使用）。
/// 越界返回 undefined；内部状态非法返回 Err(String)。
/// 越界（含 detach）一律返回 undefined（规范 [[Get]] 静默臂）；内部状态
/// 非法返回 Err(String)（防御背板）。
pub fn typed_array_element_get<H: VmHost>(vm: &mut H, obj: &JsObject, index: u32) -> Result<JsValue, String> {
let this_val = JsValue::from_js_object(obj as *const JsObject as *mut JsObject);
let view = get_typed_array_data(vm, this_val).map_err(|e| format!("{e}"))?;
@@ -361,7 +362,8 @@ pub fn typed_array_element_get<H: VmHost>(vm: &mut H, obj: &JsObject, index: u32
let payload_ptr = array_buffer_payload(vm, view.buffer).map_err(|e| format!("{e}"))?;
// SAFETY: payload_ptr 经 array_buffer_payload 校验为合法 ArrayBuffer 载荷。
let Some(buffer) = unsafe { &*payload_ptr }.data.as_deref() else {
return Err("ArrayBuffer internal state invalid".into());
// 载荷缺失即 detach（live 界判后不可达，防御背板）：按 [[Get]] 读 undefined。
return Ok(JsValue::undefined());
};
Ok(read_element(vm, view.kind, buffer, absolute_byte_offset(view, index as usize)))
}
@@ -493,8 +495,52 @@ fn ta_to_number_text(t: &str) -> f64 {
}
}
/// detach 后数值键静默写判定：buffer 已 detach（载荷缺失，含 buffer 非
/// ArrayBuffer 对象）且键落在统一数值键门的数字臂（规范整数索引，或
/// "1.1"/"-0" 类 round-trip 数值串）时，写静默忽略、不落命名属性；
/// 非数字串与 symbol 键返回 false（调用方落普通属性路径）。供 VM 普通
/// 属性 set 的 typed 分支作 [[Set]] 静默臂。
pub fn typed_array_detached_numeric_key_noop<H: VmHost>(vm: &mut H, obj: &JsObject, key_si: u32) -> bool {
let this_val = JsValue::from_js_object(obj as *const JsObject as *mut JsObject);
let Ok(view) = get_typed_array_data(vm, this_val) else {
return false;
};
typed_array_detached_numeric_key_noop_view(vm, obj, view, key_si)
}
/// 只读变体：判定逻辑同 `typed_array_detached_numeric_key_noop`，视图直接
/// 从对象 native 槽读出，不要求可变 VM 访问。供 IC 快路径新属性分流等
/// 只持读引用的场景（该场景下视图状态与写路径同一口径）。
pub fn typed_array_detached_numeric_key_noop_ro<H: VmHost>(vm: &H, obj: &JsObject, key_si: u32) -> bool {
let Some(ptr) = typed_array_data_ptr(obj) else {
return false;
};
if ptr.is_null() {
return false;
}
// SAFETY: ptr 非空，为 TypedArray 对象 native_fn 槽内的 Box<TypedArrayData>，
// 与对象同生命周期，此处只读拷贝视图字段。
let view = unsafe { *ptr };
typed_array_detached_numeric_key_noop_view(vm, obj, view, key_si)
}
/// 两变体共享尾段：非 TypedArray 对象、buffer 载荷存活（未 detach）均不
/// 静默；detach 且键落数值臂（界内索引或数字无效）时静默。
fn typed_array_detached_numeric_key_noop_view<H: VmHost>(
vm: &H, obj: &JsObject, view: TypedArrayData, key_si: u32,
) -> bool {
if !obj.is_typed_array_obj() {
return false;
}
if ta_buffer_byte_length(view).is_some() {
return false;
}
matches!(ta_index_gate(vm, obj, key_si), TaIndexGate::NumericValid(_) | TaIndexGate::NumericInvalid)
}
/// 写 TypedArray 指定整数索引的元素（供 VM 普通属性 set 的 typed 分支使用）。
/// 越界忽略（不创建属性、不报错）；内部状态非法返回 Err(String)。
/// 先按元素类型转换（副作用/抛错先于界判触发），越界（含 detach）静默忽略
/// （不创建属性、不报错）；内部状态非法返回 Err(String)（防御背板）。
pub fn typed_array_element_set<H: VmHost>(
vm: &mut H, obj: &JsObject, index: u32, value: JsValue,
) -> Result<(), String> {
@@ -544,7 +590,9 @@ fn write_typed_array_element<H: VmHost>(
let payload_ptr = array_buffer_payload(vm, view.buffer).map_err(|e| format!("{e}"))?;
// SAFETY: payload_ptr 经 array_buffer_payload 校验为合法 ArrayBuffer 载荷。
let Some(buffer) = unsafe { &mut *payload_ptr }.data.as_deref_mut() else {
return Err("ArrayBuffer internal state invalid".into());
// 载荷缺失即 detach（live 界判后不可达，防御背板）：转换副作用已先
// 发生，写按 [[Set]] 静默 no-op。
return Ok(());
};
write_element(vm, view.kind, buffer, absolute_byte_offset(view, index as usize), elem);
Ok(())
@@ -706,6 +754,8 @@ fn collect_array_like<H: VmHost>(vm: &mut H, value: JsValue, consult_iterator: b
let payload_ptr = array_buffer_payload(vm, view.buffer)?;
// SAFETY: payload_ptr 经 array_buffer_payload 校验为合法 ArrayBuffer 载荷。
let Some(buffer) = unsafe { &*payload_ptr }.data.as_deref() else {
// 源 buffer detach：按规范的源缓冲校验步抛 TypeError；各入口的
// 校验/活长界判先行，此臂为防御背板。
return Err(crate::error::create_type_error(vm, "ArrayBuffer internal state invalid"));
};
// 源视图按 live 长度收集：buffer 收缩越界后视同空源（与构造器
@@ -783,6 +833,8 @@ fn typed_array_new<H: VmHost>(vm: &mut H, args: &[u8], kind: TypedArrayKind) ->
let payload_ptr = native_try!(array_buffer_payload(vm, first));
// SAFETY: payload_ptr 经 array_buffer_payload 校验为合法 ArrayBuffer 载荷。
let Some(data) = unsafe { &*payload_ptr }.data.as_ref() else {
// 首参 buffer 已 detach：按规范的 ArrayBuffer 校验步抛 TypeError
// （构造器入口的 detach 守卫即本臂）。
return NativeResult::Err(crate::error::create_type_error(vm, "ArrayBuffer internal state invalid"));
};
let buffer_len = data.len();
@@ -820,6 +872,7 @@ fn typed_array_new<H: VmHost>(vm: &mut H, args: &[u8], kind: TypedArrayKind) ->
let payload_ptr = native_try!(array_buffer_payload(vm, buffer));
// SAFETY: payload_ptr 经 array_buffer_payload 校验为合法 ArrayBuffer 载荷。
let Some(buffer_ref) = unsafe { &mut *payload_ptr }.data.as_deref_mut() else {
// 新建 buffer 载荷恒存活（无人可 detach），此臂为防御背板。
return NativeResult::Err(crate::error::create_type_error(vm, "ArrayBuffer internal state invalid"));
};
for (idx, value) in values.into_iter().enumerate() {
@@ -962,7 +1015,9 @@ pub fn typed_array_fill<H: VmHost>(vm: &mut H, args: &[u8]) -> NativeResult {
let payload_ptr = native_try!(array_buffer_payload(vm, view.buffer));
// SAFETY: payload_ptr 经 array_buffer_payload 校验为合法 ArrayBuffer 载荷。
let Some(buffer) = unsafe { &mut *payload_ptr }.data.as_deref_mut() else {
return NativeResult::Err(crate::error::create_type_error(vm, "ArrayBuffer internal state invalid"));
// 转换窗口内 detach：填充写退化为静默 no-op（循环内无重入窗，单次
// 判即封窗），按 [[Set]] 语义正常返回 this。
return NativeResult::Ok(this_val);
};
for idx in start..end.max(start) {
write_element(vm, view.kind, buffer, absolute_byte_offset(view, idx), elem);
@@ -1198,11 +1253,10 @@ pub fn typed_array_set<H: VmHost>(vm: &mut H, args: &[u8]) -> NativeResult {
}
let payload_ptr = native_try!(array_buffer_payload(vm, view.buffer));
// SAFETY: payload_ptr 经 array_buffer_payload 校验为合法 ArrayBuffer 载荷。
let Some(buffer) = unsafe { &mut *payload_ptr }.data.as_deref_mut() else {
return NativeResult::Err(crate::error::create_type_error(vm, "ArrayBuffer internal state invalid"));
};
let mut buffer = unsafe { &mut *payload_ptr }.data.as_deref_mut();
// 逐元素惰性读源→转换→写：循环中的 detach/收缩使后续写入静默失效
// （目标越界不写，与规范 SetValueInBuffer 边界无操作同语义）。
// （目标越界不写，与规范 SetValueInBuffer 边界无操作同语义）；载荷缺失
// 等同 detach，全循环退化为源读副作用与转换、零写入。
for k in 0..source_len {
let value = match &source_kind {
SetSourceKind::TypedArray(sview) => native_try!(ta_read(vm, *sview, k)),
@@ -1211,7 +1265,9 @@ pub fn typed_array_set<H: VmHost>(vm: &mut H, args: &[u8]) -> NativeResult {
};
let elem = native_try!(ta_element_value(vm, view.kind, value));
if offset + k < ta_live_length(view) {
write_element(vm, view.kind, buffer, absolute_byte_offset(view, offset + k), elem);
if let Some(buffer) = buffer.as_deref_mut() {
write_element(vm, view.kind, buffer, absolute_byte_offset(view, offset + k), elem);
}
}
}
NativeResult::Ok(JsValue::undefined())
@@ -1353,7 +1409,9 @@ fn set_typed_array_element<H: VmHost>(vm: &mut H, ta: JsValue, index: usize, val
let payload_ptr = array_buffer_payload(vm, view.buffer)?;
// SAFETY: payload_ptr 经 array_buffer_payload 校验为合法 ArrayBuffer 载荷。
let Some(buffer) = unsafe { &mut *payload_ptr }.data.as_deref_mut() else {
return Err(crate::error::create_type_error(vm, "ArrayBuffer internal state invalid"));
// 载荷缺失即 detach（live 界判后不可达，防御背板）：转换副作用已先
// 发生，写按 [[Set]] 静默 no-op。
return Ok(());
};
write_element(vm, view.kind, buffer, absolute_byte_offset(view, index), elem);
Ok(())
@@ -1387,7 +1445,9 @@ fn ta_read<H: VmHost>(vm: &mut H, view: TypedArrayData, index: usize) -> Result<
let payload_ptr = array_buffer_payload(vm, view.buffer)?;
// SAFETY: payload_ptr 经 array_buffer_payload 校验为合法 ArrayBuffer 载荷。
let Some(buffer) = unsafe { &*payload_ptr }.data.as_deref() else {
return Err(crate::error::create_type_error(vm, "ArrayBuffer internal state invalid"));
// 载荷缺失即 detach（live 界判后不可达，防御背板）：按 [[Get]] 读
// undefined。
return Ok(JsValue::undefined());
};
Ok(read_element(vm, view.kind, buffer, absolute_byte_offset(view, index)))
}
@@ -1402,7 +1462,8 @@ fn ta_write<H: VmHost>(vm: &mut H, view: TypedArrayData, index: usize, value: Js
let payload_ptr = array_buffer_payload(vm, view.buffer)?;
// SAFETY: payload_ptr 经 array_buffer_payload 校验为合法 ArrayBuffer 载荷。
let Some(buffer) = unsafe { &mut *payload_ptr }.data.as_deref_mut() else {
return Err(crate::error::create_type_error(vm, "ArrayBuffer internal state invalid"));
// 载荷缺失即 detach（live 界判后不可达，防御背板）：写静默 no-op。
return Ok(());
};
write_element(vm, view.kind, buffer, absolute_byte_offset(view, index), value);
Ok(())
@@ -2483,6 +2544,8 @@ pub fn uint8array_to_base64<H: VmHost>(vm: &mut H, args: &[u8]) -> NativeResult
let payload_ptr = native_try!(array_buffer_payload(vm, view.buffer));
// SAFETY: payload_ptr 来自活动 ArrayBuffer 对象，视图范围由构造保证界内。
let Some(buffer) = unsafe { &*payload_ptr }.data.as_deref() else {
// buffer detach：按规范的视图校验步抛 TypeError；入口校验先行，
// 此臂为防御背板。
return NativeResult::Err(crate::error::create_type_error(vm, "ArrayBuffer internal state invalid"));
};
// 视图范围按 live 长度与当前缓冲长度双收口（缓冲可被 resize 收缩、
@@ -2499,6 +2562,8 @@ pub fn uint8array_to_hex<H: VmHost>(vm: &mut H, args: &[u8]) -> NativeResult {
let payload_ptr = native_try!(array_buffer_payload(vm, view.buffer));
// SAFETY: payload_ptr 来自活动 ArrayBuffer 对象，视图范围由构造保证界内。
let Some(buffer) = unsafe { &*payload_ptr }.data.as_deref() else {
// buffer detach：按规范的视图校验步抛 TypeError；入口校验先行，
// 此臂为防御背板。
return NativeResult::Err(crate::error::create_type_error(vm, "ArrayBuffer internal state invalid"));
};
// 视图范围按 live 长度与当前缓冲长度双收口（缓冲可被 resize 收缩、
@@ -2518,6 +2583,8 @@ pub fn uint8array_set_from_base64<H: VmHost>(vm: &mut H, args: &[u8]) -> NativeR
let payload_ptr = native_try!(array_buffer_payload(vm, view.buffer));
// SAFETY: payload_ptr 来自活动 ArrayBuffer 对象，视图范围由构造保证界内。
let Some(buffer) = unsafe { &mut *payload_ptr }.data.as_deref_mut() else {
// buffer detach：按规范的视图校验步抛 TypeError；入口校验先行，
// 此臂为防御背板。
return NativeResult::Err(crate::error::create_type_error(vm, "ArrayBuffer internal state invalid"));
};
let start = view.byte_offset;
@@ -2543,6 +2610,8 @@ pub fn uint8array_set_from_hex<H: VmHost>(vm: &mut H, args: &[u8]) -> NativeResu
let payload_ptr = native_try!(array_buffer_payload(vm, view.buffer));
// SAFETY: payload_ptr 来自活动 ArrayBuffer 对象，视图范围由构造保证界内。
let Some(buffer) = unsafe { &mut *payload_ptr }.data.as_deref_mut() else {
// buffer detach：按规范的视图校验步抛 TypeError；入口校验先行，
// 此臂为防御背板。
return NativeResult::Err(crate::error::create_type_error(vm, "ArrayBuffer internal state invalid"));
};
let start = view.byte_offset;
crates/oxide_vm/src/vm_props.rs
+18 -3
View File
@@ -359,6 +359,8 @@ impl Vm {
}
// TypedArray 整数索引：receiver 为 TA 本体时写底层 buffer（越界静默忽略）；
// receiver 非 TA 时按规范把写入落到 receiver 对象，不碰 TA buffer。
// buffer 已 detach 的 TA：数值键（含非规范数值串）写静默忽略、不落
// 命名属性；非数字串与 symbol 键落普通属性路径。
if obj.is_typed_array_obj() {
if let Some(index) = self.array_index_from_property_key(prop_name_si) {
if !std::ptr::eq(receiver.as_js_object_ptr(), obj as *mut JsObject) {
@@ -375,6 +377,11 @@ impl Vm {
}
return oxide_builtins::typed_array::typed_array_element_set(self, obj, index, val);
}
if std::ptr::eq(receiver.as_js_object_ptr(), obj as *mut JsObject)
&& oxide_builtins::typed_array::typed_array_detached_numeric_key_noop(self, obj, prop_name_si)
{
return Ok(());
}
}
// 数组 length 赋值：走 ArraySetLength 语义（两次数值强转、可写性判定与
// 元素区调整），不得落影子命名属性——否则 prop_count / 迭代 / 内置方法
@@ -801,12 +808,16 @@ impl Vm {
}
/// 写新属性须分流到完整 ordinary_set 语义的场景：数组 length（ArraySetLength）与
/// 数组/TA 整数索引键（元素区 / buffer 写）——这些键不在 shape 链上，CreateDataProperty
/// 快路径会错误地为其建命名属性。
/// 数组/TA 整数索引键（元素区 / buffer 写）、detach 后 TA 的数值键（[[Set]]
/// 静默臂，非规范数值串如 "1.1"/"-0" 不在 shape 链上，CreateDataProperty
/// 快路径会错误地为其建命名属性）。
pub(crate) fn named_prop_create_needs_ordinary_set(&self, obj: &JsObject, prop_name_si: u32) -> bool {
(obj.is_array() && prop_name_si == self.length_si)
|| (obj.is_typed_array_obj() || obj.is_array())
&& self.array_index_from_property_key(prop_name_si).is_some()
|| obj.is_typed_array_obj()
&& self.array_index_from_property_key(prop_name_si).is_none()
&& oxide_builtins::typed_array::typed_array_detached_numeric_key_noop_ro(self, obj, prop_name_si)
}
/// 值写入直调路径：REST / SPREAD / builtin 内部等已确定目标对象的场景，
@@ -831,12 +842,16 @@ impl Vm {
/// 仅供语义已确定的内部调用方使用。
pub(crate) fn set_or_create_prop_value(&mut self, obj: &mut JsObject, prop_name_si: u32, val: JsValue) {
vm_trace!("set_or_create_prop_value: shape_id={} prop_name_si={}", obj.shape_id(), prop_name_si);
// TypedArray 整数索引写 buffer（越界忽略），不进入 shape/prop 槽。
// TypedArray 整数索引写 buffer（越界忽略），不进入 shape/prop 槽；
// buffer 已 detach 的数值键写静默忽略（与 ordinary_set_inner 同臂）。
if obj.is_typed_array_obj() {
if let Some(index) = self.array_index_from_property_key(prop_name_si) {
let _ = oxide_builtins::typed_array::typed_array_element_set(self, obj, index, val);
return;
}
if oxide_builtins::typed_array::typed_array_detached_numeric_key_noop(self, obj, prop_name_si) {
return;
}
}
// 数组下标键写入元素区（维护 array_prop_count），不进入 shape 链。
if obj.is_array() {