自动生成移动操作和原始指针成员

Automatic generated move operations and raw pointer members

本文关键字：指针 成员 原始 移动 操作 自动生成      更新时间：2023-10-16

考虑一个MemoryMappedFile类，其数据成员如下:

class MemoryMappedFile
{
....
private:
    // RAII wrapper to some OS-specific raw handle (e.g. Win32 HANDLE),
    // representing the memory-mapped file.
    Handle m_handle;
    // Pointer to file begin (first file byte).
    BYTE* m_first;
    // Pointer to file end (one byte past last file byte).
    BYTE* m_last;
};

Handle类是一些RAII包装到一些特定的操作系统原始c类句柄(例如Win32 HANDLE)。它是不可复制的，但它是可移动的。
相反，m_first和m_last是与文件内容映射的内存区域内的原始指针。

我想MemoryMappedFile类是可移动(但不是可复制的，就像Handle类)。

如果没有原始指针，根据c++ 11的自动通过成员移动生成move构造函数的规则，类将是自动可移动的。

不幸的是，原始指针迫使我编写一个自定义移动构造函数:

MemoryMappedFile::MemoryMappedFile(MemoryMappedFile&& other)
    : m_handle( std::move(other.m_handle) )
{
    // Move m_first
    m_first = other.m_first;
    other.m_first = nullptr;
    // Move m_last
    m_last = other.m_last;
    other.m_last = nullptr;
}

如果c++标准库有某种形式的"笨而不聪明但可移动"的指针，开销为零，就像原始指针一样(观察非拥有指针很好)，但是定义了移动操作(移动构造函数和移动赋值)，这样编译器就可以在将这些指针作为数据成员的类中自动生成正确的移动操作。

在c++标准库或Boost中是否有类似的东西?

或者有任何其他方法来实现相同的目标(除了编写我自己的自定义ObservingPointer类，包装原始指针和定义移动操作)?

使用std::unique_ptr和你自己的noop_deleter。

我经常需要一个既可复制又可移动的"智能"指针，但它有一个定义良好的"移动"状态，所以我写了tidy_ptr，这是一个"哑"智能指针，除了在移动时自己为零外，没有什么特别的作用。该类型是可复制的，因此要获得您想要的类的语义，您仍然需要将复制操作定义为已删除(或仅使用std::unique_ptr和无操作删除器)。

我试图说服标准委员会，observer_ptr，"世界上最愚蠢的智能指针"，应该有这种行为，但共识是，它应该表现得像一个内置指针(除了在构造函数中的零初始化)。我还是觉得它应该在移动中归零。这篇论文展示了non_owning_ptr，它是unique_ptr的别名，带有一个无操作删除器，它可以做你想做的事情。

相关文章：