具有递归控制的可变参数模板

Question

我需要一个模板 function 来检查第一个值是否在后面的值中。

---

我以为我会尝试这样的事情，但它不起作用

template<class T, class U>
bool is_in_set(const T &t, const U &u) {
  return t == u;
}

template<class T, class ...Args>
bool is_in_set(const T &t, Args...args) {
  return false || is_in_set(t, args...);
}

它可以编译，但我收到以下警告warning C4717: 'is_in_set': recursive on all control paths, function will cause runtime stack overflow

谁能帮我修复它并解释为什么它不起作用？

Answer 1

从 C++17 开始，您可以使用fold-expression编写此 function，这比使用基本情况编写递归 function 更简单。

template<class T, class ...Args>
bool is_in_set(T const & t, Args const & ...args) 
{
  return (... || (t == args));
}

现在你可以这样称呼它。

is_in_set(1, 2, 3, 4);  // false
is_in_set(1, 2, 1, 4);  // true

这是一个演示

---

考虑到您的代码，您会收到警告，因为您在此行有无限递归：

return false || is_in_set(t, args...);  // infinite recursion here

请注意，您使用完全相同的 arguments 递归调用 function 模板。 这意味着您将无限递归，并且永远不会达到基本情况。

您可以通过命名第二个参数并将剩余的 arguments 作为参数包来解决此问题。

template<class T, class U>
bool is_in_set(T const & t, U const &u) 
{
    return t == u;
}
  
template<class T, class U, class ...Args>
bool is_in_set(T const & t, U const & u, Args const &...args) 
{ 
  return is_in_set(t, u) || is_in_set(t, args...);
}

这是一个演示