תקן C++20 מאושר

ועדת ISO לתקינה של שפת C++ אושר תקן בינלאומי"C ++ 20". היכולות המוצגות במפרט, למעט מקרים בודדים, נתמכים במהדרים GCC, קלאנג и מיקרוסופט 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__ להרחבה אדפטיבית של פקודות מאקרו משתנות בהתאם לנוכחות של אסימונים בארגומנט המשתנה.
• תמיכה במפעיל "" להשוואה תלת כיוונית.
• תמיכה באתחולי אלמנטים המוגדרים כברירת מחדל עבור שדות סיביות.
• יכולת ללכוד למבדה ביטויים של "*זה".

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

  // טוב:
  return [=, *this]() { return n; };
  }
  };

• קריאה לאלמנטים באמצעות מצביע (מצביע לאיבר), שימוש במצביעים לאובייקטים זמניים המוגדרים באמצעות הביטוי "const &".
• מפעיל המחיקה עם הרס המתואר במסמך P0722R1.
• מחלקות רשאיות להשתמש בפרמטרים של תבנית ללא סוג.

  struct foo {
  foo() = ברירת מחדל;
  constexpr foo(int) {}
  };

  תבנית
  auto get_foo() {
  לחזור f;
  }

  get_foo(); // משתמש בבנאי מרומז
  get_foo ();

• ביטויי למבדה לא קבועים עם בנאי.
• מאפשר תחביר תבנית עבור ביטויי למבדה ("auto f = [] (std::vector v)").
• יכולת להשתמש במילולי מחרוזת בפרמטרים של תבנית.
• תמיכה בתחביר אתחול בסגנון C - שדות שאינם רשומים במפורש ברשימת האתחול מאותחלים כברירת מחדל.

  מבנה A {
  int x;
  int y;
  int z = 123;
  };

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

• תמיכה בחברי מבנה נתונים ריקים.
• תמיכה בתכונות הסבירות והבלתי סבירות כדי ליידע את האופטימיזציה לגבי ההסתברות שהמבנה המותנה יופעל ("[[סביר]] אם (אקראי > 0) {").
• יכולת להשתמש בטווחים כדי לאתחל ערכי משתנים בלולאה "עבור".

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

• חישוב אוטומטי של גודל המערך בחדש ("כפול חדש[]{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 class rgba_color_channel { אדום, ירוק, כחול, אלפא };

  std::string_view to_string(rgba_color_channel my_channel) {
  switch (my_channel) {
  באמצעות enum rgba_color_channel;
  מקרה אדום: החזר "אדום";
  מקרה ירוק: החזר "ירוק";
  מקרה כחול: החזר "כחול";
  מקרה אלפא: החזר "אלפא";
  }
  }

• באינדקסים, עקב התנהגות לא מוגדרת, השימוש בפעולה "," ("a[b,c]") אסור. התמיכה ברוב הפעולות עם משתנים שהוכרזו עם מילת המפתח הפכפכה הופסקה, כולל פעולות "++" ו-"—" עם סוגים סטנדרטיים.
• הפחתת מספר המצבים שבהם נדרש "שם סוג" לציון נוכחות של טיפוס.

מקור: OpenNet.ru