在rust比较两个对象,检查它们是否相等,应该是哪种相等呢?
比如,一段代码:
let mut vec = vec![1, 2, 3];
vec.push(4);
assert_eq!(vec, [1, 2, 3, 4]);
vec是一个vector,跟数组[1,2,3,4]相等,这有点咋个说呢,似乎类型不一样吧?
那么,assert_eq是如何运行的呢?找出它的源码,位于src/rust/src/libcore/macros/mod.rs:
#[macro_export]
#[stable(feature = "rust1", since = "1.0.0")]
macro_rules! assert_eq {
($left:expr, $right:expr) => ({
match (&$left, &$right) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
// ...
panic!(r#"assertion failed: `(left == right)`
left: `{:?}`,
right: `{:?}`"#, &*left_val, &*right_val)
}
}
}
});
($left:expr, $right:expr,) => ({
$crate::assert_eq!($left, $right)
});
($left:expr, $right:expr, $($arg:tt)+) => ({
match (&($left), &($right)) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
//...
panic!(r#"assertion failed: `(left == right)`
left: `{:?}`,
right: `{:?}`: {}"#, &*left_val, &*right_val,
$crate::format_args!($($arg)+))
}
}
}
});
}
这里的比较,应当是按照第一个分支走的,比较“借用”的两个值是否一样。
Vec的源码是src/rust/src/liballoc/vec.rs,文档https://doc.rust-lang.org/std/vec/struct.Vec.html 。
具体细节还需要研究。
to be continue.