C 可变参数模板推导失败

Question

我已经编写了一个具有递归评估的可变参数模板函数。对于最后一个参数，我在没有可变参数包的情况下实现了专业化，并且一切正常。

现在我想把可变函数参数转换成模板参数。

这是我的尝试：

template<typename N, int p> // specialization
N constexpr myadd(const N &n)
{
    return n + p;
}

template<typename N, int p, int ... v> // variadic
N constexpr myadd(const N &n)
{
    return myadd<N, v...>(n) + p;
}

int testfun()
{
    return myadd<int, 2>(7);
}

gcc和clang报告了一个模糊的过载，并且无法使用空参数包在“专业化”和“可变参数”之间做出决定。

我尝试删除特化并检查可变参数模板中的包大小，但是如果没有特化，编译器就无法推断出参数“p”。

Answer 1

参数包确实可以为空。您可以通过更改特化来处理不添加任何内容的情况来避免歧义：

template<typename N> // specialization
N constexpr myadd(const N &n)
{
    return n;
}

template<typename N, N p, N ... v> // variadic
N constexpr myadd(const N &n)
{
    return myadd<N, v...>(n) + p;
}

对于C 17，您可以通过使用折叠表达式来简化这一点:

template<typename N, N ... v> // variadic
N constexpr myadd(const N &n)
{
    return (v + ... + n);
}

Answer 2

正如这个答案所指出的，可变参数包确实可以是空的。但是您可以使用SFINAE专门化非空可变参数包的情况。

例如：

#include <iostream>
#include <type_traits>

template<typename N, int p> // specialization
N constexpr myadd(const N &n)
{
    std::cout << "specialization" << std::endl;
    return n + p;
}

template<typename N, int p, int ... v, class = std::enable_if_t<(sizeof...(v) > 0)>> // variadic
N constexpr myadd(const N &n)
{
    std::cout << "variadic" << std::endl;
    return myadd<N, v...>(n) + p;
}

int main()
{
    std::cout <<  myadd<int, 2>(7) << std::endl;
    std::cout <<  myadd<int, 2, 4>(7) << std::endl;
    
    return 0;
}

在科里鲁现场观看。