如何将模板参数包扩展为一系列模板化参数？

Question

我有这个简单的模板类：

template<typename T>
class property
{
    // ...
};

以及该可变参数模板类：

template<typename... factory_args>
class type_t
{
    // …

在这个类中，我希望有一个构造函数可以扩展为此：

    type_t (property<first_type>&, property<second_type>& etc.)

其中first_type，second_type等应来自factory_args。

然后我可以像这样调用构造函数：

property<int> first = etc...;
property<void*> second = ...;
auto some_type = type_t<int, void*>(first, second);

理想情况下，模板参数推导也可以使用，因此我也可以这样称呼它：

auto some_other_type = type_t(first, second);

如何编写type_t构造函数？这在C ++ 17中可行吗？

Answer 1

像这样：

template<typename... factory_args>
class type_t
{
public:
    type_t(property<factory_args>&... args);
};

类模板参数推导在这里也做正确的事情。因此，如果您有：

property<int> i;
property<void*> v;
type_t x(i, v); // ok, x is a type_t<int, void*>