答案:通过删除拷贝构造函数和赋值运算符并默认或自定义移动操作,可实现只可移动类;继承非复制基类可复用逻辑;移动时需转移资源、置空原对象并标记noexcept以优化性能。

在C++中设计一个只可移动(movable)、不可复制(non-copyable)的类,是现代C++资源管理和对象语义设计中的常见需求。这类类通常用于管理独占资源,如动态内存、文件句柄、网络连接等,确保同一时间只有一个对象拥有该资源。
禁用拷贝构造和拷贝赋值
要让一个类不可复制,最直接的方法是显式删除拷贝构造函数和拷贝赋值运算符:
class MovableOnly {
public:
MovableOnly() = default;
// 禁止复制
MovableOnly(const MovableOnly&) = delete;
MovableOnly& operator=(const MovableOnly&) = delete;
// 允许移动
MovableOnly(MovableOnly&&) = default;
MovableOnly& operator=(MovableOnly&&) = default;
~MovableOnly() = default;
};
通过 = delete 显式禁用复制操作,编译器将拒绝任何尝试复制该类实例的代码。这是实现不可复制语义的标准方式。
立即学习“C++免费学习笔记(深入)”;
继承自 std::enable_if 或使用基类辅助
如果你有多个类都需要不可复制语义,可以定义一个通用的不可复制基类:
class NonCopyable {
protected:
NonCopyable() = default;
~NonCopyable() = default;
NonCopyable(const NonCopyable&) = delete;
NonCopyable& operator=(const NonCopyable&) = delete;
};
class MovableOnly : private NonCopyable {
// ...
};
这种设计广泛用于标准库和第三方库中(如 boost::noncopyable),避免重复代码。
确保移动操作的安全与高效
只允许移动并不自动意味着性能优化。你需要确保移动构造函数和移动赋值运算符真正“转移”资源,而不是退化为深拷贝。
例如,管理一个动态数组的类:
class Buffer {
char* data_ = nullptr;
size_t size_ = 0;
public:
explicit Buffer(sizet size) : data(new char[size]), size_(size) {}
~Buffer() { delete[] data_; }
Buffer(const Buffer&) = delete;
Buffer& operator=(const Buffer&) = delete;
Buffer(Buffer&& other) noexcept
: data_(other.data_), size_(other.size_) {
other.data_ = nullptr;
other.size_ = 0;
}
Buffer& operator=(Buffer&& other) noexcept {
if (this != &other) {
delete[] data_;
data_ = other.data_;
size_ = other.size_;
other.data_ = nullptr;
other.size_ = 0;
}
return *this;
}};
关键点:
- 移动构造函数接收右值引用(T&&)
- 移动后源对象应进入合法但可析构的状态(通常置空指针)
- 标记为 noexcept,这对STL容器性能至关重要
移动语义与RAII结合的优势
只可移动类天然适合RAII(资源获取即初始化)模式。资源在其生命周期内被唯一持有,移动时转移所有权,避免了引用计数或锁的开销。
例如,std::unique_ptr 就是典型的只可移动类型。你可以安全地在函数间传递它,而不会意外复制底层指针。
当你设计类似智能指针、句柄封装、临时缓冲区等类型时,优先考虑只可移动语义,能显著提升程序的安全性和效率。
基本上就这些。正确使用删除默认函数、实现移动操作并注意资源转移细节,就能写出高效且安全的只可移动类。不复杂但容易忽略的是 noexcept 和资源清理状态的维护。











