ตอนนี้ C ++ 17 เสร็จสมบูรณ์แล้วดังนั้นจึงไม่น่าจะมีการเปลี่ยนแปลงครั้งใหญ่ มีการเสนอข้อเสนอหลายร้อยรายการสำหรับ C ++ 17

คุณลักษณะใดบ้างที่ถูกเพิ่มลงใน C ++ ใน C ++ 17

เมื่อใช้คอมไพเลอร์ C ++ ที่รองรับ "C ++ 1z" ฟีเจอร์ใดบ้างที่จะใช้งานได้เมื่อคอมไพเลอร์อัพเดตเป็น C ++ 17?

คุณสมบัติภาษา:

เทมเพลตและรหัสทั่วไป

• การลดอาร์กิวเมนต์เทมเพลตสำหรับเทมเพลตคลาส

  • เช่นเดียวกับวิธีที่ฟังก์ชั่นอนุมานแม่แบบข้อโต้แย้งตอนนี้ตัวสร้างสามารถสรุปข้อโต้แย้งแม่แบบของชั้นเรียน
  • http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

• template <auto>

  • แสดงให้เห็นถึงค่าของชนิดใด ๆ (ไม่ใช่แม่แบบอาร์กิวเมนต์ประเภท)

• แก้ไขข้อขัดแย้งแม่แบบที่ไม่ใช่ประเภท

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

• (การพับ + ... + นิพจน์)และการแก้ไข

• auto x{8}; เป็น int

• การทำให้ทันสมัยusingด้วย...และรายการ

แลมบ์ดา

• ลูกแกะ

  • Lambdas นั้นเป็นตัวเชื่อมโดยปริยายถ้ามันมีคุณสมบัติ

• การจับภาพ*thislambdas

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

คุณลักษณะ

• [[fallthrough]], [[nodiscard]], [[maybe_unused]]แอตทริบิวต์

• [[attributes]]ในnamespaces และenum { erator[[s]] }

• usingในแอตทริบิวต์เพื่อหลีกเลี่ยงการซ้ำ namespace คุณลักษณะ

• คอมไพเลอร์อยู่ในขณะนี้จำเป็นที่จะไม่สนใจคุณลักษณะที่ไม่ได้มาตรฐานพวกเขาไม่รู้จัก

  • ถ้อยคำ C ++ 14 อนุญาตให้คอมไพเลอร์ปฏิเสธคุณสมบัติที่ไม่ทราบขอบเขต

การล้างข้อมูลไวยากรณ์

• ตัวแปรอินไลน์

  • เช่นเดียวกับฟังก์ชั่นแบบอินไลน์
  • คอมไพเลอร์เลือกโดยที่อินสแตนซ์ถูกสร้างอินสแตนซ์
  • เลิกใช้การประกาศคงที่ constexpr แบบคงที่ตอนนี้แบบอินไลน์โดยปริยาย

• namespace A::B

• เรียบง่ายstatic_assert(expression);ไม่มีสตริง

• ไม่throwเว้นแต่throw()และเป็นthrow()noexcept(true)

การควบคุมการไหลย้อนกลับและการไหลที่สะอาดกว่า

• การผูกโครงสร้าง

  • โดยทั่วไปชั้นแรกstd::tieด้วยauto
  • ตัวอย่าง:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • สร้างตัวแปรitและinsertedชนิดที่อนุมานได้จากpairที่map::insertผลตอบแทน
  • ทำงานร่วมกับ tuple / pair-like & std::arrays และ structs ที่ค่อนข้างแบน
  • ชื่อจริงผูกโครงสร้างในมาตรฐาน

• if (init; condition) และ switch (init; condition)

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • ขยายขอบเขตif(decl)ไปยังกรณีที่declไม่สามารถแปลงได้เป็นแบบบูลอย่างสมเหตุสมผล

• การสรุปช่วงตามลูป

  • ดูเหมือนว่าส่วนใหญ่จะสนับสนุนผู้รักษาการณ์หรือสิ้นสุดตัววนซ้ำที่ไม่ใช่ประเภทเดียวกันกับเริ่มตัววนซ้ำซึ่งช่วยด้วยลูปที่สิ้นสุดด้วย null และไม่ชอบ

• ถ้า constexpr

  • คุณลักษณะที่ร้องขอจำนวนมากเพื่อทำให้รหัสเกือบทั่วไปง่ายขึ้น

อื่น ๆ

• เลขฐานสิบหกลอยตามตัวอักษร

• การจัดสรรหน่วยความจำแบบไดนามิกสำหรับข้อมูลที่จัดชิด

• รับประกันการคัดลอกข้อมูล

  • ที่สุด!
  • ไม่ใช่ในทุกกรณี แต่แยกไวยากรณ์ที่คุณเป็น "เพิ่งสร้างบางสิ่ง" ที่เรียกว่า elision จาก "elision ของแท้"

• แก้ไขลำดับของการประเมินผลสำหรับนิพจน์ (บางส่วน)พร้อมการแก้ไขบางอย่าง

  • ไม่รวมถึงอาร์กิวเมนต์ของฟังก์ชัน แต่การประเมินอาร์กิวเมนต์ของฟังก์ชัน interleaving ถูกแบนในขณะนี้
  • ทำให้โค้ดที่ใช้งานไม่ได้เป็นส่วนใหญ่และใช้.thenในการทำงานในอนาคต

• การเริ่มต้นรายการโดยตรงของ enums

• ส่งต่อความคืบหน้ารับประกัน (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
  • deprecates result_of
  • is_invocable<Foo(Args...), R>คือ "คุณสามารถโทรหาFooด้วยArgs...และได้รับบางสิ่งบางอย่างเข้ากันได้กับR" ซึ่ง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]

• fstreams สามารถเปิดได้ด้วยpaths เช่นเดียวกับconst path::value_type*สตริง

อัลกอริทึมใหม่

• for_each_n

• reduce

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• เพิ่มเพื่อวัตถุประสงค์ในการเธรดโดยเปิดเผยแม้ว่าคุณจะไม่ได้ใช้เธรดก็ตาม

Threading

• std::shared_mutex

  • untimed ซึ่งอาจมีประสิทธิภาพมากกว่าถ้าคุณไม่ต้องการ

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • บันทึกstd::lockความเจ็บปวดบางอย่างเมื่อล็อค mutex มากกว่าหนึ่งครั้ง

• Parallelism TS v1

  • กระดาษที่เชื่อมโยงจาก 2014 อาจล้าสมัย
  • stdอัลกอริทึมรุ่นขนานและเครื่องจักรที่เกี่ยวข้อง

• ฮาร์ดแวร์ _ * _ interference_size

(บางส่วน) ความรู้พื้นฐานของห้องสมุด TS v1ไม่ครอบคลุมด้านบนหรือด้านล่าง

• [func.searchers] และ [alg.search]
  • อัลกอริทึมและเทคนิคการค้นหา

• [pmr]

  • Polymorphic allocator เช่น 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<>

  • ย้ายโหนดระหว่างคอนเทนเนอร์อย่างถูก
  • รวมภาชนะทั้งหมดอย่างถูก

• ไม่ใช่ const .data()สำหรับสตริง

• ไม่เคยเป็นสมาชิกstd::size, std::empty,std::data

  • ชอบstd::begin/end

• การสนับสนุนประเภทที่ไม่สมบูรณ์น้อยที่สุดในภาชนะบรรจุ

• "แนวคิด" iterator ที่ต่อเนื่องกัน

• constexpr iterators

• emplaceครอบครัวของฟังก์ชั่นในขณะนี้ผลตอบแทนอ้างอิงกับวัตถุที่สร้างขึ้น

การเปลี่ยนแปลงตัวชี้อัจฉริยะ

• unique_ptr<T[]>แก้ไขและunique_ptrปรับแต่งอื่น ๆ
• weak_from_this และบางคนได้รับการแก้ไขจากการแบ่งปัน

stdการปรับปรุงประเภทข้อมูลอื่น ๆ:

• {}การก่อสร้างstd::tupleและการปรับปรุงอื่น ๆ
• TrivialCopyable 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 ) ) ลวก
• gcd และ lcm
• std::uncaught_exceptions
  • จำเป็นถ้าคุณต้องการที่จะโยนถ้าปลอดภัยจาก destructors
• std::as_const
• std::bool_constant
• ทั้งกลุ่มของ_vตัวแปรแม่แบบ
• std::void_t<T>
  • มีประโยชน์อย่างน่าประหลาดใจเมื่อเขียนเทมเพลต
• std::owner_less<void>
  • กดไลค์std::less<void>แต่สำหรับพอยน์เตอร์อัจฉริยะเพื่อจัดเรียงตามเนื้อหา
• std::chrono ขัด
• std::conjunction, std::disjunction,std::negationสัมผัส
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• กฎสำหรับการยกเว้นภายใน std
• std :: is_contiguous_layoutมีประโยชน์สำหรับการแฮ็กที่มีประสิทธิภาพ
• std :: to_chars / std :: from_chars , ประสิทธิภาพสูง, การแปลงจำนวนผู้ไม่เชื่อเรื่องพระเจ้า; ในที่สุดวิธีที่จะทำให้เป็นอันดับ / ดีซีเรียลไลซ์เป็นรูปแบบที่มนุษย์อ่านได้ (JSON & co)
• มาตรฐาน :: default_order , std::lessร้ายกว่า (แบ่ง ABI ของคอมไพเลอร์บางตัวเนื่องจากชื่อ mangling ถูกลบออก)

ลักษณะ

• แลกเปลี่ยน
• is_aggregate
• has_unique_object_representations

เลิก

• บางห้องสมุด C ,
• <codecvt>
• memory_order_consume
• result_ofแทนที่ด้วย invoke_result
• shared_ptr::uniqueมันไม่ปลอดภัยมากนัก

Isocpp.org มีรายการการเปลี่ยนแปลงที่เป็นอิสระตั้งแต่ 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 ++:

ลบ:

• registerคำหลักที่สงวนไว้สำหรับใช้ในอนาคต
• bool b; ++b;
• trigraphs
  • หากคุณยังต้องการพวกเขาตอนนี้พวกเขาเป็นส่วนหนึ่งของการเข้ารหัสไฟล์ต้นฉบับไม่ใช่ส่วนหนึ่งของภาษา
• ios aliases
• auto_ptr <functional>สิ่งเก่า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

  • ควรอัปเดตเป็น "การปรับเปลี่ยนคุณสมบัติที่มีอยู่" ที่นี่