ما هي الميزات الجديدة في C++ 17؟

سمات اللغة:

قوالب ورمز عام

• خصم وسيطة القالب لقوالب الفئة

  • مثل الطريقة التي تستخلص بها الدالات وسيطات القالب ، يمكن للمنشئين الآن استنتاج وسيطات القالب الخاصة بالفئة
  • http://wg21.link/p0433r2http://wg21.link/p0620r0http://wg21.link/p0512r0

• template <auto>

  • يمثل قيمة لأي نوع (وسيطة قالب غير نوع).

• إصلاح وسيطات قالب غير الكتابة

• template<template<class...>typename bob> struct foo {}

• (طي + ... + تعبيرات) و المراجعات

• auto x{8}; هو intNAME_

• تحديث usingباستخدام ... والقوائم

امدا

• constexpr lambdas

  • Lambdas هي ضمنيًا إذا كانت مؤهلة

• التقاط *this في lambdas

  • [*this]{ std::cout << could << " be " << useful << '\n'; }

سمات

• [[fallthrough]] ، [[nodiscard]] ، [[maybe_unused]] سمات

• [[attributes]] ON namespaceNAME__S و enum { erator[[s]] }

• usingفي السمات لتجنب الاضطرار إلى تكرار مساحة اسم سمة.

• المترجمون الآن مطلوبون لتجاهل السمات غير القياسية التي لا يتعرفون عليها .

  • سمحت صياغة C++ 14 للمترجمين برفض سمات النطاق غير المعروفة.

تنظيف بناء الجملة

• المتغيرات المضمنة

  • مثل وظائف مضمنة
  • يختار المحول البرمجي حيث يتم إنشاء مثيل المثيل
  • إهمال إعادة تعريف constexpr الثابت ، الآن مضمّن ضمنيًا.

• namespace A::B

• بسيط static_assert(expression); بدون سلسلة

• لا throwما لم throw() ، و throw() هي noexcept(true).

نظافة متعددة العودة والتحكم في التدفق

• الارتباطات المركبة

  • بشكل أساسي ، std::tie من الدرجة الأولى مع autoname__
  • مثال:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • ينشئ متغيرات itو insertedبنوع مستخلص من pairالذي map::insert يعرضه.
  • يعمل مع Tuple/الزوج الذي يحب & std::arrays والهياكل مسطحة نسبيا
  • اسمه في الواقع الارتباطات المنظمة في المعيار

• if (init; condition) و switch (init; condition)

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • يمتد if(decl) إلى الحالات التي يكون فيها declغير قابل للتحويل إلى منطقي.

• التعميم القائم على النطاق للحلقات

  • يظهر أن يكون في الغالب دعمًا للحراس ، أو التكرارات النهائية التي ليست من نفس النوع مثل التكرارات التي تبدأ ، والتي تساعد في إنهاء الحلقات الفارغة وما شابه ذلك.

• إذا constexpr

  • ميزة مطلوبة كثيرًا لتبسيط التعليمات البرمجية العامة تقريبًا.

متفرقات

• حرفي نقطة تعويم ست عشرية

• تخصيص ذاكرة ديناميكية للبيانات المحاذاة بشكل زائد

• نسخة مضمونة

  • أخيرا!
  • ليس في جميع الحالات ، ولكن يميز بناء الجملة حيث كنت "مجرد إنشاء شيء ما" كان يسمى elision ، من "elision حقيقي".

• ترتيب ثابت لتقييم تعبيرات (بعض) مع بعض تعديلات

  • ليس بما في ذلك وسيطات الدالة ، ولكن تقييم وسيطة الوظيفة interleaving محظور الآن
  • يجعل مجموعة من التعليمات البرمجية المعطلة تعمل في الغالب ، و .then على العمل في المستقبل.

• التهيئة المباشرة لقوائم التعداد

• ضمانات التقدم إلى الأمام (FPG) (أيضًا ، FPGs للخوارزميات المتوازية )

  • أعتقد أن هذا يقول "التنفيذ قد لا تعطل المواضيع إلى الأبد"؟

• u8'U', u8'T', u8'F', u8'8' الأحرف الحرفية (السلسلة موجودة بالفعل)

• "noexcept" في نظام الكتابة

• __has_include

  • اختبار ما إذا كان ملف رأس تضمين سيكون خطأ
  • يجعل الهجرة من التجريبية إلى الأمراض المنقولة جنسيا سلس تقريبا

• صفائف إصلاحات تحويل المؤشر

• المنشئات الموروثة إصلاحات في بعض الحالات الزاوية (انظر P0136R0 للحصول على أمثلة من التغييرات السلوك)

• التهيئة الإجمالية مع الميراث .

• std::launder ، اكتب punning ، إلخ

إضافات المكتبة:

أنواع البيانات

• std::variant<Ts...>

  • دائما تقريبا غير فارغ الماضي راجعت؟
  • الموسومة نوع الاتحاد
  • {رهيبة | المفيد}

• std::optional

  • ربما يحمل واحدة من شيء
  • مفيدة يبعث على السخرية

• std::any

  • يحمل واحدة من أي شيء (وهذا قابل للنسخ)

• std::string_view

  • std::string مثل مرجع صفيف أو سلسلة فرعية
  • لا تأخذ string const& مرة أخرى. يمكن أن تجعل تحليل bajillion مرات أسرع.
  • "hello world"sv
  • constexpr char_traits

• std::byte قبالة أكثر مما يمكن مضغه.

  • لا عدد صحيح ولا حرف ، فقط البيانات

استدعاء الاشياء

• std::invoke
  • استدعاء أي callable (مؤشر وظيفة ، وظيفة ، مؤشر عضو) مع بناء جملة واحد. من مفهوم INVOKE القياسي.
• std::apply
  • يأخذ مثل وظيفة و Tuple ، وتفريغ Tuple في المكالمة.

• std::make_from_Tuple ، std::apply المطبقة على بناء الكائنات

• is_invocable ، is_invocable_r ، invoke_result

  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0077r2.html
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0604r0.html
  • يستنكر result_of
  • is_invocable<Foo(Args...), R> هي "يمكنك الاتصال بـ Fooباستخدام Args... والحصول على شيء متوافق مع Rname__" ، حيث R=void هو الإعداد الافتراضي.
  • invoke_result<Foo, Args...> هو std::result_of_t<Foo(Args...)> لكن يبدو أنه أقل إرباكًا؟

نظام الملفات TS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

• [class.directory_iterator] و [class.recursive_directory_iterator]

• [fs.ops.funcs]

• fstreamname__s يمكن فتحها باستخدام pathname__s ، وكذلك مع السلاسل const path::value_type*.

خوارزميات جديدة

• for_each_n

• reducename__

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• تمت إضافته لأغراض الترابط ، مكشوفًا حتى إذا لم تكن تستخدمها مترابطة

خيوط

• std::shared_mutex

  • غير مقيد ، والذي يمكن أن يكون أكثر فاعلية إذا كنت لا تحتاج إليه.

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • يحفظ بعض std::lock الألم عند قفل أكثر من واحد في وقت واحد.

• التوازي TS v1

  • قد تكون الورقة المرتبطة من عام 2014 قديمة
  • إصدارات متوازية من خوارزميات stdوالآليات ذات الصلة

• الأجهزة _ * _ التدخل_الحجم

(أجزاء من) أساسيات المكتبة TS v1 لم يتم تغطيتها أعلاه أو أدناه

• [func.searchers] and [alg.search]
  • خوارزمية البحث والتقنيات

• [pmr]

  • مخصص متعدد الأشكال ، مثل std::function للمخصصين
  • وبعض موارد الذاكرة القياسية للذهاب معها .
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

• std::sample ، أخذ العينات من نطاق؟

تحسينات الحاوية

• try_emplace و insert_or_assign

  • يعطي ضمانات أفضل في بعض الحالات التي يكون فيها نقل/نسخ هامشي سيئًا

• الربط لـ map<> و unordered_map<> و set<> و unordered_set<>

  • نقل العقد بين الحاويات بثمن بخس.
  • دمج حاويات كاملة بثمن بخس.

• non-const .data() لسلسلة.

• غير عضو std::size، std::empty، std::data

  • مثل std::begin/endname__

• الحد الأدنى من الدعم غير الكامل من النوع في الحاويات

• مفهوم التكرار "المفهوم"

• constexprالتكرارات

• emplaceمجموعة الوظائف الآن بإرجاع مرجع إلى الكائن الذي تم إنشاؤه .

يتغير المؤشر الذكي

• unique_ptr<T[]> fixes and other unique_ptr بتعديل.
• weak_from_this وبعضها ثابت للمشاركة من هذا

تحسينات نوع البيانات stdالأخرى:

• {} إنشاء std::Tuple والتحسينات الأخرى
• TriviallyCopyable reference_wrapper ، يمكن أن يكون تعزيز الأداء

متفرقات

• تعتمد مكتبة C++ 17 على C11 بدلاً من C99

• std[0-9]+ المحجوزة لـ المكتبات القياسية المستقبلية

• destroy(_at|_n)، uninitialized_move(_n)، uninitialized_value_construct(_n)، uninitialized_default_construct(_n)

  • رمز الأداة المساعدة موجود بالفعل في معظم تطبيقات stdالمكشوفة
• وظائف الرياضيات الخاصة
  • قد يعجبهم العلماء
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) تقريبًا
• gcdNAME__ و lcmNAME_
• std::uncaught_exceptions
  • مطلوب إذا كنت تريد رمي فقط إذا كانت آمنة من المدمرات
• std::as_const
• std::bool_constant
• مجموعة كاملة من متغيرات قالب _v
• std::void_t<T>
  • مفيدة بشكل مدهش عند كتابة القوالب
• std::owner_less<void>
  • مثل std::less<void> ، لكن بالنسبة للمؤشرات الذكية للفرز بناءً على المحتويات
• std::chrono polish
• std::conjunction، std::disjunction، std::negation يتعرض
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• قواعد noexcept ضمن stdname__
• std :: is_contiguous_layout ، مفيد للتجزئة الفعالة
• std :: to_chars/std :: from_chars ، الأداء العالي ، تحويل الرقم الملحد للغة ؛ أخيرًا طريقة لتسلسل/إلغاء تسلسل التنسيقات البشرية القابلة للقراءة (JSON & co)
• std :: default_order ، direction over std::less. ( يكسر ABI لبعض المترجمين بسبب إزالة الاسم ، تمت إزالته.)

سمات

• مبادلة
• is_aggregate
• has_unique_object_representations

إهمال

• بعض مكتبات C ،
• <codecvt>
• memory_order_consume
• result_of ، تم استبداله بـ invoke_result
• shared_ptr::unique ، إنها ليست آمنة للغاية

Isocpp.org has لديه قائمة مستقلة من التغييرات منذ C++ 14؛ لقد نهب جزئيا.

بطبيعة الحال ، يستمر عمل TS بشكل متوازٍ ، لذلك هناك بعض الخدمات TS غير الناضجة التي يجب أن تنتظر التكرار التالي. الهدف من التكرار التالي هو C++ 20 كما هو مخطط له سابقًا ، وليس C++ 19 كما تشير بعض الشائعات. تم تجنب C++ 1O.

القائمة الأولية مأخوذة من مشاركة reddit هذه و مشاركة reddit ، مع روابط مضافة عبر googling أو من صفحة isocpp.org أعلاه.

تم حذف إدخالات إضافية من SD-6 قائمة اختبار الميزات.

قائمة ميزات clang و قائمة ميزات المكتبة بجانب النهب. لا يبدو هذا موثوقًا به ، لأنه C++ 1z ، وليس C++ 17.

هذه الشرائح لديها بعض الميزات المفقودة في مكان آخر.

بينما لم يتم طلب "ما تمت إزالته" ، فإليك قائمة مختصرة تتضمن بعض الأشياء ((معظمها؟) التي تم إهمالها سابقًا) والتي تمت إزالتها في C++ 17 من C++:

إزالة:

• registerNAME_ ، الكلمة الرئيسية محفوظة للاستخدام في المستقبل
• bool b; ++b;
• trigraphs
  • إذا كنت لا تزال بحاجة إليهم ، فهم الآن جزء من ترميز الملف المصدر ، وليس جزءًا من اللغة
• الأسماء المستعارة لـ ios
• auto_ptr ، <functional> stuff القديمة ، random_shuffle
• المخصصات في std::function

كانت هناك إعادة صياغة. لست متأكدًا مما إذا كان لهذه التأثيرات أي تأثير على الكود ، أو إذا كانت مجرد عمليات تنظيف في المعيار:

الأوراق التي لم يتم دمجها في أعلاه:

• P0505R0 (constexpr chrono)

• P0418R2 (القرص الذري)

• P0512R0 (قرص وسيطة خصم القرص)

• P0490R0 (تعديلات الربط المنظمة)

• P0513R0 (التغييرات إلى std::hash)

• P0502R0 (استثناءات متوازية)

• P0509R1 (تحديث القيود على معالجة الاستثناءات)

• P0012R1 (اجعل مواصفات الاستثناء جزءًا من نظام الكتابة)

• P0510R0 (قيود على المتغيرات)

• P0504R0 (علامات للاختيار/البديل/أي)

• P0497R0 (قرص ptr المشترك)

• P0508R0 (مقابض عقدة الربط المركبة)

• P0521R0 (عدد مرات استخدام المؤشر المشترك وتغييرات فريدة؟)

تغييرات المواصفات:

• استثناء المواصفات ورمي التعبيرات

مرجع آخر:

• أوراق مجمعة حسب السنة ؛ لم يقبل الجميع

• https://isocpp.org/files/papers/p0636r0.html

  • يجب تحديث "التعديلات على الميزات الحالية" هنا.