使用const std :: unique_ptr for pimpl idiom

Question

在Herb Sutter's talk at CppCon16中，他建议用perl -ne 'defined $l && print(@B[0..$l]), (@B, $l) = $_, next if /BEGIN/; $l=@B if @B && /END/; push @B, $_ if @B' file （约10分钟）写出pimpl成语。

这应该如何与移动构造函数/赋值一起使用？ c ++ 17中有什么东西吗？我找不到任何东西。

Answer 1

如果你的类应该永远是空的，那么非const的唯一ptr（默认移动/分配）是不合适的。移动ctor和移动分配都将清空rhs。

一个const唯一的ptr将禁用这些自动方法，如果你想移动，你将不得不在impl中写入它（以及外面的一点胶水）。

我个人会用我想要的语义编写一个值ptr（然后让编译器编写粘合剂），但从const unique_ptr开始听起来合理，作为第一遍。

如果你放松了永不空虚，并且几乎从不空洞，你现在必须推理许多方法的先决条件，以及可能的连锁错误。

这种技术的最大成本，即返回值的难度，随着C ++ 17而消失。

Answer 2

  

这假设如何使用移动构造函数/赋值？

Move constructors：

  

如果满足以下任一条件，则类T的隐式声明或默认移动构造函数被定义为已删除：

     

  
• T具有无法移动的非静态数据成员（已删除，不可访问或模糊的移动构造函数）
  

由于const std::unique_ptr，

const是此类数据成员。

如果const被删除，编译器会生成移动构造函数和赋值，但不会复制复制构造函数。

Herb解释了他使用const unique_ptr的原因：

  

非const也可以工作，但它更脆弱，因为默认移动语义可能不正确。

使用const成员时，它更健壮，因为必须在构造函数中初始化const成员。并且const证明对象的实现没有改变，它不是状态或策略设计模式。