传递派生类型列表以便将它们存储为成员

Question

我有一堂课widget。
我有一个抽象类 base 与派生 derived_a、derived_b 等。

我希望widget 保存从base 派生的任意数量的对象，以便以后多态地使用它们。

我的第一次尝试是这样的：

#include <vector>
#include <ostream>
#include <iostream>
#include <memory>

class widget {
public:
    explicit widget(std::vector<std::unique_ptr<base>>&& params) :
    members {std::move (params)}
    {            
    }

private:
    std::vector<std::unique_ptr<base>> members;
};

会这样称呼：

std::vector<std::unique_ptr<base>> v;
v.push_back(std::move(std::make_unique<derived_a>()));
widget w (std::move(v));

但是，此解决方案过于冗长且对用户不友好，尤其是在提供多种类型时：

std::vector<std::unique_ptr<base>> v;
v.push_back(std::move(std::make_unique<derived_a>()));
v.push_back(std::move(std::make_unique<derived_b>()));
v.push_back(std::move(std::make_unique<derived_c>()));
v.push_back(std::move(std::make_unique<derived_a>()));
v.push_back(std::move(std::make_unique<derived_b>()));
v.push_back(std::move(std::make_unique<derived_c>()));
widget w {std::move(v)};

相反，我更喜欢使用

widget w {derived_a(), 
          derived_b(), 
          derived_c(), 
          derived_a(), 
          derived_b(), 
          derived_c()};

以便widget 提供一个右值列表，然后它可以将其转换为std::vector<unique_ptr<base>>。
我的印象是，这可以通过模板化 ctor 来实现，但是，尽管进行了密集的谷歌搜索，但我不知道如何准确地实现我的目标。

请注意，类模板解决方案看起来像这样：

widget<derived_a, 
       derived_b, 
       derived_c, 
       derived_a, 
       derived_b, 
       derived_c> w;

不受欢迎，因为我需要为一些派生提供参数。

Answer 1

很遗憾，您不能使用initializer_list，但可以使用可变参数模板：

class widget {
public:
    template <typename ... Ts>
    explicit widget(Ts&&... params) 
    {
        int dummy[] =
            {0, (members.emplace_back(std::make_unique<Ts>(std::forward<Ts>(params))), 0)...};
        static_cast<void>(dummy); // avoid unused variable warning
    }

private:
    std::vector<std::unique_ptr<base>> members;
};

Demo

或在 C++17 中，带有折叠表达式：

    template <typename ... Ts>
    explicit widget(Ts&&... params) 
    {
        (members.emplace_back(std::make_unique<Ts>(std::forward<Ts>(params))), ...);
    }