C++20 സ്റ്റാൻഡേർഡ് അംഗീകരിച്ചു

C++ ഭാഷയുടെ സ്റ്റാൻഡേർഡൈസേഷൻ സംബന്ധിച്ച ISO കമ്മിറ്റി അംഗീകരിച്ചു അന്താരാഷ്ട്ര നിലവാരം "സി ++ 20". സ്പെസിഫിക്കേഷനിൽ അവതരിപ്പിച്ചിരിക്കുന്ന കഴിവുകൾ, ഒറ്റപ്പെട്ട കേസുകൾ ഒഴികെ, പിന്തുണച്ചു കമ്പൈലറുകളിൽ ജിസിസി, ക്ലോംഗ് и Microsoft വിഷ്വൽ സി ++. C++20 പിന്തുണയ്ക്കുന്ന സ്റ്റാൻഡേർഡ് ലൈബ്രറികൾ പ്രോജക്ടിനുള്ളിൽ നടപ്പിലാക്കുന്നു ഉത്തേജിപ്പിക്കുക.

അടുത്ത രണ്ട് മാസത്തിനുള്ളിൽ, അംഗീകൃത സ്പെസിഫിക്കേഷൻ പ്രസിദ്ധീകരണത്തിനായി ഡോക്യുമെന്റ് തയ്യാറാക്കുന്ന ഘട്ടത്തിലായിരിക്കും, അതിൽ അക്ഷരപ്പിശകുകളുടെയും അക്ഷരത്തെറ്റുകളുടെയും എഡിറ്റോറിയൽ തിരുത്തൽ ജോലികൾ നടത്തും. നവംബർ ആദ്യം, തത്ഫലമായുണ്ടാകുന്ന പ്രമാണം ISO/IEC 14882:2020 എന്ന ഔപചാരിക നാമത്തിൽ പ്രസിദ്ധീകരിക്കുന്നതിനായി ISO-ലേക്ക് അയയ്ക്കും. ഇതിനിടയിൽ, കമ്മിറ്റി അടുത്ത C++23 സ്റ്റാൻഡേർഡിന്റെ (C++2b) പ്രവർത്തനം ആരംഭിച്ചുകഴിഞ്ഞു, അതിന്റെ അടുത്ത വെർച്വൽ മീറ്റിംഗിൽ സാധ്യമായ ഓപ്ഷനുകൾ പരിഗണിക്കും. പുതുമകൾ.

പ്രധാന സവിശേഷതകൾ സി ++ 20 (കോഡ് ഉദാഹരണങ്ങൾ):

• ഒരു കൂട്ടം ടെംപ്ലേറ്റ് പാരാമീറ്റർ ആവശ്യകതകൾ നിർവചിക്കാൻ നിങ്ങളെ അനുവദിക്കുന്ന "സങ്കല്പങ്ങൾ", ടെംപ്ലേറ്റ് വിപുലീകരണങ്ങൾ ചേർത്തു, അത് കംപൈൽ സമയത്ത്, ടെംപ്ലേറ്റ് പാരാമീറ്ററുകളായി സ്വീകരിക്കാവുന്ന ആർഗ്യുമെന്റുകളുടെ സെറ്റ് പരിമിതപ്പെടുത്തുന്നു. ടെംപ്ലേറ്റിനുള്ളിൽ ഉപയോഗിക്കുന്ന ഡാറ്റാ തരങ്ങളുടെ ഗുണങ്ങളും ഇൻപുട്ട് പാരാമീറ്ററുകളുടെ ഡാറ്റാ തരം ഗുണങ്ങളും തമ്മിലുള്ള ലോജിക്കൽ പൊരുത്തക്കേടുകൾ ഒഴിവാക്കാൻ ആശയങ്ങൾ ഉപയോഗിക്കാം.

  ടെംപ്ലേറ്റ്
  ആശയ സമത്വം താരതമ്യപ്പെടുത്താവുന്ന = ആവശ്യമാണ് (T a, T b) {
  { a == b } -> std:: boolean;
  { a != b } -> std::boolean;
  };

• സ്വീകരിച്ചു വിപുലീകരണം ഹെഡ്ഡർ ഫയലുകൾക്ക് പകരം ഉപയോഗിക്കാവുന്ന മൊഡ്യൂളുകളിൽ പ്രവർത്തിക്കുന്നതിന്. "#include" വഴി ഹെഡ്ഡർ ഫയലുകൾ ഉൾപ്പെടുത്താതെ, ഘടകങ്ങളുടെ അതിരുകൾ നിർവചിക്കുന്നതിനെ അടിസ്ഥാനമാക്കി സോഴ്സ് കോഡ് ഓർഗനൈസ് ചെയ്യുന്നതിനുള്ള ഒരു പുതിയ മാർഗ്ഗം മൊഡ്യൂളുകൾ നൽകുന്നു.
• മാക്രോ __VA_OPT__ വേരിയബിൾ ആർഗ്യുമെന്റിലെ ടോക്കണുകളുടെ സാന്നിധ്യം അനുസരിച്ച് വേരിയബിൾ മാക്രോകളുടെ അഡാപ്റ്റീവ് വിപുലീകരണത്തിനായി.
• ത്രീ-വേ താരതമ്യത്തിനായി "" ഓപ്പറേറ്റർക്കുള്ള പിന്തുണ.
• ബിറ്റ്ഫീൽഡുകൾക്കുള്ള ഡിഫോൾട്ട് എലമെന്റ് ഇനീഷ്യലൈസറുകൾക്കുള്ള പിന്തുണ.
• ലാംഡ "*ഈ" എക്സ്പ്രഷനുകൾ പിടിച്ചെടുക്കാനുള്ള കഴിവ്.

  struct int_value {
  int n = 0;
  auto getter_fn() {
  //മോശം:
  // മടക്കം [=]() { തിരിച്ച് n; };

  // നല്ലത്:
  മടങ്ങുക [=, *ഇത്]() {തിരേകുക n; };
  }
  };

• "const &" എക്‌സ്‌പ്രഷനിലൂടെ നിർവചിച്ചിരിക്കുന്ന താൽക്കാലിക ഒബ്‌ജക്‌റ്റുകളിലേക്ക് പോയിന്ററുകൾ ഉപയോഗിച്ച് പോയിന്റർ (പോയിന്റർ-ടു-മെമ്പർ) വഴി ഘടകങ്ങളെ വിളിക്കുന്നു.
• ഡോക്യുമെന്റിൽ വിവരിച്ചിരിക്കുന്ന ഡിസ്ട്രക്റ്ററുള്ള ഡിലീറ്റ് ഓപ്പറേറ്റർ P0722R1.
• ഒരു തരമില്ലാതെ ടെംപ്ലേറ്റ് പാരാമീറ്ററുകൾ ഉപയോഗിക്കാൻ ക്ലാസുകളെ അനുവദിച്ചിരിക്കുന്നു.

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

  ടെംപ്ലേറ്റ്
  ഓട്ടോ get_foo() {
  തിരികെ f;
  }

  get_foo(); // ഇംപ്ലിസിറ്റ് കൺസ്ട്രക്റ്റർ ഉപയോഗിക്കുന്നു
  get_foo ();

• കൺസ്ട്രക്‌ടറിനൊപ്പം സ്ഥിരതയില്ലാത്ത ലാംഡ എക്‌സ്‌പ്രഷനുകൾ.
• ലാംഡ എക്സ്പ്രഷനുകൾക്കായി ടെംപ്ലേറ്റ് വാക്യഘടന അനുവദിക്കുന്നു (“ഓട്ടോ എഫ് = [] (std::vector v)").
• ടെംപ്ലേറ്റ് പാരാമീറ്ററുകളിൽ സ്ട്രിംഗ് ലിറ്ററലുകൾ ഉപയോഗിക്കാനുള്ള കഴിവ്.
• സി-സ്റ്റൈൽ ഇനീഷ്യലൈസേഷൻ സിന്റാക്സിനുള്ള പിന്തുണ - ഇനീഷ്യലൈസേഷൻ ലിസ്റ്റിൽ വ്യക്തമായി ലിസ്റ്റുചെയ്തിട്ടില്ലാത്ത ഫീൽഡുകൾ സ്ഥിരസ്ഥിതിയായി ആരംഭിക്കുന്നു.

  ഘടന എ {
  int x;
  int y;
  int z = 123;
  };

  A a {.x = 1, .z = 2}; // കോടാലി == 1, ay == 0, az == 2

• ശൂന്യമായ ഡാറ്റ ഘടന അംഗങ്ങൾക്കുള്ള പിന്തുണ.
• സോപാധിക നിർമ്മാണം പ്രവർത്തനക്ഷമമാകുന്നതിന്റെ സാധ്യതയെക്കുറിച്ച് ഒപ്റ്റിമൈസറിനെ അറിയിക്കാൻ സാധ്യതയുള്ളതും സാധ്യതയില്ലാത്തതുമായ ആട്രിബ്യൂട്ടുകൾക്കുള്ള പിന്തുണ (“[[സാധ്യത]] എങ്കിൽ (റാൻഡം > 0) {“).
• "ഫോർ" ലൂപ്പിൽ വേരിയബിൾ മൂല്യങ്ങൾ സമാരംഭിക്കുന്നതിന് ശ്രേണികൾ ഉപയോഗിക്കാനുള്ള കഴിവ്

  വേണ്ടി (ഓട്ടോ v = std:: വെക്റ്റർ{1, 2, 3}; auto& e : v) {

• പുതിയ (“പുതിയ ഇരട്ട[]{1,2,3}”) എന്നതിലെ അറേ വലുപ്പത്തിന്റെ യാന്ത്രിക കണക്കുകൂട്ടൽ;
• ഡാറ്റ ഇല്ലാത്ത വേരിയബിളുകൾ ഇടം പിടിക്കാത്ത "[[no_unique_address]]" ആട്രിബ്യൂട്ട്.
• ആറ്റോമിക് പോയിന്ററുകൾ (std::atomic > ഒപ്പം std:: ആറ്റോമിക് >).
• സോപാധിക എക്സ്പ്രഷനുകളിൽ വെർച്വൽ ഫംഗ്ഷനുകൾ വിളിക്കാനുള്ള കഴിവ്.
• സ്ഥിരാങ്കങ്ങളിൽ മാത്രം പ്രവർത്തിക്കാൻ കഴിയുന്ന ഉടനടി പ്രവർത്തനങ്ങൾക്കുള്ള പിന്തുണ.

  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; }”).
• സാധാരണ ലൈബ്രറിയിൽ:
  • UTF-8 സ്ട്രിംഗുകൾക്കായി char8_t തരത്തിനുള്ള പിന്തുണ ചേർത്തു.
  • ഹെഡർ ഫയലുകൾ ബിറ്റും (ബിറ്റ് ഓപ്പറേഷനുകൾ) പതിപ്പും ചേർത്തു.
  • സ്ട്രിംഗുകളുടെ പ്രിഫിക്‌സും സഫിക്‌സും പരിശോധിക്കുന്നത് ഇപ്പോൾ സാധ്യമാണ് (ആരംഭിക്കുന്നത്_കൂടെ, അവസാനിക്കുന്നത്_വിത്ത്).
  • std::remove_cvref, std::unwrap_reference, std::unwrap_decay_ref, std::is_nthrow_convertible, std::type_identity traits എന്നിവ ചേർത്തു.
  • std::midpoint, std::lerp, std::bind_front, std::source_location, std::visit, std::is_constant_evaluated, std::assume_aligned എന്നീ പ്രവർത്തനങ്ങൾ ചേർത്തു.
  • std::make_shared എന്നതിലേക്ക് അറേകൾക്കുള്ള പിന്തുണ ചേർത്തു.
  • അറേ പോലുള്ള ഒബ്‌ജക്റ്റുകളെ std::array ആയി പരിവർത്തനം ചെയ്യുന്നതിനായി std::to_array ഫംഗ്‌ഷൻ ചേർത്തു.
• കൂടുതൽ സൗകര്യപ്രദമായ എണ്ണൽ വാക്യഘടന:

  enum ക്ലാസ് rgba_color_channel {ചുവപ്പ്, പച്ച, നീല, ആൽഫ};

  std::string_view to_string(rgba_color_channel my_channel) {
  മാറുക (my_channel) {
  enum rgba_color_channel ഉപയോഗിക്കുന്നു;
  കേസ് ചുവപ്പ്: തിരികെ "ചുവപ്പ്";
  കേസ് പച്ച: തിരികെ "പച്ച";
  കേസ് നീല: തിരികെ "നീല";
  കേസ് ആൽഫ: തിരികെ "ആൽഫ";
  }
  }

• സൂചികകളിൽ, നിർവചിക്കാത്ത സ്വഭാവം കാരണം, "" ("a[b,c]") എന്ന പ്രവർത്തനത്തിന്റെ ഉപയോഗം നിരോധിച്ചിരിക്കുന്നു. സ്റ്റാൻഡേർഡ് തരങ്ങളുള്ള "++", "-" പ്രവർത്തനങ്ങൾ ഉൾപ്പെടെ, അസ്ഥിരമായ കീവേഡ് ഉപയോഗിച്ച് പ്രഖ്യാപിച്ചിരിക്കുന്ന വേരിയബിളുകളുള്ള മിക്ക പ്രവർത്തനങ്ങൾക്കുമുള്ള പിന്തുണ നിർത്തലാക്കി.
• ഒരു തരത്തിന്റെ സാന്നിധ്യം സൂചിപ്പിക്കാൻ "ടൈപ്പനാമം" ആവശ്യമായ സാഹചര്യങ്ങളുടെ എണ്ണം കുറച്ചു.

അവലംബം: opennet.ru