C++多数据类型间零拷贝转换的通用实现方案咨询

如果你的开发环境支持C++20，优先在内部逻辑层统一用std::span<Type>做中间传递容器，所有连续存储结构（裸指针、std::vector、Eigen连续矩阵）都可以零拷贝转为std::span，不需要做任何额外适配，内部处理完之后再根据外部接口要求做对应转换即可，是长期最优方案。

针对你无法修改框架接口的场景，可直接按接口要求的入参类型做调用侧的零拷贝适配，无需改动框架代码：

1. 接口要求入参为裸指针Type*类型 #

该场景适配成本最低，所有连续存储的结构都可以直接取首指针传递：

• std::vector<Type>直接用.data()方法取首指针，空vector的.data()返回nullptr，符合安全要求
• Eigen矩阵/向量直接用.data()方法取存储首指针，注意Eigen默认列优先存储，如果接口要求行优先，需要在Map初始化时显式指定行优先模板参数
• 本身就是裸指针的场景直接传递即可，注意提前校验长度合法性

2. 接口要求入参为Eigen矩阵/向量类型 #

完全用Eigen的Map实现零拷贝映射，仅需要在调用侧做封装即可：

• 映射裸指针Type*数据：比如要把double* positions映射为3行N列的Eigen矩阵，直接写Eigen::Map<Eigen::Matrix<double, 3, Eigen::Dynamic>> pos_map(positions, 3, point_count);，后续直接把pos_map当普通Eigen矩阵传入接口即可，无任何数据拷贝
• 映射std::vector<Type>数据：直接把.data()返回的指针传给Map即可，例：Eigen::Map<Vec3xArray> vec_map(m_positions.data(), m_positions.size()/3);
• 注意如果要映射的Eigen类型有内存对齐要求，外部数据不满足对齐条件时，要给Map加Eigen::Unaligned模板参数避免崩溃

3. 接口要求入参为std::vector<Type>类型 #

std::vector默认持有数据所有权，原生不支持外部内存挂载，可选择两种零拷贝方案：

方案A：自定义分配器挂载外部内存（C++11及以上可用，无未定义行为） #

利用自定义分配器把外部内存块塞给vector，用完再把控制权拿回来，避免vector析构时释放外部内存，代码示例如下：

template <typename T>
struct ExternalMemoryAllocator {
    using value_type = T;
    T* ptr = nullptr;

    ExternalMemoryAllocator(T* external_ptr) : ptr(external_ptr) {}
    template <typename U>
    ExternalMemoryAllocator(const ExternalMemoryAllocator<U>& other) : ptr(reinterpret_cast<T*>(other.ptr)) {}

    T* allocate(std::size_t n) { return ptr; }
    void deallocate(T*, std::size_t) {}
    template <typename U>
    bool operator==(const ExternalMemoryAllocator<U>& other) const { return ptr == reinterpret_cast<T*>(other.ptr); }
    template <typename U>
    bool operator!=(const ExternalMemoryAllocator<U>& other) const { return !(*this == other); }
};

// 使用示例：把double* positions转为std::vector<double>零拷贝传递
std::vector<double, ExternalMemoryAllocator<double>> vectorOfPositions(point_count * 3, ExternalMemoryAllocator<double>(positions));
// 直接把vectorOfPositions传入要求std::vector的接口即可，调用结束前不要释放positions的内存

方案B：伪造vector结构适配const引用入参（主流编译器兼容） #

如果接口入参是const std::vector<Type>&类型，主流编译器（MSVC、GCC、Clang）的std::vector内存布局均为固定的三个指针：首指针、尾指针、容量指针，直接构造同布局结构体填好地址后，reinterpret_cast为vector引用即可，代码更轻量。

• 所有零拷贝方案的前提是数据的内存连续性，非连续存储结构（比如std::list、非连续分配的double**二维指针）无法使用上述方案
• 零拷贝传递期间，原始数据的生命周期必须长于适配出来的对象，避免野指针访问
• Eigen矩阵如果涉及行优先/列优先转换，必须做显式指定，否则会出现数据错乱
• 涉及所有权转换的场景，需要做好内存生命周期管理，避免重复释放

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