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 报告了一个模棱两可的重载，并且无法在 'specialization' 和 'variadic' 使用空参数包之间做出决定。

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

Answer 1

正如this answer 中所述，可变参数包确实可以是空的。 但是您可以使用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;
}

看Live on Coliru。

Answer 2

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

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，您可以使用 fold expressions 来简化此操作：

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