如何获得特征对象的地址?我尝试了这个:
fn func() {}
fn main() {
let boxed_func: Box<dyn Fn()> = Box::new(func);
println!("expect: {:p}", func as *const ()); // 0x55bb0207e570
println!("actual: {:p}", &boxed_func); // 0x7ffe5217e5a0
println!("actual: {:p}", Box::into_raw(boxed_func)); // 0x1
}
但是它产生了不同的地址。
最佳答案
首先,一个简单的方法:如注释中所述,&boxed_func
只是局部变量boxed_func
的地址,而不是基础数据的地址。可以将其视为指向该指针的指针。
现在是困难的部分。我认为让您感到困惑的一件事是,指向特质对象的指针是粗大的指针,而使用"{:p}"
进行打印并不能反射(reflect)这一点。它们由指向实际数据的指针和指向vtable的指针组成,该表存储有关特征实现的信息。
这可以通过(可能是UB)代码看到
fn func() {}
fn main() {
let boxed_func: Box<dyn Fn()> = Box::new(func);
println!("function pointer: {:p}", func as fn()); // 0x560ae655d1a0
println!("trait object data pointer: {:p}", boxed_func); // 0x1
println!("stack pointer: {:p}", &boxed_func); // 0x7ffebe8f4688
let raw = Box::into_raw(boxed_func);
println!("raw data pointer: {:p}", raw); // 0x1
// This is likely undefined behavior, since I believe the layout of trait objects isn't specified
let more_raw = unsafe { std::mem::transmute::<_, (usize, usize)>(raw) };
println!("full fat pointer: {:#x}, {:#x}", more_raw.0, more_raw.1); // 0x1, 0x560ae6789468
}
(playground link)
因此,
boxed_func
的实际基础指针由两个指针组成:0x1
和0x55ec289004c8
(结果可能会有所不同)。 0x1
是指向零大小类型的指针的常用值。显然,您不想为此目的使用空指针,但是您也确实不需要有效的指针。零大小的类型通常使用 Unique::empty
分配,它会在类型的对齐方式(零大小的类型的对齐方式为1)上将悬空指针简单地返回到内存位置。// Some zero-sized types and where they get allocated
struct Foo;
fn main() {
let x = Box::new(());
println!("{:p}", x); // 0x1
let y = Box::new(Foo);
println!("{:p}", y); // 0x1
}
(playground link)
因此,在我们使用trait对象的情况下,这告诉我们trait对象的数据部分是(可能是)零大小的类型,这是有道理的,因为
func
除了需要执行的操作外没有任何与之关联的数据。称它为。该信息保存在vtable
中。一种查看trait对象原始部分的更安全(减少UB诱导)的方法是使用仅夜间的struct
TraitObject
。#![feature(raw)]
use std::raw::TraitObject;
fn func() {}
fn main() {
let boxed_func: Box<dyn Fn()> = Box::new(func);
println!("function: {:p}", func as fn()); // 0x56334996e850
println!("function trait object: {:p}", boxed_func); // 0x1
println!("stack address: {:p}", &boxed_func); // 0x7ffee04c2378
// Safety: `Box<dyn Trait>` is guaranteed to have the same layout as `TraitObject`.
let trait_object = unsafe { std::mem::transmute::<_, TraitObject>(boxed_func) };
println!("data pointer: {:p}", trait_object.data); // 0x1
println!("vtable pointer: {:p}", trait_object.vtable); // 0x563349ba3068
}
(playground link)
将其与其他一些特征对象一起尝试,看看是否可以找到一些没有零尺寸数据的对象。
关于rust - 如何获得特征对象的地址?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61378906/