Одобрен стандарт C++20

Комитет на ISO по стандартизация на езика C++ одобрени международен стандарт "C ++ 20". Възможностите, представени в спецификацията, с изключение на отделни случаи, поддържан в компилатори GCC, Кланг и Microsoft Visual C ++. В рамките на проекта са внедрени стандартни библиотеки, поддържащи C++20 Увеличете.

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

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

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

  шаблон
  концепция EqualityComparable = requires(T a, T b) {
  { a == b } -> std::boolean;
  { a != b } -> std::boolean;
  };

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

  struct int_value {
  int n = 0;
  auto getter_fn() {
  //ЛОШО:
  // връщане [=]() { връщане n; };

  // ДОБРЕ:
  return [=, *this]() { return n; };
  }
  };

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

  struct foo {
  foo() = по подразбиране;
  constexpr foo(int) {}
  };

  шаблон
  auto get_foo() {
  връщане f;
  }

  get_foo(); // използва неявен конструктор
  get_foo ();

• Непостоянни ламбда изрази с конструктор.
• Разрешаване на синтаксис на шаблон за ламбда изрази („auto f = [] (std::вектор v)").
• Възможност за използване на низови литерали в параметрите на шаблона.
• Поддръжка на синтаксис за инициализация в стил C - полетата, които не са изрично изброени в списъка за инициализация, се инициализират по подразбиране.

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

  A a {.x = 1, .z = 2}; // ax == 1, ay == 0, az == 2

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

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

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

  consteval int sqr(int n) {
  връщане n * n;
  }

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

• Възможност за използване на constexpr с виртуални функции (“constexpr virtual int f() const { return 2; }”).
• В стандартната библиотека:
  • Добавена е поддръжка за типа char8_t за UTF-8 низове.
  • Добавен бит за заглавни файлове (битови операции) и версия.
  • Вече е възможно да проверите префикса и суфикса на низовете (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 клас rgba_color_channel {червено, зелено, синьо, алфа};

  std::string_view to_string(rgba_color_channel my_channel) {
  превключвател (my_channel) {
  използване на enum rgba_color_channel;
  case red: връщане на "red";
  case green: връщане на "green";
  case blue: връщане на "синьо";
  случай алфа: върне "алфа";
  }
  }

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

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