C++封装栈分配对象时如何避免拷贝和内存开销？

你的代码目前无法避免拷贝，存在两个核心问题 #

• 首先Foo的构造函数中，右值引用参数src本身是左值，直接用src初始化data时，调用的仍是T的拷贝构造函数，需要把初始化语句改为data{std::move(src)}才能触发移动构造。
• 其次你定义的Blob是包含栈分配原生数组的平凡类型，C++标准中，原生数组的移动操作本质就是逐元素拷贝，栈内存的所有权无法在不同对象之间转移，哪怕你正确调用std::move，依然会发生全量拷贝，内存占用还是会达到两份Blob的大小。

如果要实现零拷贝移动，你需要把Blob内部的大数组改为堆分配，比如使用std::vector<char>或者std::unique_ptr<char[]>，这类资源的移动只需要转移指针所有权，不会拷贝底层数据。

正确可运行的零拷贝实现示例 #

#include <vector>
#include <utility>

struct Blob {
    std::vector<char> blob = std::vector<char>(1024 * 1024); // 改为堆分配
};

template <typename T>
struct Foo {
    Foo(T&& src) : data{std::move(src)} {} // 这里要加std::move触发移动构造
    T data;
};

int main() {
    Blob blob;
    Foo foo{std::move(blob)};
    // 此时只会转移vector的内部指针，不会拷贝1M数据，内存仅占用一份Blob的大小
}

验证方案生效的最简单方法 #

• 方法1：给Blob添加拷贝、移动构造的日志打印，运行程序看输出即可确认调用的是拷贝还是移动：

#include <iostream>
struct Blob {
    char blob[1024 * 1024];
    Blob() = default;
    Blob(const Blob&) { std::cout << "触发拷贝构造\n"; }
    Blob(Blob&&) { std::cout << "触发移动构造\n"; }
};

• 方法2：打印底层数据的地址，堆分配场景下，如果移动成功，移动前后的底层数据地址是相同的，比如std::vector的data()方法返回的指针在移动后会保持原地址，原对象的指针会置空。
• 方法3：直接观测程序的内存占用，如果是全量拷贝，内存占用会比移动成功的场景多1M左右，差异非常明显。

内容的提问来源于stack exchange，提问作者fatdragon