Складываемые выражения (с C++17)
Сворачивает (складывает) набор параметров с помощью бинарной операции.
Синтаксис
( pack op ... ) | (1) | |
( ... op pack ) | (2) | |
( pack op ... op init ) | (3) | |
( init op ... op pack ) | (4) |
1) Сворачивание справа (унарное).
2) Сворачивание слева (унарное).
3) Сворачивание справа (бинарное).
4) Сворачивание слева (бинарное).
| op | - | любая из следующих 32 бинарных операций: + - * / % ^ & | = < > << >> += -= *= /= %= ^= &= |= <<= >>= == != <= >= && || , .* ->*. В бинарном сворачивании обе op должны быть одинаковыми. |
| pack | - | выражение, содержащее нераспакованный набор параметров и не содержащее оператор с приоритетом ниже приведения типов на верхнем уровне (формально, выражение-приведение-типов) |
| init | - | выражение, не содержащее нераспакованный набор параметров и не содержащее оператор с приоритетом ниже приведения типов на верхнем уровне (формально, выражение-приведение-типов) |
Обратите внимание, что открывающие и закрывающие круглые скобки являются обязательной частью складываемого выражения.
Объяснение
Инициализация складываемого выражения расширяет выражение e следующим образом:
1) Унарное сворачивание справа
(E op ...) становится (E1 op (... op (EN-1 op EN)))
2) Унарное сворачивание слева
(... op E) становится (((E1 op E2) op ...) op EN)
3) Бинарное сворачивание справа
(E op ... op I) становится (E1 op (... op (EN−1 op (EN op I))))
4) Бинарное сворачивание слева
(I op ... op E) становится ((((I op E1) op E2) op ...) op EN)
(где N — количество элементов в расширении набора)
Например,
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Когда унарное сворачивание используется с расширением набора длиной ноль, разрешены только следующие операторы:
1) Логическое И (
&&). Значение для пустого набора — true.
2) Логическое ИЛИ (
||). Значение для пустого набора — false.
3) Оператор запятой (
,). Значение для пустого набора — void().Примечания
Если выражение, используемое в качестве init или pack, имеет оператор с приоритетом ниже приведения типов на верхнем уровне, оно должно быть заключено в скобки:
template<typename... Args>
int sum(Args&&... args)
{
// return (args + ... + 1 * 2); // Error: operator with precedence below cast
return (args + ... + (1 * 2)); // OK
}| Макрос проверки функций | Значение | Std | Функция |
|---|---|---|---|
__cpp_fold_expressions | 201603L | (C++17) | Складываемые выражения |
Пример
#include <climits>
#include <concepts>
#include <cstdint>
#include <iostream>
#include <type_traits>
#include <utility>
#include <vector>
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)), ...);
}
template<class T, std::size_t... dummy_pack>
constexpr T bswap_impl(T i, std::index_sequence<dummy_pack...>)
{
T low_byte_mask = (unsigned char)-1;
T ret{};
([&]
{
(void)dummy_pack;
ret <<= CHAR_BIT;
ret |= i & low_byte_mask;
i >>= CHAR_BIT;
}(), ...);
return ret;
}
constexpr auto bswap(std::unsigned_integral auto i)
{
return bswap_impl(i, std::make_index_sequence<sizeof(i)>{});
}
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 << ' ';
std::cout << '\n';
static_assert(bswap<std::uint16_t>(0x1234u) == 0x3412u);
static_assert(bswap<std::uint64_t>(0x0123456789abcdefull) == 0xefcdab8967452301ULL);
}Вывод:
123abc 6 2 45 12 1 2 9
Ссылки
- Стандарт C++23 (ISO/IEC 14882:2023):
- 7.5.6 Складываемые выражения [expr.prim.fold]
- Стандарт C++20 (ISO/IEC 14882:2020):
- 7.5.6 Складываемые выражения [expr.prim.fold]
- Стандарт C++17 (ISO/IEC 14882:2017):
- 8.1.6 Складываемые выражения [expr.prim.fold]
Отчёты об ошибках
Следующие отчёты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Применён к | Поведение, как опубликовано | Корректное поведение |
|---|---|---|---|
| CWG 2611 | C++17 | результаты расширения складываемых выражений не были заключены в скобки | заключены в скобки |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/language/fold
