首页 > 解决方案 > 如何将模板参数包扩展为一系列模板参数?

问题描述

我有这个简单的模板类:

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

和这个可变参数模板类:

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

在这个类中,我希望有一个构造函数可以扩展为:

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

first_typesecond_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 中可行吗?

标签: c++templatesc++17

解决方案


像这样:

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*>

推荐阅读