可变参数模板函数组合

Question

希望 stackoverflow 社区可以帮助我解决这个问题。我想要类似下面的编译

template <typename A>  
void VARIADIC_TEMPLATE_FUNCTION(A* tptr)
{   
    //Do nothing
}   

template <typename A, typename B, typename... C>
void VARIADIC_TEMPLATE_FUNCTION(A* tptr)
{   
    // Do stuff here with typename B and tptr (not included)
    VARIADIC_TEMPLATE_FUNCTION<A,C...>(tptr);
}   

显然这不起作用，两个函数的签名冲突。

我一直试图通过传递一些可变参数来解决这个问题，但似乎没有任何效果。我不反对传递“假”变量——但不反对。

调用者会做类似的事情（例如）：

ClassP* ptr;
VARIADIC_TEMPLATE_FUNCTION<ClassP, ClassA, ClassB, ClassC, ClassD>(ptr);

Answer 1

您编译的代码对我来说非常好，所以我不完全确定问题是什么。但是如果你想表达的是对包中的每种类型执行一些操作，我喜欢下面的方法：

template <typename B, typename A>
void impl(A* tptr) {
    // Do stuff here with typename B and tptr (not included)           
}

template <typename A, typename... Ts>
void VARIADIC_TEMPLATE_FUNCTION(A* tptr) {
    int unused[] = {0, (impl<Ts>(a), 0)... };
    (void)unused;
}

一旦您通过了我们正在介绍的 0s 的奇怪 int 数组，就会使意图更加清晰。

Answer 2

把它变成你可以专攻的struct：

template<typename...> struct IMPL;

template <typename A>
struct IMPL<A>
{
    static void apply(A* tptr)
    {   
        //Do nothing
    }   
};

template <typename A, typename B, typename... C>
struct IMPL<A,B,C...>
{
    static void apply(A* tptr)
    {   
        // Do stuff here with typename B and tptr (not included)
        IMPL<A,C...>::apply(tptr);
    }   
};

template <typename A, typename... Ts>
void VARIADIC_TEMPLATE_FUNCTION(A* tptr)
{
    IMPL<A,Ts...>::apply(tptr);
}