我是否正确理解了 RAII 和复制/交换习语?

Do I understand RAII in conjunction with the copy/swap idiom correctly?

提问人:salbeira 提问时间:4/14/2021 最后编辑:salbeira 更新时间:4/15/2021 访问量:285

问:

class Resource {
    Handle resource_handle;
public:
    friend void swap(Resource &a, Resource &b); // swap for the partial copy/swap idiom

    Resource(); // Default with uninitialized handle whose destruction is a noop
    Resource(std::string location); // Construction of resource (e.g. load something from disk)
    Resource(Resource &&other); // Move constructor to receive from returns of functions
    Resource &operator=(Resource other); // Sawp assignment to implement copy/swap idiom
    Resoruce(Resource &other) = delete; // You can not copy resources
    Resource &operator=(Resource &other) = delete; // You can not copy resources
};

管理资源句柄(文件句柄、gpu 句柄、互斥锁)的类希望防止 resoruce 的句柄被复制,因此包装类的解构会自动释放资源一次且仅一次,并且没有任何东西可以再访问句柄,因为对象的生存期已结束,并且(希望)不再存在对包装器的引用或指针。

复制/交换和 5(半)规则表示,通常您要定义一个复制构造函数/赋值运算符。复制资源句柄是明显不需要的。我是否正确理解,因此只需删除任何其他构造函数/赋值运算符就可以解决这个问题(如果我分配了未转换为右值的内容,编译器会对我大喊大叫(因此在赋值完成后不再存在))

这与这个问题有关,因为我想构建的资源实际上只有在它们所属的包含数据结构已经构建之后才能构建,因此需要移动资源,但不能复制它们。

OpenGL 的并行资源加载

C++ RAII 复制和交换

评论

0赞 engf-010 4/14/2021
仅供参考:stackoverflow.com/questions/24342941/......
3赞 Eljay 4/14/2021
如果显式声明它们,则它们可作为可能的替代方法使用,如果选择或不明确,则会导致编译错误。但是,如果允许编译器抑制它们并且从不合成它们,那么它们根本不存在。这是一个重要的区别(有时是正确的事情,有时是错误的事情......取决于需要)。= delete
0赞 Richard Critten 4/14/2021
注意 - 将换成临时的,可能不是你想做的。我还会使用成员函数来明确意图并删除赋值运算符。Resource &operator=(Resource other); // Sawp assignment...swap
1赞 Mooing Duck 4/14/2021
您想对不可复制的类使用复制和交换吗?为什么?
0赞 Chris Uzdavinis 4/14/2021
您的方法是合理的,但 operator=(Resource) 除外。您可能还需要一个移动赋值运算符。(资源&运算符=(资源&&其他))

答:

0赞 Andrei Matveiakin 4/14/2021 #1

删除资源句柄类的复制构造函数和复制赋值运算符非常有意义,它将产生所需的结果。(请注意,复制构造函数和复制赋值通常采用 const 引用参数。这里无关紧要,因为运算符被删除了,但就我个人而言,除非有理由这样做,否则我总是坚持使用 const 引用。我发现它使代码更易于阅读。

但是,“交换分配”是有问题的。

首先,它不会像您的示例中那样工作:

Resource &operator=(Resource other);  // bad

此函数按值获取参数,从而创建副本。这不会编译,因为复制构造函数被删除了。

其次,即使这样的事情确实有效,也会产生误导。人们通常希望作业的右侧保持不变。我建议用交换方法替换“交换分配”:

void swap(Resource& other); 

然后你可以用这个方法实现一个非成员交换函数,如果该方法是公共的,它甚至不需要是一个友元函数。swap

评论

0赞 salbeira 4/15/2021
如果副本是移动构造的,副本是否仍然可能(又名Resource a = function(stuff);
0赞 Remy Lebeau 4/15/2021
@salbeira可以从临时调用移动构造函数。但是在现代 C++(即 C++ 17 以后)中,在大多数情况下,它实际上会完全省略临时,允许直接构造。Resource a = function(stuff);function()a
0赞 Remy Lebeau 4/15/2021
"这个函数通过值接受一个参数,从而创建一个副本“ - 不是真的。由于具有移动构造函数,因此调用方可以使用右值作为输入来调用,从而进行移动构造而不是复制构造它。在这种情况下,最好将右值引用定义为参数。但是,如果确实支持复制构造函数,则按值获取实际上很有用,允许调用方根据需要选择是复制构造还是移动构造,因此不需要单独的实现。Resourceoperator=otheroperator=Resourceotherotheroperator=
0赞 salbeira 4/15/2021
我想更相关的情况是因为资源想要成为包含类的成员,但需要在以后构造和初始化。例如,我想在这里做什么:stackoverflow.com/questions/67096588/......Resource a; a = function(stuff);