使用可变参数类模板的模板参数调用可变参数函数模板？答案

【问题标题】：Call variadic function template with template parameters of variadic class template?使用可变参数类模板的模板参数调用可变参数函数模板？
【发布时间】：2021-10-01 03:18:13
【问题描述】：

给定一个可变参数类模板，如何使用该类的模板参数调用可变参数函数模板？

例子：

template <typename T0,typename... Ts>
    void test_variadic()
{
    std::cout<<typeid(T0).name()<<std::endl;
    if constexpr (sizeof...(Ts) > 0)
        test_variadic<Ts...>();
}

template<typename T> // T is variadic class template
    void f0()
{
    // test_variadic<T...>(); // Call 'test_variadic' with underlying template parameter types of T? (In this example case `test_variadic<float,int>`)
}

template<typename ...T>
    class VariadicClass
{};

int main(int argc,char *argv[])
{
    f0<VariadicClass<float,int>>();
    return EXIT_SUCCESS;
}

f0 的实现是我所缺少的，我希望它通过自动确定来自T 的模板参数列表并将其用于调用test_variadic 来调用test_variadic<float,int>。我该怎么做？

我找到了一个适用于元组的解决方案：

#include <tuple>

template <typename T0,typename... Ts>
    void test_variadic()
{
    std::cout<<typeid(T0).name()<<std::endl;
    if constexpr (sizeof...(Ts) > 0)
        test_variadic<Ts...>();
}

int main(int argc, char **argv)
{
    std::tuple<int, float> tp;
    std::apply([](auto &&... args) { test_variadic<decltype(args)...>(); }, tp);
    return 0;
}

但就我而言，我没有任何实际参数或对象，只有类型，因此 lambda 解决方案不起作用。

首选现代 C++ 解决方案。

【问题讨论】：

标签： c++ templates variadic-templates variadic-functions variadic

【解决方案1】：

你可以声明一个具有部分特化的类模板：

// primary template (might implement it with default behavior)
template <typename T> struct test_variadic_impl;

// partial specialization for variadic class template
template <template <typename...> typename C, typename... Args>
struct test_variadic_impl<C<Args...>> {
    static auto call() {
        return test_variadic<Args...>();
    }
};

然后像这样使用它：

template<typename T> // T is variadic class template
    void f0()
{
    test_variadic_imple<T>::call();
}

LIVE

【讨论】：