С++17: новые возможности

Стандарт языка С++17 был принят относительно недавно – в декабре 2017 года. Тем не менее, уже как минимум два компилятора под Linux его поддерживают:

– g++, начиная с версии 7.1; – clang, начиная с версии 5.

Список нововведений со времени предыдущего стандарта C++14 довольно велик. Посмотреть можно, например, Bartek's C++17 features list. В этой заметке остановимся всего на двух чертах, которые оказались полезными и удобными в практическом плане на конкретных примерах.

Автоматическая декомпозиция структур, пар std::pair, кортежей std::tuple

Эта возможность языка называется structured binding:

auto [a, b] = getTwoReturnValues(); 

Почему это удобно? До введения такой возможности в язык приходилось использовать библиотечный вызов std::tie:

int a; 
double b; 
std::tie(a, b) = getTwoReturnValues(); 

Нужно было заранее объявлять переменные, описание было громоздким и т.д. Таким образом, резко упрощается код, читать его легче.

Вот практический пример использования автоматической декомпозиции. При использовании библиотеки Computational Geometric Algotithms Library (CGAL) типичным use case является использование пары итераторов. С использованием structured binding мы достигаем лаконичности и изящества кода:

  for (auto [b, e] = vertices(surface_mesh); b != e; ++b) 
  { 
    auto pt = surface_mesh.point(*b); 
    ... 

Инициализация переменных в теле конструкций if и switch

Речь идёт о конструкции такого вида:

    if (auto val = GetValue(); condition(val)) { 
    } else { 
    } 

Благодаря этой конструкции мы ограничиваем область видимости, т.е. scope переменной val.

Заключение

Мы рассмотрели две новые конструкции последнего стандарта языка C++ – C++17. Благодаря этим конструкциям можно добиться большей лаконичности и безопасности кода.

Возник вопрос? Напишите в комментариях!