可变参数函数（不带参数！）

Question

假设您想在 C++0x 中执行此操作：

size_t count_int() { return 0; }
template<typename T, typename... Tn>
size_t count_int(T a0, Tn... an) {
    size_t n = is_integer<T>::value ? 1 : 0;
    return n + count_int(an...);
}

很好，但感觉没有必要传递参数。不幸的是，这不起作用：

size_t count_int() { return 0; }
template<typename T, typename... Tn>
size_t count_int() {
    size_t n = is_integer<T>::value ? 1 : 0;
    return n + count_int<Tn...>();
}

GCC 抱怨错误：在倒数第二行中没有调用“count_int()”的匹配函数。为什么以及如何解决这个问题？ 谢谢。

Answer 1

这个有效：

template <typename T>
size_t count_int()
{
   return is_integer<T>::value ? 1 : 0;
}

template<typename T, typename T1, typename... Tn>
size_t count_int() {
    size_t n = is_integer<T>::value ? 1 : 0;
    return n + count_int<T1,Tn...>();
};

Answer 2

它会失败，因为当参数包不包含任何值时，您没有基本情况 - 因为您之前使用的 count_int() 基本情况没有模板化，因此无法使用 调用code>，即使 Tn 为空。这就是它失败的原因。至于如何修复它，我几乎不知道。

Answer 3

这是因为停止条件不是函数模板，因此当您使用空 Tn 调用 count_int(); 时，非模板函数是没找到。

如果您尝试将停止条件更改为模板：

template <typename...>
size_t count_int() { return 0; }

您将收到错误，因为当参数包中有参数时，调用哪个函数是不明确的。

您可以通过将调用转发到模板类来解决此问题，并完全避免递归。像下面这样的东西应该可以工作（尽管我还没有成功做到这一点）

template <typename T, typename... Tn>
struct int_counter {
    enum { value = is_integer<T>::value + int_counter<Tn...>::value; }
};

template <>
struct int_counter<> {
    enum { value = 0; }
};

template <typename... Tn>
size_t count_int() { 
    return int_counter<Tn>::value;
}