使用const std :: unique_ptr for pimpl idiom

Question

在Herb Sutter在CppCon16上的演讲中，他建议用const std::unique_ptr （约10分钟）写出pimpl习语。

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

Answer 1

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

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

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

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

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

Answer 2

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

移动构造函数 ：

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

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

const std::unique_ptr是因为这样的数据成员const 。

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

---

Herb解释了为什么他使用const unique_ptr ：

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

使用const成员它更健壮，因为必须在构造函数中初始化const成员。 而const文件表明对象的实现没有改变，它不是State或Strategy设计模式。