用于将 unique_ptr 向量初始化为基本类型的可变参数构造

Cro*_*rog 5 c++ variadic-functions variadic-templates c++11 c++14

下面是一个示例程序,其中“Container”类需要通过基类指针存储“Items”列表。从 C++11/14 开始,自然的选择是在我的情况下使用 std::unique_ptr 和可变参数模板。

然而,作为新手,我无法理解如何以编译的方式将可变参数列表转换为 unique_ptr 向量的初始化列表。非常感谢您的帮助,因为到目前为止我在网上找不到任何可以帮助我解决这个问题的东西(尽管可能就在那里!)。

提前致谢:

// Example program
#include <iostream>
#include <string>
#include <memory>
#include <vector>

struct Item
{
};


struct Container
{
    template<typename... Items>
    Container( Items&&... items ) 
    : items_( {std::make_unique<Items>(items)...} ) //<<TODO: How, VC compiler times out with this code!?
    {
    }

    std::vector<std::unique_ptr<Item>> items_;
};

struct A : Item { A(float){}  };
struct B : Item {  };
struct C : B    { C(float){} };
struct D : Item { D(float){} };

int main()
{
  Container x( A(1), C(2), D(3) );

  return 0;
}
Run Code Online (Sandbox Code Playgroud)

Bry*_*hen 5

问题是你无法unique_ptr搬出intializer_list。阅读此问题了解更多详细信息。

此解决方案使用此答案中的技术,您可以使用普通数组来构造项目,而不是使用intializer_list

struct Container
{
    template<typename... Items>
    Container( Items&&... items ) 
    : items_()
    {
        std::unique_ptr<Item> itemArr[] = {std::make_unique<Items>(std::move(items))...};
        items_ = std::vector<std::unique_ptr<Item>> {std::make_move_iterator(std::begin(itemArr)), std::make_move_iterator(std::end(itemArr))};
    }

    std::vector<std::unique_ptr<Item>> items_;
};
Run Code Online (Sandbox Code Playgroud)

在线演示