前向声明、unique_ptr 和类内初始化器

Question

我已阅读 Is std::unique_ptr<T> required to know the full definition of T? 和 Forward declaration with unique_ptr?，但我的问题更具体。

以下编译：

// Compile with $ g++ -std=c++11 -c <filename>
#include <memory>
class A; // fwd declaration

class AUser
{
  AUser();  // defined elsewhere
  ~AUser(); // defined elsewhere
  std::unique_ptr<A> m_a;
};

以下不是：

// Compile with $ g++ -std=c++11 -c <filename>
#include <memory>
class A; // fwd declaration

class AUser
{
  AUser();  // defined elsewhere
  ~AUser(); // defined elsewhere
  std::unique_ptr<A> m_a{nullptr};
};

错误

$ g++ -std=c++11 -c fwd_decl_u_ptr.cpp 
In file included from /usr/include/c++/4.7/memory:86:0,
                 from fwd_decl_u_ptr.cpp:3:
/usr/include/c++/4.7/bits/unique_ptr.h: In instantiation of ‘void std::default_delete<_Tp>::operator()(_Tp*) const [with _Tp = A]’:
/usr/include/c++/4.7/bits/unique_ptr.h:173:4:   required from ‘std::unique_ptr<_Tp, _Dp>::~unique_ptr() [with _Tp = A; _Dp = std::default_delete<A>]’
fwd_decl_u_ptr.cpp:9:33:   required from here
/usr/include/c++/4.7/bits/unique_ptr.h:63:14: error: invalid application of ‘sizeof’ to incomplete type ‘A’

---

编辑： 据我了解，这里发生的是类内初始化程序意味着能够在声明AUser 时已经初始化unique_ptr<A>。由于unique_ptr<A> 类型实际上是unique_ptr<A, default_delete<A>>，因此能够初始化它意味着能够初始化default_delete<A>。为此，A 必须完全定义。

这个推理中的薄弱环节是假设类内初始化器意味着在类声明时初始化相应数据成员的能力！这似乎是一个直观的不言而喻，因为初始化程序是声明的一部分。但是，如果我在标准中找到明确说明的内容，我会更舒服。否则我仍然可以想到不需要它的实施解决方案。例如，编译器可以简单地采用初始化表达式并将其仅应用于未明确给出属性初始化的构造函数。

那么，任何人都可以向我推荐一个标准部分/摘录，暗示在第二种情况下 A 的完整定义是必要的吗？我在标准中没有找到太多关于类内初始化器的信息（只发现它们被称为“brace-or-equal-initializers of non-static 数据成员”），但与此无关。

Answer 1

第二种情况生成默认析构函数[不正确] 代替AUser定义 [/不正确]（在这种情况下，它实际上是在处理完整个代码之后完成的）。就像在 AUser 中定义构造函数一样。

在任何情况下，您都需要在同一编译单元中提供A 的定义。所以也许这样的事情会让你满意？

#include <memory>

class A;

class AUser
{
  std::unique_ptr<A> m_a;
  AUser();
};


class A
{
  // ...
};


AUser::AUser() 
  : m_a(nullptr)
{ }