Новый синтаксис объявления переменных, получаемых из составного объекта
1,00
р.
В c++17 появился новый синтаксис объявления переменных вида:
auto [x, y, z] = f()
где f() - функция, возвращающая составной объект (массив, кортеж, структуру и т.п.).
Как называется этот синтаксис и что он делает?
Ответ
Данная конструкция называется Structured binding declaration (Можно перевести как "объявление структурированной привязки") и позволяет объявлять сразу группу переменных (возможно даже разного типа) при наличии инициализирующего выражения. В качестве этого выражения в примере используется функция f.
Рассмотрим несколько примеров использования:
#include #include #include #include
struct S { int i std::string s double d }
S f() { return { 42, "hello", 1.5 } }
std::map g() { return { { 1, "one" }, { 2, "two" }, { 3, "three" } } }
int main() {
auto [i, s, d] = f() std::cout << i << s << d << "<br>"
int a[] = { 5, 6, 7 } auto& [x, y, z] = a std::cout << x << y << z << "<br>" x-- y++ z*=2 std::cout << a[0] << a[1] << a[2] << "<br>"
auto [ss, dd, ii] = std::make_tuple("ololo", 0.5, 100500) std::cout << ss << dd << ii << "<br>"
for (auto [k, v] : g()) { std::cout << "key=" << k << " value=" << v << "<br>" } }
Результат выполнения:
42hello1.5 567 4714 ololo0.5100500 key=1 value=one key=2 value=two key=3 value=three
Можно видеть, что переменные i, s, d проинициализировались значениями соответствующих членов структуры S. Здесь стоит заметить, что важно не совпадение имён, а порядок членов.
При связывании переменных x, y, z с элементами массива a была использована ссылка &. Т.о. последующее изменение переменных затрагивает состояние элементов массива.
Переменные ss, dd, ii инициализированы элементами кортежа. Тут вроде бы всё просто.
Использование в цикле по диапазону позволяет сразу разбивать составной элемент (в данном случае std::pair) на компоненты. Аналогичный цикл в стиле c++11 мог бы выглядеть так:
for (auto e: g()) { std::cout << "key=" << e.first << " value=" << e.second << "<br>" }
Т.о. данная конструкция упрощает написание кода при необходимости доступа к частям составного объекта.
auto [x, y, z] = f()
где f() - функция, возвращающая составной объект (массив, кортеж, структуру и т.п.).
Как называется этот синтаксис и что он делает?
Ответ
Данная конструкция называется Structured binding declaration (Можно перевести как "объявление структурированной привязки") и позволяет объявлять сразу группу переменных (возможно даже разного типа) при наличии инициализирующего выражения. В качестве этого выражения в примере используется функция f.
Рассмотрим несколько примеров использования:
#include #include #include #include
struct S { int i std::string s double d }
S f() { return { 42, "hello", 1.5 } }
std::map g() { return { { 1, "one" }, { 2, "two" }, { 3, "three" } } }
int main() {
auto [i, s, d] = f() std::cout << i << s << d << "<br>"
int a[] = { 5, 6, 7 } auto& [x, y, z] = a std::cout << x << y << z << "<br>" x-- y++ z*=2 std::cout << a[0] << a[1] << a[2] << "<br>"
auto [ss, dd, ii] = std::make_tuple("ololo", 0.5, 100500) std::cout << ss << dd << ii << "<br>"
for (auto [k, v] : g()) { std::cout << "key=" << k << " value=" << v << "<br>" } }
Результат выполнения:
42hello1.5 567 4714 ololo0.5100500 key=1 value=one key=2 value=two key=3 value=three
Можно видеть, что переменные i, s, d проинициализировались значениями соответствующих членов структуры S. Здесь стоит заметить, что важно не совпадение имён, а порядок членов.
При связывании переменных x, y, z с элементами массива a была использована ссылка &. Т.о. последующее изменение переменных затрагивает состояние элементов массива.
Переменные ss, dd, ii инициализированы элементами кортежа. Тут вроде бы всё просто.
Использование в цикле по диапазону позволяет сразу разбивать составной элемент (в данном случае std::pair) на компоненты. Аналогичный цикл в стиле c++11 мог бы выглядеть так:
for (auto e: g()) { std::cout << "key=" << e.first << " value=" << e.second << "<br>" }
Т.о. данная конструкция упрощает написание кода при необходимости доступа к частям составного объекта.
