Допустим, у меня есть вариативный шаблон с параметрами int.... Например, такая функция:
template<int... t>
int add(){
return t... + ???
}
Все, что должен сделать метод, это добавить все параметры. Этого можно легко добиться, используя рекурсивные вариативные шаблоны. Однако возможно ли также выразить это (или что-то подобное, например, использовать другие бинарные операторы для агрегирования всех параметров шаблона) с помощью расширения пакета параметров?
Да, используя трюк, которому я научился у @Xeo в гостиной. Первоначально я использовал его для создания вариативной функции шаблона «печать».
#include <iostream>
template<int... ints>
int add()
{
int result = 0;
using expand_variadic_pack = int[]; // dirty trick, see below
(void)expand_variadic_pack{0, ((result += ints), void(), 0)... };
// first void: silence variable unused warning
// uses braced-init-list initialization rules, which evaluates
// the elements inside a braced-init-list IN ORDER, to repetetively
// execute a certain operation
// second void is to prevent malicious "operator," overloads, which
// cannot exist for void types
// 0 at the end is to handle empty variadic pack (zero-size array initializer is illegal.
return result;
}
int main()
{
std::cout << add<1,2,3,4>() << '\n';
}
Это работает на каждом компиляторе с достойной поддержкой С++ 11 (GCC 4.8+, Clang 3.2+, MSVS2013,...)
auto a = {(ret += ints)... }; (void)a;
- person PlasmaHH; 14.05.2014
template<typename... T> int add(T... ints): ideone.com/UtS43M
- person Remy Lebeau; 27.03.2020
Один из возможных вариантов, в котором используются лямбда и std::accumulate:
#include <array>
#include <numeric>
template <int... t>
int add()
{
return [](const std::array<int, sizeof...(t)>& a)
{
return std::accumulate(a.begin(), a.end(), 0);
}({t...});
}
