Блог

Мне нужна шаблонная функция, которая проверяет, есть ли первое значение среди последующих.

Я думал, что попробую что-то подобное, но это не сработало

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

template<class T, class ...Args>
bool is_in_set(const T amp;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

Кто-нибудь может помочь мне исправить это и объяснить, почему это не работает?

Начиная с C 17, вы можете написать эту функцию с помощью fold-выражения, что проще, чем писать рекурсивную функцию с базовым вариантом.

 template<class T, class ...Args>
bool is_in_set(T const amp; t, Args const amp; ...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
 

Обратите внимание, что вы вызываете шаблон функции рекурсивно с точно такими же аргументами. Это означает, что вы будете повторять бесконечно и никогда не достигнете базового варианта.

Вы можете исправить это, присвоив второму аргументу имя и приняв остальные аргументы в качестве пакета параметров.

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

Вот демонстрация