关于PIMPL语法

Question

我对PIMPL语法中使用的C ++使用情况有疑问。

首先，为什么不需要编写pimpl（new Impl）为pimpl（new my_class :: :: inprand）

第二，为什么new new Impl < /代码>扩展即使是临时对象？

//my_class.h
class my_class {
   //  ... all public and protected stuff goes here ...
private:
   class impl; unique_ptr<impl> pimpl; // opaque type here
}

// my_class.cpp
class my_class::impl {  // defined privately here
  // ... all private data and functions: all of these
  //     can now change without recompiling callers ...
};
my_class::my_class(): pimpl( new impl )
{
  // ... set impl values ...
}

Answer 1

首先：在您的构造函数中表达式新的imph 确实是一个临时对象，但是立即将其传递给pimpl成员，这不是临时。 std :: unique_ptr类型存储指针传递给它，并将其保留在其上，直到被破坏或移动为止。直到my_class对象被破坏之前，成员不会被破坏。

另外，考虑使用 std :: make_unique 而不是new。

第二：您不必写my_class :: impl因为您处于my_class的成员函数，因此名称分辨率看起来看起来不仅在命名空间范围内，而且在类范围范围内。因此，impl可以解决。

Answer 2

首先，为什么不必将PIMPL（新IMP）写为PIMPL（新My_class :: inphand）

范围。当定义构造函数时，您在班级的范围内，因此 name lookup 能够毫无问题地找到它。

第二，为什么新impl的寿命即使是临时对象，也会扩展？

您将临时指针传递给std :: simolor_ptr＆lt; nlpt＆gt;的构造函数参数，因此值pimpl消耗了值。 impl值s不是临时的，因为它是在堆上创建的，对其寿命的控制传递给了智能指针。

额外：
您在标题中使用命名空间std; 使用（唯一可以跳过std ::之前simele_ptr之前的情况）！这是一个大错误，不要这样做。这将影响所有将包括此标头的所有来源。因此，您可能会有符号歧义错误。

即使在CPP文件中使用命名空间std; 使用也是考虑了不良练习。

Answer 3

新的Impl不是临时的，因为它不是变量。

这是一个表达式，

1. 在您的my_class :: pimpl对象成员构建过程中进行评估，
2. 其副作用是创建impl对象（其寿命是由控制的，而不是自动的，因为它不是本地自动变量），
3. 并且它将指针返回到新创建的匿名 inpher对象。

该表达式用作pimpl成员my_class要构造的对象的初始化器，因此返回的指针作为初始化值传递给pimpl并存储在其中。这允许您的my_class对象控制impl对象的寿命。

pimpl指针变量的寿命显然与其拥有my_class对象的寿命相同，但是指向inpers> impl对象的寿命取决于您的my_class逻辑：

1. 它可以将其保留到它自己的末端并在其自身破坏期间删除它，
2. 它可以replace> replast（）与另一个随意
3. 或<代码> repares> pimpl，delete impl对象，并且在不再需要的时候无需任何工作
4. ...甚至释放对象， 将其删除，例如将所有权传输到另一个对象 - 或只是放弃它，这会导致内存泄漏（通常是一个严重的错误！）