codecamp

特征的对象

特征的对象

当代码涉及多态,需要有一种机制来确定实际上是哪些特定版本在运行。这就是所谓的“调度”。调度的主要形式有两种:静态调度和动态调度。Rust 不仅支持静态调度,它还通过“特征对象”机制支持动态调度。

背景

在本章的其余部分,我们将需要一个特征和一些实现。让我们先从一个简单的开始,Foo。它有一个方法,该方法将返回一个字符串。

trait Foo {
fn method(&self) -> String;
}

我们将在 u8 和 String 里面实现这个特征:

impl Foo for u8 {
fn method(&self) -> String { format!("u8: {}", *self) }
}

impl Foo for String {
fn method(&self) -> String { format!("string: {}", *self) }
}

静态调度

我们可以利用这一特性的特征边界来执行静态调度:

fn do_something<T: Foo>(x: T) {
x.method();
}

fn main() {
let x = 5u8;
let y = "Hello".to_string();

do_something(x);
do_something(y);
}

在这里 Rust 使用 “monomorphization” 来执行静态调度。这意味着 Rust 将为 u8 和 String 创建一个特殊版本的 do_something()函数,然后调用这些具体的函数来取代调用 sites 。换句话说,Rust 生成是这样的:

fn do_something_u8(x: u8) {
x.method();
}

fn do_something_string(x: String) {
x.method();
}

fn main() {
let x = 5u8;
let y = "Hello".to_string();

do_something_u8(x);
do_something_string(y);
}

这样会有很大的好处:静态调度允许内联函数调用,因为被调用的函数在编译时是已知的,并且内联是进行良好的优化的关键。静态调度虽然快,但它是折衷之后的结果:代码膨胀,由于许多相同的函数都有二进制副本,并且每种类型的函数都对应一个二进制副本。

另外,编译器并不完美,可能“优化”反而使代码变得更慢。例如,内联函数过于急切地将膨胀指令缓存(缓存规定我们周围的一切)。这是 #[inline] 和 #[inline(always)] 应该被谨慎使用的部分原因,另一个使用动态调度的原因是它有时效率更高。

然而,常见的情况是使用静态调度更高效,并且你总是可以用一个简练的 statically-dispatched 包装器函数进行动态调度,但是用动态调度却不是这样,这意味着静态调用更灵活。可能因为这个原因,标准库更多的使用静态调度。

动态调度

Rust 通过一个称为特征对象的特性提供动态调度。特征对象,如 &Foo or Box<Foo> 可以是正常值,这个值存储一个任意类型的值,而该类型实现了给定的特征,至于究竟是哪种类型在运行时才能知道。

特征对象可以从指针获得,这个指针指向一个具体的类型,而该类型通过 cast(例如 &x as &Foo)或 coerce(例如,使用 &x 作为函数的参数,函数里面带有 &foo) 实现了特征。

特征对象 coercions 和 casts 也服务于指针像 &mut T to &mut FooBox<T> to Box<Foo>但都只是在此刻有效。而 Coercions 和 casts 是相同的。

这个操作可以被视为“擦除”编译器对特定类型的指针的认知,因此特征对象有时也被称为类型擦除。

回到上面的例子,我们可以使用相同的特征来执行动态调度与特征的对象的 cast:

fn do_something(x: &Foo) {
x.method();
}

fn main() {
let x = 5u8;
do_something(&x as &Foo);
}
或者通过coerce::
fn do_something(x: &Foo) {
x.method();
}

fn main() {
let x = "Hello".to_string();
do_something(&x);
}

每种实现 Foo 的类型并不专门指定一个带有个特征对象的函数:只有当一个副本生成时,才会(但不总是如此)导致更少的代码膨胀。然而,这是需要以更慢的虚拟函数调用作为代价的,并且极大地抑制了任何内联的机会和相关优化的发生。

为选择指针呢?

在默认情况下,Rust 不给指针赋予初值,不像许多其他管理语言那样,所以类型可以有不同的大小。在编译时知道值的大小是很重要的,比如把它作为参数传递给一个函数,又或者把它放进堆栈并且在存储它的堆里面分配(或取消分配)空间给它。

对于 Foo,我们需要有一个值,这个值至少要是一个字符串(24 字节)或 u8(1 个字节),或者是任意其他依赖于箱来实现他们的Foo的类型(任意的字节数)。如果没有存储的值没有指针来指向,就没有办法保证这最后一点行得通,因为其他那些类型可以是任意大小的。

让指针指向一个值意味着,当我们抛出一个特征对象时,值的大小是无关紧要的,我们只关心指针本身的大小。

表示

特征的方法可以通过特征对象来调用。特征对象是通过函数指针的一个特殊的记录(由编译器创建和管理)来调用方法的,该记录传统上也被称为“虚表”。

特征对象既简单的又复杂:其核心表示和布局其实很简单,但也有一些复杂的错误消息和令人意外的结果。

让我们以简单的特征对象的运行时间的表示来开始。std::raw 模块包含与内置类型一样复杂的布局结构,包括特征对象:

pub struct TraitObject {
pub data: *mut (),
pub vtable: *mut (),
}

即特征对象 &Foo 包含数据指针和一个虚表指针。

数据指针指向特征对象所存储的数据(一些未知类型T),而虚表指针指向对应的虚表(“虚拟方法表”)对应于 T 的 Foo 实现。

vtable 本质上是一个函数指针结构体,指向每个实现方法的具体的机器代码。调用方法 trait_object.method() 将检索虚表外部的正确的指针,然后做一个动态调用。例如:

struct FooVtable {
destructor: fn(*mut ()),
size: usize,
align: usize,
method: fn(*const ()) -> String,
}

// u8:

fn call_method_on_u8(x: *const ()) -> String {
// the compiler guarantees that this function is only called
// with `x` pointing to a u8
let byte: &u8 = unsafe { &*(x as *const u8) };

byte.method()
}

static Foo_for_u8_vtable: FooVtable = FooVtable {
destructor: /* compiler magic */,
size: 1,
align: 1,

// cast to a function pointer
method: call_method_on_u8 as fn(*const ()) -> String,
};

// String:

fn call_method_on_String(x: *const ()) -> String {
// the compiler guarantees that this function is only called
// with `x` pointing to a String
let string: &String = unsafe { &*(x as *const String) };

string.method()
}

static Foo_for_String_vtable: FooVtable = FooVtable {
destructor: /* compiler magic */,
// values for a 64-bit computer, halve them for 32-bit ones
size: 24,
align: 8,

method: call_method_on_String as fn(*const ()) -> String,
};

每个 vtable 的析构函数的字段都指向一个函数,这个函数将清理 vtable 类型的任何资源,对 u8 来说这几乎是没有什么用处的,但对字符串来说却可以释放内存。如果想要拥有 Box<Foo> 那样的特征对象,这个操作就是必不可少的,当超出范围时,就需要清理 Box 分配以及内部类型。size 和 align 字段存储着被删除类型的大小,及其一致性要求;由于信息被嵌入到了析构函数,目前这些实际上都未使用,但将来会得到应用,因为特征对象逐渐变得更加灵活。

假设我们有一些实现 Foo 的值,然后你会发现 Foo 的显式形式的构建和 Foo 特征对象的使用看起来有点类似(忽略类型不匹配:无论如何,它们只是指针而已):

let a: String = "foo".to_string();
let x: u8 = 1;

// let b: &Foo = &a;
let b = TraitObject {
// store the data
data: &a,
// store the methods
vtable: &Foo_for_String_vtable
};

// let y: &Foo = x;
let y = TraitObject {
// store the data
data: &x,
// store the methods
vtable: &Foo_for_u8_vtable
};

// b.method();
(b.vtable.method)(b.data);

// y.method();
(y.vtable.method)(y.data);

如果 b 或 y 拥有特征对象 (Box < Foo >) 当他们超出范围时,就会有一个(b.vtable.destructor)(b.data) (分别 y)调用。

if let
闭包
温馨提示
下载编程狮App,免费阅读超1000+编程语言教程
取消
确定
目录

关闭

MIP.setData({ 'pageTheme' : getCookie('pageTheme') || {'day':true, 'night':false}, 'pageFontSize' : getCookie('pageFontSize') || 20 }); MIP.watch('pageTheme', function(newValue){ setCookie('pageTheme', JSON.stringify(newValue)) }); MIP.watch('pageFontSize', function(newValue){ setCookie('pageFontSize', newValue) }); function setCookie(name, value){ var days = 1; var exp = new Date(); exp.setTime(exp.getTime() + days*24*60*60*1000); document.cookie = name + '=' + value + ';expires=' + exp.toUTCString(); } function getCookie(name){ var reg = new RegExp('(^| )' + name + '=([^;]*)(;|$)'); return document.cookie.match(reg) ? JSON.parse(document.cookie.match(reg)[2]) : null; }