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

perf: 数值域双常量折叠加语义守卫

Browse Source
This commit is contained in:
彭俊皓
2026-10-12 12:47:12 +00:00
parent 3cabfb70f9
commit 84bcebee53
9 changed files with 461 additions and 55 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/oxide_runtime_api/src/coercion.rs
+69 -33
View File
@@ -455,6 +455,52 @@ pub fn to_boolean(val: JsValue) -> bool {
}
}
/// IsLooselyEqual(x, y) 原始值核心 — ECMA-262 §7.2.15（`==`）的无宿主、
/// 无异常通道版本，两侧均须为原始值（对象臂不可达，由调用方保证）。
///
/// 同类型委托严格相等；null 与 undefined 互等；BigInt/Number/String 两两
/// 转数值比较；Boolean 操作数先 ToNumber 再重入。
pub fn abstract_eq_primitives(lhs: JsValue, rhs: JsValue) -> bool {
let tl = lhs.js_type();
let tr = rhs.js_type();
// 同类型 → 严格相等。
if tl == tr {
return strict_equality(lhs, rhs);
}
match (tl, tr) {
// null 与 undefined 互等。
(JsType::Null, JsType::Undefined) | (JsType::Undefined, JsType::Null) => true,
// Number 混合表示（int vs double）：同属 ECMAScript Number，按严格相等。
(JsType::Int | JsType::Double, JsType::Int | JsType::Double) => strict_equality(lhs, rhs),
// BigInt 与 Number：转 f64 比较（精度内精确；超出精度近似）。
(JsType::BigInt, JsType::Int | JsType::Double) => {
bigint_to_f64(unsafe { bigint_data(lhs) }) == to_number(rhs)
}
(JsType::Int | JsType::Double, JsType::BigInt) => {
to_number(lhs) == bigint_to_f64(unsafe { bigint_data(rhs) })
}
// BigInt 与 String：字符串解析为数字后比较（lossy 文本口径，见 to_number）。
(JsType::BigInt, JsType::String) => {
let r = parse_js_number(&unsafe { string_data(rhs) });
bigint_to_f64(unsafe { bigint_data(lhs) }) == r
}
(JsType::String, JsType::BigInt) => {
let l = parse_js_number(&unsafe { string_data(lhs) });
l == bigint_to_f64(unsafe { bigint_data(rhs) })
}
// Number 与 String：字符串经 ToNumber 后按严格数值比较。
(JsType::Int | JsType::Double, JsType::String) | (JsType::String, JsType::Int | JsType::Double) => {
strict_double_eq(to_number(lhs), to_number(rhs))
}
// Boolean 操作数：先 ToNumber 再重入。int(0/1) 轻量编码，省 float
// 装箱与 to_number 链；int 属于 Number，重入后各数值分支全部认。
(JsType::Bool, _) => abstract_eq_primitives(JsValue::int(lhs.as_bool() as i32), rhs),
(_, JsType::Bool) => abstract_eq_primitives(lhs, JsValue::int(rhs.as_bool() as i32)),
// 其余组合不相等（含 null/undefined 与其它类型）。
_ => false,
}
}
/// IsLooselyEqual(x, y) — ECMA-262 §7.2.15（`==`）。
///
/// 同类型委托严格相等；null 与 undefined 互等；BigInt/Number/String 两两
@@ -479,49 +525,39 @@ pub fn abstract_eq<H: VmHost>(lhs: JsValue, rhs: JsValue, host: &mut H) -> Resul
return abstract_eq(lhs, JsValue::undefined(), host);
}
}
// 同类型 → 严格相等。
// 同类型 → 严格相等（含 Object/Object 指针同一）。
if tl == tr {
return Ok(strict_equality(lhs, rhs));
}
// 双侧原始值：委托原始值核心（无宿主、无异常通道）。
if tl != JsType::Object && tr != JsType::Object {
return Ok(abstract_eq_primitives(lhs, rhs));
}
// Object 与原始值：ToPrimitive 后重入。to_primitive 必返原始值，
// 重入即收敛到原始值核心，与单次委托等价。
match (tl, tr) {
// null 与 undefined 互等。
(JsType::Null, JsType::Undefined) | (JsType::Undefined, JsType::Null) => Ok(true),
// Number 混合表示（int vs double）：同属 ECMAScript Number，按严格相等。
(JsType::Int | JsType::Double, JsType::Int | JsType::Double) => Ok(strict_equality(lhs, rhs)),
// BigInt 与 Number：转 f64 比较（精度内精确；超出精度近似）。
(JsType::BigInt, JsType::Int | JsType::Double) => {
Ok(bigint_to_f64(unsafe { bigint_data(lhs) }) == to_number(rhs))
}
(JsType::Int | JsType::Double, JsType::BigInt) => {
Ok(to_number(lhs) == bigint_to_f64(unsafe { bigint_data(rhs) }))
}
// BigInt 与 String：字符串解析为数字后比较（lossy 文本口径，见 to_number）。
(JsType::BigInt, JsType::String) => {
let r = parse_js_number(&unsafe { string_data(rhs) });
Ok(bigint_to_f64(unsafe { bigint_data(lhs) }) == r)
}
(JsType::String, JsType::BigInt) => {
let l = parse_js_number(&unsafe { string_data(lhs) });
Ok(l == bigint_to_f64(unsafe { bigint_data(rhs) }))
}
// Number 与 String：字符串经 ToNumber 后按严格数值比较。
(JsType::Int | JsType::Double, JsType::String) | (JsType::String, JsType::Int | JsType::Double) => {
Ok(strict_double_eq(to_number(lhs), to_number(rhs)))
}
// Boolean 操作数：先 ToNumber 再重入。int(0/1) 轻量编码，省 float
// 装箱与 to_number 链；int 属于 Number，重入后各数值分支全部认。
(JsType::Bool, _) => abstract_eq(JsValue::int(lhs.as_bool() as i32), rhs, host),
(_, JsType::Bool) => abstract_eq(lhs, JsValue::int(rhs.as_bool() as i32), host),
// Object 与原始值（Number/String/BigInt/Symbol）：ToPrimitive 后重入。
(JsType::Object, JsType::Int | JsType::Double | JsType::String | JsType::BigInt | JsType::Symbol) => {
(JsType::Object, JsType::Int | JsType::Double | JsType::String | JsType::BigInt | JsType::Symbol | JsType::Bool) => {
let rhs = if tr == JsType::Bool {
// Boolean 先 ToNumber（int(0/1) 轻量编码），与原始值核心
// 的 Boolean 重入口径一致。
JsValue::int(rhs.as_bool() as i32)
} else {
rhs
};
let prim = to_primitive(lhs, ToPrimitiveHint::Default, host)?;
abstract_eq(prim, rhs, host)
}
(JsType::Int | JsType::Double | JsType::String | JsType::BigInt | JsType::Symbol, JsType::Object) => {
(JsType::Int | JsType::Double | JsType::String | JsType::BigInt | JsType::Symbol | JsType::Bool, JsType::Object) => {
let lhs = if tl == JsType::Bool {
// 同上。
JsValue::int(lhs.as_bool() as i32)
} else {
lhs
};
let prim = to_primitive(rhs, ToPrimitiveHint::Default, host)?;
abstract_eq(lhs, prim, host)
}
// 其余组合不相等（含 null/undefined 与其它类型、Object/Object 已由同类型分支处理）。
// 其余组合不相等（含 null/undefined 与其它类型；Object/Object 已由同类型分支处理）。
_ => Ok(false),
}
}
crates/oxide_runtime_api/src/lib.rs
+2 -1
View File
@@ -23,7 +23,8 @@ mod native_result;
mod runtime_api_log;
pub use coercion::{
abstract_eq, bigint_data, bigint_to_f64, bigint_to_string, format_error_message, js_number_to_string,
abstract_eq, abstract_eq_primitives, bigint_data, bigint_to_f64, bigint_to_string, format_error_message,
js_number_to_string,
materialize_string_box, push_to_string, push_units_to, relational_compare, same_value, same_value_zero,
strict_equality, string_concat, string_value_eq, to_bigint_full, to_boolean, to_int32, to_integer_or_infinity,
to_length, to_number, to_number_full, to_object, to_primitive, to_string, to_string_for_string_constructor,