C++98中如何实现类似C++11的向量部分元素移动操作？

这确实是C98环境下很实际的性能优化需求——当向量存储的是大对象、带动态资源的自定义对象时，复制操作的开销会非常可观。虽然C98没有原生的移动语义，但我们可以通过手动转移对象内部资源的思路，实现类似std::move的高效元素转移效果，下面分享几个可行的方案：

方案一：给自定义对象实现资源转移接口 #

核心思路是为你的自定义对象添加一个专门的资源转移函数，直接把原对象的内部资源“接管”过来，避免深拷贝。

比如假设我们有一个带动态数组的自定义对象：

#include <cstring>
#include <vector>
#include <algorithm> // 用于std::swap

class MyObject {
private:
    int* data;
    size_t size;
public:
    MyObject() : data(NULL), size(0) {}
    
    // C++98要求的拷贝构造（仅用于必要的场景）
    MyObject(const MyObject& other) : size(other.size) {
        data = new int[size];
        memcpy(data, other.data, size * sizeof(int));
    }
    
    // 自定义资源转移函数：将other的资源转移到当前对象，other变为空状态
    void transfer(MyObject& other) {
        // 用std::swap交换内部资源，高效且安全
        std::swap(data, other.data);
        std::swap(size, other.size);
    }
    
    ~MyObject() {
        delete[] data; // 空指针delete是安全的
    }
};

然后就可以用这个transfer函数实现元素转移：

std::vector<MyObject> A(n);
// 假设已经给A填充了数据
std::vector<MyObject> B;

// 先预留空间，避免B多次扩容带来的开销
B.reserve(end - start);

for (size_t i = start; i < end; ++i) {
    MyObject temp;
    // 把A[i]的资源转移到temp，A[i]变为空
    temp.transfer(A[i]);
    // 将temp放入B，这里的拷贝是"空对象拷贝"，开销极小
    B.push_back(temp);
}

// 如果后续不需要A中这些元素了，可以清理掉
A.erase(A.begin() + start, A.begin() + end);

方案二：利用std::swap高效交换资源 #

如果你的对象支持高效的std::swap（比如自定义了swap逻辑），可以直接通过交换元素的方式完成资源转移，代码更简洁。

首先给自定义对象特化std::swap（或者在类内实现swap成员函数）：

namespace std {
    template<>
    void swap(MyObject& a, MyObject& b) {
        std::swap(a.data, b.data);
        std::swap(a.size, b.size);
    }
}

然后实现转移：

std::vector<MyObject> A(n);
std::vector<MyObject> B;

// 先创建足够的空对象，用于交换
B.resize(end - start);

for (size_t i = 0; i < end - start; ++i) {
    // 交换B[i]和A[start+i]的资源，A中的元素变为空
    std::swap(B[i], A[start + i]);
}

这个方案的优势是代码更简洁，而且std::swap是标准库函数，可读性更好。对于std::string这类标准库类型，C++98中它们的std::swap本身就是高效的（内部仅交换指针），所以这个方案也直接适用。

关键注意事项 #

• 转移操作完成后，原向量A中被处理的元素会处于空状态（内部资源已被转移），后续不能再使用这些元素，除非重新给它们赋值。
• 必须确保对象的资源转移/swap操作是安全的：比如转移后原对象的析构函数不会报错（比如空指针delete是安全的）。
• 不要尝试直接操作vector的内部私有成员（比如某些编译器的_M_start），这属于未定义行为，跨平台性和稳定性无法保证。

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