Пространства имён
Варианты
Действия

выражение свертки(начиная с C++17)

Материал из cppreference.com
< cpp‎ | language

Сворачивает набор параметров с помощью бинарного оператора.

Содержание

[править] Синтаксис

( pack op ... ) (1)
( ... op pack ) (2)
( pack op ... op init ) (3)
( init op ... op pack ) (4)
1) унарная правосторонняя свертка
2) унарная левосторонняя свертка
3) бинарная правосторонняя свертка
4) бинарная левосторонняя свертка
op любой из следующих 32 бинарных операторов: + - * / % ^ & | = < > << >> += -= *= /= %= ^= &= |= <<= >>= == != <= >= && || , .* ->*. В бинарной свертке оба op должны быть одинаковыми.
pack выражение, которое содержит нераскрытый набор параметров и не содержит оператора с приоритетом ниже чем у C-style приведения типов (формально, cast-expression)
init выражение, которое не содержит нераскрытого набора параметров и не содержит оператора с приоритетом ниже чем у C-style приведения типов (формально, cast-expression)

Важно отметить, что открывающая и закрывающая скобки также являются частью выражения-свертки.

[править] Объяснение

Инициализация выражения свертки раскрывает выражение E по следующему принципу:

1) Унарная правосторонняя свертка (E op ...) становится (E
1
op (... op (E
N-1
op E
N
)))
2) Унарная левосторонняя свертка (... op E) становится (((E
1
op E
2
) op ...) op E
N
)
3) Бинарная правосторонняя свертка (E op ... op I) становится (E
1
op (... op (E
N−1
op (E
N
op I))))
4) Бинарная левосторонняя свертка (I op ... op E) становится ((((I op E
1
) op E
2
) op ...) op E
N
)

(где N это число элементов в раскрытом pack)

Например,

template<typename... Args>
bool all(Args... args) { return (... && args); }
 
bool b = all(true, true, true, false);
 // within all(), the unary left fold expands as
 //  return ((true && true) && true) && false;
 // b is false

Когда унарная свертка используется с раскрытым pack нулевой длины, разрешены только следующие операторы:

1) Логическое И (&&). Значение пустого packtrue
2) Логическое ИЛИ (||). Значение пустого packfalse
3) Оператор запятая (,). Значение пустого packvoid()

[править] На заметку

Если у выражения, использованного в качестве init или pack есть оператор с приоритетом ниже чем у C-style приведения типов, оно может быть заключено в скобки:

template<typename ...Args>
int sum(Args&&... args) {
//    return (args + ... + 1 * 2); // Error: operator with precedence below cast
    return (args + ... + (1 * 2)); // OK
}

[править] Пример

#include <iostream>
#include <vector>
#include <climits>
#include <cstdint>
#include <type_traits>
#include <utility>
 
template<typename ...Args>
void printer(Args&&... args) {
    (std::cout << ... << args) << '\n';
}
 
template<typename T, typename... Args>
void push_back_vec(std::vector<T>& v, Args&&... args)
{
    static_assert((std::is_constructible_v<T, Args&&> && ...));
    (v.push_back(std::forward<Args>(args)), ...);
}
 
// compile-time endianness swap based on http://stackoverflow.com/a/36937049
template<class T, std::size_t... N>
constexpr T bswap_impl(T i, std::index_sequence<N...>) {
  return (((i >> N*CHAR_BIT & std::uint8_t(-1)) << (sizeof(T)-1-N)*CHAR_BIT) | ...);
}
template<class T, class U = std::make_unsigned_t<T>>
constexpr U bswap(T i) {
  return bswap_impl<U>(i, std::make_index_sequence<sizeof(T)>{});
}
 
int main()
{
    printer(1, 2, 3, "abc");
 
    std::vector<int> v;
    push_back_vec(v, 6, 2, 45, 12);
    push_back_vec(v, 1, 2, 9);
    for (int i : v) std::cout << i << ' ';
 
    static_assert(bswap<std::uint16_t>(0x1234u)==0x3412u);
    static_assert(bswap<std::uint64_t>(0x0123456789abcdefULL)==0xefcdab8967452301ULL);
}

Вывод:

123abc
6 2 45 12 1 2 9