“ std :: make_unique”和`sTD :: simel_ptr`与正向声明之间的奇怪行为

Question

std :: make_unique＆lt; t＆gt;需求c ++ 17 feature.t poth，我必须使用c ++ 11。当我将代码段移植到c ++ 11时，我发现了一个奇怪的事情。

代码spippet 使用make_unique正常工作：

#include <iostream>
#include <memory>
 
struct View;

struct Database : public std::enable_shared_from_this<Database>
{
    static std::shared_ptr<Database> Create(){ return std::shared_ptr<Database>(new Database());}

    std::unique_ptr<View> GetView() { return std::make_unique<View>(shared_from_this()); } //works well

    ~Database() {std::cout << "Database is destoryed" << std::endl;}
private:
        Database(){};
};

struct View
{
    std::shared_ptr<Database> db;
    View(std::shared_ptr<Database> db) : db(std::move(db)) {}
    ~View() {std::cout << "View is destoryed" << std::endl;}
};

int main()
{
    std::shared_ptr<View> view;
    {
        auto db{Database::Create()} ;
        view = db->GetView();
    }
}

code snippet 下面没有编译：

#include <iostream>
#include <memory>
 
struct View;

struct Database : public std::enable_shared_from_this<Database>
{
    static std::shared_ptr<Database> Create(){ return std::shared_ptr<Database>(new Database());}

    std::unique_ptr<View> GetView() { return std::unique_ptr<View>(new View(shared_from_this())); }  //here is the modification
    ~Database() {std::cout << "Database is destoryed" << std::endl;}
private:
        Database(){};
};

struct View
{
    std::shared_ptr<Database> db;
    View(std::shared_ptr<Database> db) : db(std::move(db)) {}
    ~View() {std::cout << "View is destoryed" << std::endl;}
};

int main()
{
    std::shared_ptr<View> view;
    {
        auto db{Database::Create()} ;
        view = db->GetView();
    }
}

这是Cruffier抱怨的内容：

<source>: In member function 'std::unique_ptr<View> Database::GetView()':
<source>:10:95: error: invalid use of incomplete type 'struct View'
   10 |     std::unique_ptr<View> GetView() { return std::unique_ptr<View>(new View(shared_from_this())); }  //here is the modification
      |                                                                                               ^
<source>:4:8: note: forward declaration of 'struct View'
    4 | struct View;
      |        ^~~~

在我对第二个代码smippet进行了一些修改之后， a href =“ https://godbolt.org/z/epbn1otzz” rel =“ nofollow noreferrer”>此操作：

#include <iostream>
#include <memory>

struct Database;
 
struct View
{
    std::shared_ptr<Database> db;
    View(std::shared_ptr<Database> db) : db(std::move(db)) {}
    ~View() {std::cout << "View is destoryed" << std::endl;}
};

struct Database : public std::enable_shared_from_this<Database>
{
    static std::shared_ptr<Database> Create(){ return std::shared_ptr<Database>(new Database());}
    #if 0
    std::unique_ptr<View> GetView() { return std::make_unique<View>(shared_from_this()); } //works well
    #else
    std::unique_ptr<View> GetView() { return std::unique_ptr<View>(new View(shared_from_this())); }
    #endif
    ~Database() {std::cout << "Database is destoryed" << std::endl;}
private:
        Database(){};
};


int main()
{
    std::shared_ptr<View> view;
    {
        auto db{Database::Create()} ;
        view = db->GetView();
    }
}

为什么 std :: make_unique＆lt＆gt; view＆gt;（view＆gt;（即使view> view在database的定义之前，sharon_from_this（））也有效，即使只有远期分界表，而编译器则抱怨std ::::: unique_ptr＆lt; view＆gt;（新视图（shared_from_this（））在相同的条件下？

Answer 1

为什么std :: make_unique＆lt; view＆gt;（shared_from_this（））即使在view> view> view> database之前，即使只有远期分配也有效的定义，而编译器则抱怨std :: simolor_ptr＆lt; view＆gt;（新视图（shared_from_this（））在相同的条件下？

？

考虑此简化示例：

#include <memory>

struct foo;

std::unique_ptr<foo> make_foo_1() { return std::make_unique<foo>(); }       // OK
std::unique_ptr<foo> make_foo_2() { return std::unique_ptr<foo>(new foo); } // ERROR

struct foo {};

在make_foo_1，<代码中> std :: simolor_ptr＆lt; foo＆gt; 被制成依赖类型依赖类型 Make_unique＆lt; foo＆gt; ，这意味着它将绑定到unique> unique_ptr＆lt; foo＆gt;。

>在中， >在模板点定义“ （即，std :: simelod_ptr＆lt; foo＆gt;）的定义，这意味着，在make_foo_2中，编译器必须已经看到foo的定义，否则它将抱怨foo是不完整的类型。

Answer 2

当您拥有std :: make_unique＆lt; view＆gt;（shared_from_this（））时，编译器需要实例化功能模板的专业化template template＆lt;类T，类，class ... args ... args＆gt; std :: simel_ptr＆lt; t＆gt; std :: make_unique（args＆amp;＆amp; ...）;带有t = view，args = {＆lt; empty＆gt;}。这发生在专业化的“实例化”。在某个地方使用它（当您调用make_unique时，也是一个在翻译单元末尾的地方。您的编译器恰好在TU的末端实例化（如大多数编译器所做的那样），因此它恰好是“工作”，但实际上是不正确的（因为编译器在使用时可以实例化，并且会失败）。

原因std :: unique_ptr＆lt; view＆gt;（new View（shared_from_this（）））不起作用，是因为错误与expression new View（shared_from_this（））。没有模板功能或实例化点可以处理，因此编译器必须立即抱怨View是不完整的，正如预期的那样。

解决方案是延迟函数的定义，直到view完成：

struct View;

struct Database : public std::enable_shared_from_this<Database>
{
    // ...
    std::unique_ptr<View> GetView();
    // ...
};

struct View
{
    // ...
};


inline std::unique_ptr<View> Database::GetView()
{
    // View is complete here, OK
    return std::unique_ptr<View>(new View(shared_from_this()));
}