C++20 standard godkänd

ISO C++ standardiseringskommittén godkänd internationell standard"C ++ 20"De funktioner som presenteras i specifikationen, med undantag för enstaka fall, stöds i kompilatorer GCC, Klang и Microsoft Visual C ++Standardbibliotek som stöder C++20 implementeras inom projektet. Boost.

Under de kommande två månaderna kommer den godkända specifikationen att vara i dokumentförberedelsefasen, där redaktionellt arbete kommer att utföras för att korrigera stavfel och skrivfel. I början av november kommer den resulterande versionen av dokumentet att skickas till ISO för publicering under det formella namnet ISO/IEC 14882:2020. Under tiden har kommittén redan påbörjat arbetet med nästa C++23-standard (C++2b) och kommer att överväga möjliga förbättringar vid sitt nästa virtuella möte. innovationer.

Den huvudsakliga särdrag C ++ 20 (kodexempel):

• "Koncept" har lagts till, malltillägg som låter dig definiera en uppsättning krav för mallparametrar som vid kompileringstid begränsar uppsättningen argument som kan accepteras som mallparametrar. Koncept kan användas för att undvika logiska inkonsekvenser mellan egenskaperna för de datatyper som används i en mall och egenskaperna för datatyperna för inparametrarna.

  mall
  konceptet LikhetJämförbar = kräver(T a, T b) {
  { a == b } -> std::boolean;
  { a != b } -> std::boolean;
  };

• Följande har antagits till sammansättningen: expansionen för att arbeta med moduler, vilka kan användas istället för headerfiler. Moduler ger ett nytt sätt att organisera källkod baserat på definierade komponentgränser, utan att headerfiler behöver inkluderas via "#include".
• Makro __VA_OPT__ för adaptiv expansion av variadiska makron beroende på förekomsten av tokens i det variadiska argumentet.
• Stöd för operatorn "" för trevägsjämförelse.
• Stöd för standardelementinitialiserare för bitfält.
• Möjlighet till lambda-insamling av "*this"-uttryck.

  struktur int_value {
  int n = 0;
  automatisk getter_fn() {
  // DÅLIGT:
  // returnera [=]() { returnera n; };

  // BRA:
  returnera [=, *detta]() { returnera n; };
  }
  };

• Pekare-till-medlem-åtkomst med hjälp av pekare till temporära objekt definierade via uttrycket "const &".
• Delete-operatorn med en destructor som beskrivs i dokumentet P0722R1.
• Klasser tillåts använda mallparametrar utan typ.

  struktur foo {
  foo() = standard;
  constexpr foo(int) {}
  };

  mall
  automatiskt get_foo() {
  returnera f;
  }

  get_foo(); // använder implicit konstruktor
  get_foo ();

• Icke-persistenta lambda-uttryck med konstruktor.
• Tillåtelse för att använda mallsyntax för lambda-uttryck ('auto f = [] (std::vektor v)»).
• Möjlighet att använda strängliteraler i mallparametrar.
• Stöd för initialiseringssyntax i C-stil – fält som inte uttryckligen listas i initialiseringslistan initieras som standard.

  struktur A {
  intx;
  int y;
  heltal z = 123;
  };

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

• Stöd för tomma medlemmar i datastrukturer.
• Stöd för attributen sannolikt och osannolikt för att informera optimeraren om sannolikheten för att en villkorlig konstruktion utlöses ("[[sannolikt]] if (random > 0) {").
• Möjlighet att använda intervall för att initiera variabelvärden i en for-loop

  för (auto v = std::vektor{1, 2, 3}; auto& e: v) {

• Automatisk beräkning av arraystorlek i new ("new double[]{1,2,3}");
• Attributet "[[no_unique_address]]" säkerställer att variabler utan data inte tar upp plats.
• Atompekare (std::atomic > och std::atomic >).
• Möjlighet att anropa virtuella funktioner i villkorliga uttryck.
• Stöd för omedelbara funktioner som bara kan fungera med konstanter.

  konstant int kvadrat(int n) {
  returnera n * n;
  }

  constexpr int r = kvadrat(100); // OK
  int x = 100;
  int r2 = sqr(x); // FEL: 'x' kan inte användas som en konstant

• Möjlighet att använda constexpr med virtuella funktioner ("constexpr virtual int f() const { return 2; }").
• I standardbiblioteket:
  • Lade till stöd för char8_t-typen för UTF-8-strängar.
  • Lade till bit (bitoperationer) och versionsheaderfiler.
  • Det är nu möjligt att kontrollera prefixet och suffixet för strängar (börjar_med, slutar_med).
  • Lade till egenskaperna std::remove_cvref, std::unwrap_reference, std::unwrap_decay_ref, std::is_nothrow_convertible och std::type_identity.
  • Lade till funktionerna std::midpoint, std::lerp, std::bind_front, std::source_location, std::visit, std::is_constant_evaluated och std::assume_aligned.
  • Lade till stöd för arrayer till std::make_shared.
  • Lade till funktionen std::to_array för att konvertera array-liknande objekt till std::array.
• En mer praktisk syntax för uppräkningar:

  enum-klass rgba_color_channel { röd, grön, blå, alfa };

  std::string_view to_string(rgba_color_channel my_channel) {
  byta (min_kanal) {
  använder enum rgba_color_channel;
  gemenrött: returnera "rött";
  gemen grönt: returnera "grönt";
  skiftläge blått: returnera "blå";
  case alpha: returnera "alpha";
  }
  }

• Operatorn "," ("a[b,c]") är inte längre tillåten i index på grund av odefinierat beteende. De flesta operationer på variabler som deklarerats med nyckelordet volatile stöds inte längre, inklusive operatorerna "++" och "—" på standardtyper.
• Minskade antalet situationer där det krävs att "typnamn" anges för att indikera närvaron av en typ.

Källa: opennet.ru