Стандартът C++20 е одобрен.

Комитетът по стандартизация на езика C++ на ISO одобри международен стандарт „C++20“. Представените в спецификацията възможности, с изключение на еденични случаи, се поддържат в компилаторите GCC, Clang и Microsoft Visual C++. Поддържащите стандартните библиотеки C++20 са реализирани в рамките на проекта Boost.

В следващите два месеца одобрената спецификация ще бъде в процес на подготовка на документа за публикация, който ще включва редактиране на правописни грешки и типографски неточности. В началото на ноември окончателният вариант на документа ще бъде изпратен в ISO за публикуване под формалното име ISO/IEC 14882:2020. Междувременно, комитетът вече е започнал работа по следващия стандарт C++23 (C++2b) и на предстоящото виртуално заседание ще разгледа възможните нововъведения.

Основни особености C++20 (примери на код):

• Добавени са „концепции“, разширения на шаблоните, позволяващи определяне на набор от изисквания към параметрите на шаблона, които по време на компилация ограничават набора от аргументи, които могат да се приемат като параметри на шаблона. Концепциите могат да се използват за избягване на логически несъответствия между свойствата на типовете данни, използвани в рамките на шаблона, и свойствата на входните параметри на типовете данни.

  template
  concept EqualityComparable = requires(T a, T b) {
  { a == b } -> std::boolean;
  { a != b } -> std::boolean;
  };

• Включени са разширение за работа с модули, които могат да се използват вместо заглавни файлове. Модулите предоставят нов начин за организиране на изходния текст на base на определяне на границите на компонентите, без включването на заглавни файлове чрез „#include“.
• Макрос __VA_OPT__ за адаптивно разкриване на вариативни макроси в зависимост от наличието на токени в вариативния аргумент.
• Поддръжка на оператора „“ за тройно сравнение.
• Поддръжка на инициализатори на елементи по подразбиране за битови полета.
• Възможността за лапда-задържане на изрази „*this“.

  struct int_value {
  int n = 0;
  auto getter_fn() {
  // BAD:
  // return [=]() { return n; };

  // GOOD:
  return [=, *this]() { return n; };
  }
  };

• Достъп до елементи по указател (Pointer-to-member), използвайки указатели на времеви обекти, определени чрез „const &“.
• Оператор delete с деструктор, описан в документа P0722R1.
• На класовете им е разрешено да използват параметри на шаблона без тип.

  struct foo {
  foo() = default;
  constexpr foo(int) {}
  };

  template
  auto get_foo() {
  return f;
  }

  get_foo(); // uses implicit constructor
  get_foo();

• Не запазващи лямбда-изрази с конструктор.
• Допустимост на синтаксиса на шаблоните за лямбда-изрази ("auto f = [<typename T>(std::vector<T> v)").
• Възможност за използване на стрингови литерали в параметрите на шаблона.
• Поддръжка на инициализационен синтаксис в стил C – явно не изброени в списъка, полета се инициализират по подразбиране.

  struct A {
  int x;
  int y;
  int z = 123;
  };

  A a {.x = 1, .z = 2}; // a.x == 1, a.y == 0, a.z == 2

• Поддръжка на празни членове на структури от данни.
• Поддръжка на атрибутите likely и unlikely за информиране на оптимизатора относно вероятността на условната конструкция ("[[likely]] if (random > 0) {").
• Възможност за използване на диапазони за инициализиране на стойности на променливи в цикъла "for"

  for (auto v = std::vector{1, 2, 3}; auto& e : v) {

• Автоматично изчисляване на размера на масива в new ("new double[]{1,2,3}");
• Атрибут "[[no_unique_address]]", при който променливи без данни не заемат място.
• Атомарни указатели (std::atomic<shared_ptr<T>> и std::atomic<weak_ptr<T>>).
• Възможност за извикване на виртуални функции в условни изрази.
• Поддръжка на бързи (immediate) функции, които могат да работят само с константи.

  consteval int sqr(int n) {
  return n * n;
  }

  constexpr int r = sqr(100); // OK
  int x = 100;
  int r2 = sqr(x); // ГРЕШКА: 'x' не може да се използва като константа

• Възможност за прилагане на constexpr с виртуални функции ("constexpr virtual int f() const { return 2; }").
• В стандартната библиотека:
  • Добавена е поддръжка на типа char8_t за UTF-8 стрингове.
  • Добавени са заглавни файлове bit (битови операции) и version.
  • Появила се е възможност за проверка на префикси и суфикси на стрингове (starts_with, ends_with).
  • Добавени са типологии std::remove_cvref, std::unwrap_reference, std::unwrap_decay_ref, std::is_nothrow_convertible и std::type_identity.
  • Добавени са функции std::midpoint, std::lerp, std::bind_front, std::source_location, std::visit, std::is_constant_evaluated и std::assume_aligned.
  • В std::make_shared е добавена поддръжка за масиви.
  • Добавена е функция std::to_array за преобразуване на обекти, подобни на масиви, в std::array.
• По-удобен синтаксис за изброения:

  enum class rgba_color_channel { red, green, blue, alpha };

  std::string_view to_string(rgba_color_channel my_channel) {
  switch (my_channel) {
  using enum rgba_color_channel;
  case red: return "red";
  case green: return "green";
  case blue: return "blue";
  case alpha: return "alpha";
  }
  }

• В индексите е забранено използването на операцията „,“ („a[b,c]“) поради неопределено поведение. Подкрепата за повечето операции с променливи, обявени с ключовата дума volatile, е прекратена, включително забранени са операциите „++“ и „—“ със стандартни типове.
• Намалени са случаите, в които е необходимо да посочите „typename“, за да уведомите за наличието на тип.

Източник: opennet.ru