Perubahan apa yang diperkenalkan pada C ++ 11?

Saya tahu bahwa setidaknya salah satu perubahan dalam C ++ 11 yang akan menyebabkan beberapa kode lama berhenti dikompilasi: pengenalan explicit operator bool()di perpustakaan standar, menggantikan contoh lama dari operator void*(). Memang, kode yang akan dipecah ini mungkin kode yang seharusnya tidak valid di tempat pertama, tetapi tetap saja merupakan perubahan besar: program yang dulu valid tidak lagi.

Apakah ada perubahan melanggar lainnya?

FDIS memiliki bagian untuk ketidakcocokan, pada lampiran C.2"C ++ dan ISO C ++ 2003".

Ringkasan, memparafrasekan FDIS di sini, untuk membuatnya (lebih baik) cocok sebagai jawaban SO. Saya menambahkan beberapa contoh saya sendiri untuk menggambarkan perbedaan.

Ada beberapa ketidakcocokan yang berhubungan dengan perpustakaan di mana saya tidak tahu persis implikasinya, jadi saya meninggalkannya untuk diuraikan oleh orang lain.

Bahasa inti

#define u8 "abc"
const char *s = u8"def"; // Previously "abcdef", now "def"

#define _x "there"
"hello"_x // now a user-defined-string-literal. Previously, expanded _x .

Kata kunci baru: alignas, alignof, char16_t, char32_t, constexpr, decltype, noexcept, nullptr, static_assert, dan thread_local

Literer integer tertentu yang lebih besar dari yang dapat diwakili oleh long dapat berubah dari tipe integer yang tidak ditandatangani menjadi lama yang ditandatangani.

Kode C ++ 2003 yang valid yang menggunakan pembulatan bilangan bulat bulat hasilnya ke 0 atau ke arah infinity negatif, sedangkan C ++ 0x selalu membulatkan hasilnya ke 0.

(diakui bukan masalah kompatibilitas bagi kebanyakan orang).

Kode C ++ 2003 yang valid yang menggunakan kata kunci autosebagai specifier kelas penyimpanan mungkin tidak valid dalam C ++ 0x.

Konversi yang sempit menyebabkan ketidakcocokan dengan C ++ 03. Misalnya, kode berikut ini valid dalam C ++ 2003 tetapi tidak valid dalam Standar Internasional ini karena double to int adalah konversi yang menyempit:

int x[] = { 2.0 };

Fungsi anggota khusus yang dideklarasikan secara implisit didefinisikan sebagai dihapus ketika definisi implisit akan telah dibentuk dengan buruk.

Program C ++ 2003 yang valid yang menggunakan salah satu fungsi anggota khusus ini dalam konteks di mana definisi tidak diperlukan (misalnya, dalam ekspresi yang tidak berpotensi dievaluasi) menjadi salah bentuk.

Contoh oleh saya:

struct A { private: A(); };
struct B : A { };
int main() { sizeof B(); /* valid in C++03, invalid in C++0x */ }

Trik sizeof seperti itu telah digunakan oleh beberapa SFINAE, dan perlu diubah sekarang :)

Destroyer yang dideklarasikan pengguna memiliki spesifikasi pengecualian implisit.

Contoh oleh saya:

struct A {
  ~A() { throw "foo"; }
};

int main() { try { A a; } catch(...) { } }

Kode ini memanggil terminateC ++ 0x, tetapi tidak di C ++ 03. Karena spesifikasi pengecualian implisit A::~Adalam C ++ 0x adalah noexcept(true).

Deklarasi C ++ 2003 yang valid yang berisi exportsalah bentuk dalam C ++ 0x.

Ekspresi C ++ 2003 yang valid berisi >diikuti segera oleh yang lain >sekarang dapat dianggap sebagai penutupan dua templat.

Dalam C ++ 03, >>akan selalu menjadi token operator-shift.

Izinkan panggilan fungsi yang bergantung dengan tautan internal.

Contoh oleh saya:

static void f(int) { }
void f(long) { }

template<typename T>
void g(T t) { f(t); }

int main() { g(0); }

Di C ++ 03, ini panggilan f(long), tetapi di C ++ 0x, ini panggilan f(int). Perlu dicatat bahwa di C ++ 03 dan C ++ 0x, panggilan berikut f(B)(konteks instantiasi masih hanya mempertimbangkan deklarasi linkage eksternal).

struct B { };
struct A : B { };

template<typename T>
void g(T t) { f(t); }

static void f(A) { }
void f(B) { }

int main() { A a; g(a); }

Pencocokan yang lebih baik f(A)tidak diambil, karena tidak memiliki tautan eksternal.

Perubahan perpustakaan

Kode C ++ 2003 yang valid yang menggunakan pengidentifikasi apa pun yang ditambahkan ke pustaka standar C ++ dari C ++ 0x mungkin gagal untuk mengkompilasi atau menghasilkan hasil yang berbeda dalam Standar Internasional ini.

Kode C ++ 2003 yang valid yang #includestajuk dengan nama header pustaka standar C ++ 0x yang baru mungkin tidak valid dalam Standar Internasional ini.

Kode C ++ 2003 yang valid yang telah dikompilasi mengharapkan swap menjadi <algorithm>mungkin harus dimasukkan<utility>

Ruang nama global posixsekarang dicadangkan untuk standardisasi.

Hari C ++ 2003 kode yang mendefinisikan override, final, carries_dependency, atau noreturnsebagai macro tidak valid di C ++ 0x.

Arti kata kunci otomatis berubah.

Melanggar perubahan?

Nah, untuk satu hal, jika Anda menggunakan decltype, constexpr, nullptr, dll sebagai pengidentifikasi maka Anda mungkin berada dalam kesulitan ...

Beberapa ketidakcocokan inti yang tidak tercakup oleh bagian ketidakcocokan:

C ++ 0x memperlakukan nama kelas yang disuntikkan sebagai templat, jika nama dilewatkan sebagai argumen ke parameter templat templat, dan sebagai jenis jika dilewatkan ke parameter jenis templat.

Kode C ++ 03 yang valid dapat berperilaku berbeda jika bergantung pada nama kelas yang disuntikkan untuk selalu menjadi tipe dalam skenario ini. Contoh kode diambil dari PR dentang saya

template<template<typename> class X>
struct M { };

template<template<typename> class X>
void g(int = 0); // #1

template<typename T>
void g(long = 0); // #2

template<typename T>
struct A {
  void f() {
    g<A>(); /* is ambiguous in C++0x */
    g<A>(1); /* should choose #1 in C++0x */
  }
};

void h() {
  A<int> a;
  a.f();
}

Dalam C ++ 03, kode memanggil yang kedua gkali.

C ++ 0x membuat beberapa nama yang bergantung pada C ++ 03 menjadi sekarang tidak tergantung. Dan memerlukan pencarian nama untuk nama-nama terkualifikasi yang tidak bergantung yang merujuk kepada anggota templat kelas saat ini untuk diulangi saat instantiasi, dan memerlukan verifikasi bahwa nama-nama ini mencari dengan cara yang sama seperti yang dilakukan pada konteks definisi templat.

Kode C ++ 03 yang valid yang bergantung pada aturan dominasi sekarang tidak dapat dikompilasi lagi karena perubahan ini.

Contoh:

struct B { void f(); };

template<typename T>
struct A : virtual B { void f(); };

template<typename T>
struct C : virtual B, A<T> {
  void g() { this->f(); }
};

int main() { C<int> c; c.g(); }

Kode C ++ 03 ini valid yang memanggil A<int>::ftidak valid dalam C ++ 0x, karena pencarian nama ketika instantiating akan menemukan A<int>::fbertentangan B::f, menyebabkan konflik dengan pencarian definisi-at.

Pada titik ini, tidak jelas apakah itu cacat dalam FDIS. Panitia mengetahui hal ini dan akan mengevaluasi situasinya.

Deklarasi menggunakan di mana bagian terakhir sama dengan pengidentifikasi di bagian terakhir kualifikasi di nama yang memenuhi syarat yang menunjukkan kelas dasar, yang menggunakan deklarasi sekarang nama konstruktor, bukan anggota dengan nama itu.

Contoh:

struct A { protected: int B; };
typedef A B;

struct C : B {
  // inheriting constructor, instead of bringing A::B into scope
  using B::B;
};

int main() { C c; c.B = 0; }

Kode contoh di atas terbentuk dengan baik di C ++ 03, tetapi tidak terbentuk dengan baik di C ++ 0x, karena A::Bmasih tidak dapat diakses di main.

Kegagalan ekstraksi aliran diperlakukan secara berbeda.

Contoh

#include <sstream>
#include <cassert>

int main()
{
   std::stringstream ss;
   ss << '!';
   
   int x = -1;
   
   assert(!(ss >> x)); // C++03 and C++11
   assert(x == -1);    // C++03
   assert(x == 0);     // C++11
}

Ubah proposal

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3246.html#23

Referensi standar

[C++03: 22.2.2.1.2/11]: Hasil dari pemrosesan tahap 2 dapat menjadi salah satunya

• Urutan karakter telah diakumulasikan pada tahap 2 yang dikonversi (sesuai aturan scanf) ke nilai tipe val. Nilai ini disimpan di valdan ios_base::goodbitdisimpan di err.
• Urutan karakter yang terakumulasi pada tahap 2 akan menyebabkan scanfmelaporkan kegagalan input. ios_base::failbitditugaskan untuk err. [ed: Tidak ada yang disimpan val.]

[C++11: 22.4.2.1.2/3]: [..] Nilai numerik yang akan disimpan dapat berupa:

• nol, jika fungsi konversi gagal untuk mengonversi seluruh bidang . ios_base::failbitditugaskan untuk err.
• nilai keterwakilan paling positif, jika bidang mewakili nilai terlalu besar untuk diwakili dalam val. ios_base::failbitditugaskan untuk err.
• nilai keterwakilan paling negatif atau nol untuk tipe bilangan bulat yang tidak ditandatangani, jika bidang mewakili nilai yang terlalu besar untuk diwakili dalam val. ios_base::failbitditugaskan untuk err.
• nilai yang dikonversi, jika tidak.

Nilai numerik yang dihasilkan disimpan di val.

Implementasi

• GCC 4.8 mengeluarkan dengan benar untuk C ++ 11 :

  Pernyataan `x == -1 'gagal

• GCC 4.5-4.8 semua output untuk C ++ 03 berikut ini, yang akan muncul sebagai bug:

  Pernyataan `x == -1 'gagal

• Visual C ++ 2008 Express menampilkan dengan benar untuk C ++ 03:

  Pernyataan gagal: x == 0

• Visual C ++ 2012 Express salah output untuk C ++ 11, yang akan muncul menjadi masalah status implementasi:

  Pernyataan gagal: x == 0

Bagaimana pengenalan operator konversi eksplisit merupakan perubahan besar? Versi lama akan tetap "valid" seperti sebelumnya.

Ya, perubahan dari operator void*() constke explicit operator bool() constakan menjadi perubahan melanggar, tetapi hanya jika digunakan dengan cara yang salah dan keluar dari dirinya sendiri. Kode yang sesuai tidak akan rusak.

Sekarang, perubahan lain yang melanggar adalah pelarangan penyempitan konversi selama inisialisasi agregat :

int a[] = { 1.0 }; // error

Sunting : Hanya pengingat, std::identity<T>akan dihapus dalam C ++ 0x (lihat catatan). Ini adalah struct kenyamanan untuk membuat tipe tergantung. Karena struct benar-benar tidak berbuat banyak, ini harus memperbaikinya:

template<class T>
struct identity{
  typedef T type;
};

Ada banyak perubahan pada pustaka kontainer yang memungkinkan kode lebih efisien tetapi diam-diam memecah kompatibilitas ke belakang untuk beberapa kasus sudut.

Pertimbangkan, misalnya, std::vectorkonstruksi default, C ++ 0x, dan memecah perubahan .

Sudah ada banyak diskusi tentang langkah implisit yang melanggar kompatibilitas

( halaman yang lebih tua dengan diskusi yang relevan )

Jika Anda membaca komentar, pemindahan implisit juga merupakan perubahan besar.

struct x {
   x(int) {}
};

void f(auto x = 3) { }

int main() {
   f();
}

C ++ 03: valid.

C ++ 0x: error: parameter declared 'auto'

Fitur Bahasa

1. Inisialisasi seragam dan umum menggunakan {}
2. mobil
3. Pencegahan penyempitan
4. constexpr
5. Rentang berdasarkan untuk loop
6. nullptr
7. kelas enum
8. static_assert
9. std :: initializer_list
10. Nilai referensi (pindahkan semantik)
11. >>
12. Lambdas
13. Templat variadik
14. Ketik dan templat alias
15. Karakter Unicode
16. tipe integer panjang panjang
17. menyelaraskan dan menyelaraskan
18. menyatakan jenis
19. Literal string mentah
20. POD umum
21. Serikat pekerja umum
22. Kelas lokal sebagai argumen templat
23. Sintaks tipe suffix return
24. [[carries_dependency]] dan [[noreturn]]
25. noexcept specifier
26. operator tidak terkecuali.
27. Fitur C99:
    • tipe integral yang diperluas
    • penggabungan string sempit / lebar
    • _ _ STDC_HOSTED _ _
    • _Pragma (X)
    • makro vararg dan argumen makro kosong
28. _ _ func _ _
29. Ruang nama sebaris
30. Mendelegasikan konstruktor
31. Inisialisasi anggota di dalam kelas
32. default dan hapus
33. Operator konversi eksplisit
34. Literal yang ditentukan pengguna
35. Templat eksternal
36. Argumen templat default untuk templat fungsi
37. Warisan konstruktor
38. timpa dan final
39. Aturan SFINAE yang lebih sederhana dan lebih umum
40. Model memori
41. thread_local

Komponen Perpustakaan Standar

1. initializer_list untuk wadah
2. Pindahkan semantik untuk wadah
3. forward_list
4. Kontainer hash
   • unordered_map
   • unordered_multimap
   • unordered_set
   • unordered_multiset
5. Petunjuk pengelolaan sumber daya
   • unique_ptr
   • shared_ptr
   • lemah_ptr
6. Dukungan konkurensi
   • benang
   • mutex
   • kunci
   • variabel kondisi
7. Dukungan konkurensi tingkat tinggi
   • packaged_thread
   • masa depan
   • janji
   • async
8. tupel
9. regex
10. Angka acak
    • uniform_int_distribution
    • distribusi normal
    • random_engine
    • dll.
11. Nama tipe integer, seperti int16_t, uint32_t, dan int_fast64_t
12. Himpunan
13. Menyalin dan memikirkan kembali pengecualian
14. sistem bermasalah
15. emplace () operasi untuk kontainer
16. fungsi constexpr
17. Penggunaan sistematis fungsi-fungsi noexcept
18. berfungsi dan mengikat
19. String ke konversi nilai numerik
20. Alokasi pengalokasi
21. Ketik ciri
22. Utilitas waktu: durasi dan titik waktu
23. perbandingan
24. quick_exit
25. Lebih banyak algoritma, seperti move (), copy_if (), dan is_sorted ()
26. Pengumpulan sampah ABI
27. atom

Fitur usang

1. Pembuatan copy constructor dan penugasan copy untuk kelas dengan destructor.
2. Tetapkan string literal ke char *.
3. C ++ 98 spesifikasi pengecualian
   • unexcepted_handler
   • set_unexpected
   • get_unexpected
   • tak terduga
4. Fungsi objek dan fungsi terkait
5. auto_ptr
6. daftar
7. ++ pada bool
8. ekspor
9. Gips gaya-C