如何不依赖std::move或std::swap实现移动功能及STL兼容方案

STL认可的标准移动操作原型 #

要让你的类能被STL容器（如std::vector、std::queue）正确识别并使用移动语义，必须提供以下两个成员函数——它们是C++语言标准定义的，完全不依赖STL：

• 移动构造函数：

  ClassName(ClassName&& other) noexcept;
  

• 移动赋值运算符：

  ClassName& operator=(ClassName&& other) noexcept;
  

关键注意点：

• noexcept标记是核心：STL容器在执行扩容、元素转移等操作时，会优先选择标记为noexcept的移动操作（保证异常安全），否则会退化为拷贝操作。
• 参数是类的右值引用（&&）：这是C++11引入的语言特性，不属于STL范畴，可直接使用。

无STL依赖的实现思路 #

实现移动语义的核心是转移资源所有权，而非拷贝。无需使用std::move或std::swap，只需：

1. 将源对象的资源指针/状态直接赋值给当前对象；
2. 将源对象重置为可安全析构的空状态（避免双重释放）；
3. 确保自身资源先释放（仅针对移动赋值）。

完整示例 #

无STL依赖的类实现（项目代码） #

// 完全不依赖STL的动态数组类
class MyArray {
private:
    int* data_ = nullptr;
    size_t size_ = 0;

public:
    // 默认构造
    MyArray() = default;

    // 带参数构造：分配内存
    explicit MyArray(size_t size) : size_(size) {
        data_ = new int[size];
    }

    // 禁用拷贝构造与赋值（强制使用移动）
    MyArray(const MyArray&) = delete;
    MyArray& operator=(const MyArray&) = delete;

    // 移动构造函数：STL兼容，无STL依赖
    MyArray(MyArray&& other) noexcept 
        : data_(other.data_), size_(other.size_) {
        // 重置源对象，避免析构时重复释放
        other.data_ = nullptr;
        other.size_ = 0;
    }

    // 移动赋值运算符：STL兼容，无STL依赖
    MyArray& operator=(MyArray&& other) noexcept {
        if (this != &other) { // 防止自赋值
            // 先释放当前对象的资源
            delete[] data_;

            // 转移源对象的资源所有权
            data_ = other.data_;
            size_ = other.size_;

            // 重置源对象
            other.data_ = nullptr;
            other.size_ = 0;
        }
        return *this;
    }

    // 析构函数：安全释放资源
    ~MyArray() {
        delete[] data_;
    }

    // 测试用成员函数
    size_t size() const { return size_; }
    int& operator[](size_t idx) { return data_[idx]; }
};

STL测试代码（允许使用STL） #

#include <vector>
#include <iostream>

int main() {
    std::vector<MyArray> vec;

    // 1. 将临时对象移入vector（触发移动构造）
    vec.emplace_back(MyArray(5));
    std::cout << "First element size: " << vec[0].size() << "\n";

    // 2. 移动赋值：转移已有对象的所有权
    MyArray arr(10);
    arr[0] = 42;
    MyArray arr2 = std::move(arr); // 测试用std::move，项目代码无需使用
    std::cout << "arr2 size: " << arr2.size() << ", arr size: " << arr.size() << "\n";

    // 3. 将arr2移入vector（触发移动构造）
    vec.push_back(std::move(arr2));
    std::cout << "Vector size: " << vec.size() << ", second element size: " << vec[1].size() << "\n";

    return 0;
}

关键说明 #

• 项目代码中完全未使用任何STL组件，仅依赖C++语言本身的特性；
• 测试代码中使用std::move是允许的（测试项目可依赖STL），它的作用是将左值转换为右值引用，触发移动操作；
• 移动操作完成后，源对象处于"空但有效"的状态，可安全析构或重新赋值。

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