提问人:salbeira 提问时间:4/14/2021 最后编辑:salbeira 更新时间:4/15/2021 访问量:285
我是否正确理解了 RAII 和复制/交换习语?
Do I understand RAII in conjunction with the copy/swap idiom correctly?
问:
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(半)规则表示,通常您要定义一个复制构造函数/赋值运算符。复制资源句柄是明显不需要的。我是否正确理解,因此只需删除任何其他构造函数/赋值运算符就可以解决这个问题(如果我分配了未转换为右值的内容,编译器会对我大喊大叫(因此在赋值完成后不再存在))
这与这个问题有关,因为我想构建的资源实际上只有在它们所属的包含数据结构已经构建之后才能构建,因此需要移动资源,但不能复制它们。
答:
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
"这个函数通过值接受一个参数,从而创建一个副本“ - 不是真的。由于具有移动构造函数,因此调用方可以使用右值作为输入来调用,从而进行移动构造而不是复制构造它。在这种情况下,最好将右值引用定义为参数。但是,如果确实支持复制构造函数,则按值获取实际上很有用,允许调用方根据需要选择是复制构造还是移动构造,因此不需要单独的实现。Resource
operator=
other
operator=
Resource
other
other
operator=
0赞
salbeira
4/15/2021
我想更相关的情况是因为资源想要成为包含类的成员,但需要在以后构造和初始化。例如,我想在这里做什么:stackoverflow.com/questions/67096588/......Resource a; a = function(stuff);
评论
= delete
Resource &operator=(Resource other); // Sawp assignment...
swap