std::unique_ptr 的类内初始化为不完整类型答案

【问题标题】：In-class initialization of std::unique_ptr to an incomplete typestd::unique_ptr 的类内初始化为不完整类型
【发布时间】：2021-08-11 12:42:17
【问题描述】：

我无法在 Visual Studio 2019 中使用 clang-cl 编译以下代码。尽管 VC++ 编译成功。它也适用于自定义删除器。它应该像示例中那样工作吗？如果不是，为什么？

example.h

#include <memory>

class A;

class B {
    std::unique_ptr<A> a{ make_a() };
    std::unique_ptr<A> make_a();
public:
    B(); ~B();
};

example.cpp

#include "example.h"

class A {};

std::unique_ptr<A> B::make_a() {
    return std::unique_ptr<A>(new A());
}

B::B() = default;
B::~B() = default;

main.cpp

#include "example.h"

int main()
{
    B b;
    return 0;
}

错误：“sizeof”对不完整类型“A”的无效应用

【问题讨论】：

【解决方案1】：

它应该像示例中那样工作吗？

是的，这个例子应该可以工作。在A 完成之后定义B::~B 就足够了（也是必要的）。

一些标准规则：

[unique.ptr.general]

... unique_ptr的模板参数T可能是不完整类型。

[unique.ptr.dltr.dflt]

default_delete的模板参数T可能是不完整类型。

顺便说一句，小建议：

std::unique_ptr<A>
B::make_a() {
    return std::make_unique<A>();
}

【讨论】：