背景
在C++(C++11)中有了移动语义后,标准库中的很多容器都实现了原地构建对象的接口, 例如 vector::emplace_pack。 得益于此,在适当的场合下,可以大量减少临时对象的创建和对象拷贝, 从而提升程序性能。因此想到rust应该也有类似的机制, 来避免不必要的对象创建和拷贝开销。
C++移动语义:将一个右值(比如一个临时对象表达式)传给一个函数的时候,是优先绑定到参数形式是右值引用的函数上的
测试验证
以Arc对象创建为测试例子:
+ 创建临时变量,传入临时变量创建Arc: create_arc_with_temp_var
+ 原地创建, 直接在new入参里创建对象:create_arc_inplace
猜测原地创建方式会使用移动语义,不会有对象拷贝发生。通过临时变量创建, 会发生一次对象拷贝,性能下降。
以下为完整测试代码:
use std::sync::atomic::AtomicI64;
static GVALUE: AtomicI64 = AtomicI64::new(0);
const BUFFER_SIZE:usize = 10240;
struct TestClass {
a: i64,
b: i64,
buf: [u8; BUFFER_SIZE], // 使用大数组来模拟超大对象
}
/// 创建普通对象,参考组
fn create_normal() -> TestClass {
let v = GVALUE.fetch_add(1, std::sync::atomic::Ordering::SeqCst); // 防止编译器优化,下同
TestClass{ a: v, b:0, buf: [0;BUFFER_SIZE]}
}
fn create_arc_with_temp_var() -> std::sync::Arc<TestClass> {
let v = GVALUE.fetch_add(1, std::sync::atomic::Ordering::SeqCst);
let obj = TestClass{ a: v, b:0, buf: [0;BUFFER_SIZE]};
std::sync::Arc::new(obj)
}
fn cre