如何判断Rust中的两个trait对象是否指向同一实例?
如何判断Rust中的两个trait对象是否指向同一实例?
嘿,这个问题我碰到好多次了,正好给你详细说说~
首先你得明白,&dyn Node这种trait对象是胖指针,它包含两个部分:一个是指向实际对象实例的底层数据指针,另一个是对应trait的vtable(虚表)指针。你一开始想到的std::ptr::eq(n1, n2)会直接比较整个胖指针的两个部分,这就会出问题——哪怕两个trait对象指向的是同一个实例,只要它们的vtable不一样(比如这个实例同时实现了Node和另一个子trait,你分别把它转换成&dyn Node和&dyn SubNode再比较),ptr::eq就会返回false,误判成不同对象。
那正确的做法应该是只比较底层数据指针,也就是忽略vtable,只看它们是不是指向同一个实例的内存地址。这里有两种常用的实现方式:
第一种是通过指针类型转换提取数据指针:
fn same_node(n1: &dyn Node, n2: &dyn Node) -> bool { // 把trait对象转换成裸指针,再转成*const (),会自动提取数据指针部分 let ptr1 = n1 as *const dyn Node as *const (); let ptr2 = n2 as *const dyn Node as *const (); ptr1 == ptr2 }
第二种更直观,用std::ptr::addr_of!宏直接获取实例的地址:
use std::ptr; fn same_node(n1: &dyn Node, n2: &dyn Node) -> bool { // addr_of!(*n1)会直接拿到trait对象指向的底层实例的内存地址 ptr::addr_of!(*n1) == ptr::addr_of!(*n2) }
这两种方法都能准确判断两个trait对象是否指向同一个实例,不管它们的vtable是否相同。当然啦,如果你的场景里还需要确保两个trait对象的类型完全一致(vtable也相同),那直接用std::ptr::eq就没问题,但如果只关心实例本身,上面的方法才是正确的选择。
备注:内容来源于stack exchange,提问作者ridiculous_fish
相关产品推荐
相关产品推荐

