C ++ 17 sekarang fitur lengkap, jadi tidak mungkin mengalami perubahan besar. Ratusan proposal diajukan untuk C ++ 17.

Manakah dari fitur tersebut yang ditambahkan ke C ++ di C ++ 17?

Saat menggunakan kompiler C ++ yang mendukung "C ++ 1z", manakah dari fitur-fitur itu yang akan tersedia ketika kompiler memperbarui ke C ++ 17?

Fitur bahasa:

Template dan Kode Generik

• Pengurangan argumen templat untuk templat kelas

  • Seperti cara fungsi menyimpulkan argumen templat, sekarang konstruktor dapat menyimpulkan argumen templat kelas
  • http://wg21.link/p0433r2 http://wg21.link/p0620r0 http://wg21.link/p0512r0

• template <auto>

  • Merupakan nilai dari jenis apa pun (argumen template non-tipe).

• Perbaikan argumen template non-tipe

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

• (Lipat + ... + ekspresi) dan Revisi

• auto x{8}; adalah int

• memodernisasi usingdengan ...dan daftar

Lambda

• lambda constexpr

  • Lambdas secara implisit adalah constexpr jika memenuhi syarat

• Menangkap *thisdalam lambdas

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

Atribut

• [[fallthrough]], [[nodiscard]], [[maybe_unused]]Atribut

• [[attributes]]pada namespaces danenum { erator[[s]] }

• usingdalam atribut untuk menghindari keharusan mengulangi namespace atribut.

• Compiler sekarang diminta untuk mengabaikan atribut non-standar yang tidak mereka kenali .

  • Kata-kata C ++ 14 memungkinkan kompiler untuk menolak atribut cakupan yang tidak diketahui.

Pembersihan sintaksis

• Variabel sebaris

  • Suka fungsi sebaris
  • Compiler memilih di mana instantiated
  • Mengecualikan redeclaration constexpr statis , sekarang inline secara implisit.

• namespace A::B

• Sederhana static_assert(expression);tanpa string

• tidak throwkecualithrow() , dan throw()memang noexcept(true).

Pembersih multi-return dan kontrol aliran yang lebih bersih

• Binding terstruktur

  • Pada dasarnya, kelas satu std::tiedenganauto
  • Contoh:
    • const auto [it, inserted] = map.insert( {"foo", bar} );
    • Membuat variabel itdan inserteddengan tipe deduced dari pairyang map::insertmengembalikan.
  • Bekerja dengan tuple / pair-like & std::arrays dan struct yang relatif datar
  • Sebenarnya bernama binding terstruktur dalam standar

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

  • if (const auto [it, inserted] = map.insert( {"foo", bar} ); inserted)
  • Memperluas if(decl)ke kasus-kasus di mana decltidak konversi-to-bool masuk akal.

• Generalisasi berbasis rentang untuk loop

  • Tampaknya sebagian besar mendukung sentinel, atau mengakhiri iterator yang bukan tipe yang sama dengan iterator awalan, yang membantu dengan loop yang diakhiri null dan sejenisnya.

• jika constexpr

  • Banyak fitur yang diminta untuk menyederhanakan kode yang hampir umum.

Lain-lain

• Literal float point heksadesimal

• Alokasi memori dinamis untuk data yang terlalu selaras

• Salinan salinan dijamin

  • Akhirnya!
  • Tidak dalam semua kasus, tetapi bedakan sintaksis di mana Anda "hanya menciptakan sesuatu" yang disebut elision, dari "elision asli".

• Memperbaiki urutan evaluasi untuk (beberapa) ekspresi dengan beberapa modifikasi

  • Tidak termasuk argumen fungsi, tetapi evaluasi argumen fungsi interleaving sekarang dilarang
  • Membuat banyak kode rusak sebagian besar, dan membuat .thenpekerjaan di masa depan

• Daftar langsung-inisialisasi enum

• Maju jaminan kemajuan (FPG) (juga, FPG untuk algoritma paralel )

  • Saya pikir ini mengatakan "implementasi mungkin tidak menghentikan utas selamanya"?

• u8'U', u8'T', u8'F', u8'8' literal karakter (string sudah ada)

• "noexcept" dalam sistem tipe

• __has_include

  • Uji apakah file header menyertakan kesalahan
  • membuat migrasi dari percobaan ke std hampir mulus

• Array perbaikan konversi pointer

• perbaikan konstruktor bawaan untuk beberapa kasus sudut (lihat P0136R0 untuk contoh perubahan perilaku)

• inisialisasi agregat dengan warisan .

• std::launder, ketik punning, dll

Tambahan perpustakaan:

Tipe data

• std::variant<Ts...>

  • Hampir-selalu tidak kosong terakhir saya periksa?
  • Jenis gabungan yang ditandai
  • {mengagumkan | bermanfaat}

• std::optional

  • Mungkin memegang salah satu dari sesuatu
  • Sangat berguna

• std::any

  • Memegang salah satu dari segalanya (yang dapat disalin)

• std::string_view

  • std::string seperti referensi ke karakter array atau substring
  • Jangan pernah minum string const&lagi. Juga dapat membuat parsing bajillion kali lebih cepat.
  • "hello world"sv
  • constexpr char_traits

• std::byte lebih dari yang mereka bisa mengunyah.

  • Bukan bilangan bulat atau karakter, hanya data

Meminta hal-hal

• std::invoke
  • Panggil semua callable (fungsi pointer, fungsi, anggota pointer) dengan satu sintaks. Dari konsep INVOKE standar.
• std::apply
  • Mengambil fungsi-seperti dan tuple, dan membongkar tuple ke dalam panggilan.

• std::make_from_tuple, std::applyditerapkan pada konstruksi objek

• 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
  • Jelek result_of
  • is_invocable<Foo(Args...), R>adalah "dapat Anda menelepon Foodengan Args...dan mendapatkan sesuatu yang kompatibel dengan R", di manaR=void adalah default.
  • invoke_result<Foo, Args...>adalah std::result_of_t<Foo(Args...)>tetapi tampaknya kurang membingungkan?

Sistem File TS v1

• [class.path]

• [class.filesystem.error]

• [class.file_status]

• [class.directory_entry]

• [class.directory_iterator] dan [class.recursive_directory_iterator]

• [fs.ops.funcs]

• fstreams dapat dibuka dengan paths, serta dengan const path::value_type*string.

Algoritma baru

• for_each_n

• reduce

• transform_reduce

• exclusive_scan

• inclusive_scan

• transform_exclusive_scan

• transform_inclusive_scan

• Ditambahkan untuk tujuan threading, terbuka bahkan jika Anda tidak menggunakannya

Threading

• std::shared_mutex

  • Tanpa batas waktu, yang bisa lebih efisien jika Anda tidak membutuhkannya.

• atomic<T>::is_always_lockfree

• scoped_lock<Mutexes...>

  • Menghemat std::lockrasa sakit saat mengunci lebih dari satu mutex pada suatu waktu.

• Paralelisme TS v1

  • Makalah tertaut dari 2014, mungkin kedaluwarsa
  • stdAlgoritma versi paralel , dan mesin terkait

• perangkat keras _ * _ gangguan_ukuran

(bagian) Dasar-Dasar Perpustakaan TS v1 tidak tercakup di atas atau di bawah

• [func.searchers] dan [alg.search]
  • Algoritma dan teknik pencarian

• [pmr]

  • Pengalokasi polimorfik, seperti std::functionuntuk pengalokasi
  • Dan beberapa sumber daya memori standar untuk digunakan .
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html

• std::sample, mengambil sampel dari suatu rentang?

Perbaikan Kontainer

• try_emplace dan insert_or_assign

  • memberikan jaminan yang lebih baik dalam beberapa kasus di mana kepalsuan / salinan palsu akan buruk

• Penyambungan untuk map<>, unordered_map<>, set<>, danunordered_set<>

  • Pindahkan node antar wadah dengan harga murah.
  • Gabungkan seluruh wadah dengan harga murah.

• non-const .data()untuk string.

• non-anggota std::size, std::empty,std::data

  • seperti std::begin/end

• Dukungan jenis minimal tidak lengkap dalam wadah

• "Konsep" iterator yang berdekatan

• constexpr iterator

• The emplacekeluarga fungsi sekarang mengembalikan referensi ke objek dibuat .

Penunjuk pintar berubah

• unique_ptr<T[]>perbaikan dan unique_ptrtweak lainnya .
• weak_from_this dan beberapa diperbaiki untuk dibagikan dari ini

stdPeningkatan tipe data lainnya :

• {}pembangunan std::tupledan perbaikan lainnya
• Reference_wrapper TriviallyCopyable , dapat meningkatkan kinerja

Lain-lain

• Pustaka C ++ 17 didasarkan pada C11 dan bukan C99

• Dicadangkan std[0-9]+untuk perpustakaan standar masa depan

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

  • kode utilitas sudah di sebagian besar stdimplementasi terbuka
• Fungsi matematika khusus
  • para ilmuwan mungkin menyukainya
• std::clamp()
  • std::clamp( a, b, c ) == std::max( b, std::min( a, c ) ) kurang lebih
• gcd dan lcm
• std::uncaught_exceptions
  • Wajib jika Anda hanya ingin membuang jika aman dari destruktor
• std::as_const
• std::bool_constant
• Sejumlah _vvariabel template
• std::void_t<T>
  • Sangat berguna saat menulis template
• std::owner_less<void>
  • suka std::less<void>, tetapi untuk pointer pintar untuk mengurutkan berdasarkan konten
• std::chrono Polandia
• std::conjunction, std::disjunction,std::negation Terkena
• std::not_fn
  • http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0358r1.html
• Aturan untuk noexcept di dalam std
• std :: is_contiguous_layout , berguna untuk hashing yang efisien
• std :: to_chars / std :: from_chars , kinerja tinggi, konversi nomor agnostik lokal; akhirnya cara untuk membuat serial / deserialize ke format yang dapat dibaca manusia (JSON & co)
• std :: default_order , tipuan berakhir std::less. ( istirahat ABI dari beberapa kompiler karena nama mangling, dihapus.)

Sifat

• menukar
• is_aggregate
• has_unique_object_representations

Usang

• Beberapa perpustakaan C ,
• <codecvt>
• memory_order_consume
• result_of, digantikan dengan invoke_result
• shared_ptr::unique, itu tidak terlalu threadsafe

Isocpp.org memiliki daftar perubahan independen sejak C ++ 14; sebagian telah dijarah.

Secara alami pekerjaan TS berlanjut secara paralel, jadi ada beberapa TS yang tidak cukup matang yang harus menunggu iterasi berikutnya. Target untuk iterasi berikutnya adalah C ++ 20 seperti yang direncanakan sebelumnya, bukan C ++ 19 karena beberapa rumor tersirat. C ++ 1O telah dihindari.

Daftar awal diambil dari posting reddit ini dan posting reddit ini , dengan tautan yang ditambahkan melalui googling atau dari halaman isocpp.org di atas.

Entri tambahan dijarah dari daftar uji fitur SD-6 .

Daftar fitur dentang dan daftar fitur pustaka selanjutnya dijarah. Ini tampaknya tidak dapat diandalkan, karena C ++ 1z, bukan C ++ 17.

slide ini memiliki beberapa fitur yang hilang di tempat lain.

Sementara "apa yang dihapus" tidak ditanyakan, berikut adalah daftar singkat beberapa hal ((kebanyakan?) Yang sudah usang sebelumnya yang dihapus dalam C ++ 17 dari C ++:

Dihapus:

• register, kata kunci dicadangkan untuk penggunaan di masa mendatang
• bool b; ++b;
• trigraph
  • jika Anda masih membutuhkannya, mereka sekarang menjadi bagian dari penyandian file sumber Anda, bukan bagian dari bahasa
• ios alias
• auto_ptr, <functional>barang lama ,random_shuffle
• pengalokasi di std::function

Ada rewordings. Saya tidak yakin apakah ini berdampak pada kode, atau apakah itu hanya pembersihan dalam standar:

Makalah belum terintegrasi ke dalam:

• P0505R0 (constexpr chrono)

• P0418R2 (tweak atom)

• P0512R0 (pengurangan templat argumen argumen)

• P0490R0 (tweak mengikat terstruktur)

• P0513R0 (perubahan ke std::hash)

• P0502R0 (pengecualian paralel)

• P0509R1 (memperbarui pembatasan penanganan pengecualian)

• P0012R1 (jadikan spesifikasi pengecualian sebagai bagian dari sistem tipe)

• P0510R0 (pembatasan varian)

• P0504R0 (tag untuk opsional / varian / apa saja)

• P0497R0 (berbagi ptr tweak)

• P0508R0 (gagang simpul binding terstruktur)

• P0521R0 (pointer menggunakan hitungan count dan perubahan unik?)

Perubahan spesifikasi:

• spesifikasi pengecualian dan ekspresi lemparan

Referensi lebih lanjut:

• makalah yang dikelompokkan berdasarkan tahun; tidak semua diterima

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

  • Harus diperbarui ke "Modifikasi ke fitur yang ada" di sini.