Apa gunanya g ++ -Wreorder?

Opsi g ++ -Wall termasuk -Wreorder. Apa yang dilakukan opsi ini dijelaskan di bawah ini. Tidak jelas bagi saya mengapa seseorang peduli (terutama cukup untuk mengaktifkannya secara default di -Dinding).

-Wreorder (Khusus C ++)
  Peringatkan ketika urutan inisialisasi anggota yang diberikan dalam kode tidak
  cocok dengan urutan di mana mereka harus dieksekusi. Misalnya:

    struct A {
      int i;
      int j;
      A (): j (0), i (1) {}
    };

  Kompiler akan mengatur ulang inisialisasi anggota untuk i dan j menjadi
  cocok dengan perintah deklarasi anggota, memancarkan peringatan untuk itu
  efek. Peringatan ini diaktifkan oleh -Wall.

Mempertimbangkan:

struct A {
    int i;
    int j;
    A() : j(0), i(j) { }
};

Sekarang idiinisialisasi ke beberapa nilai yang tidak diketahui, bukan nol.

Atau, inisialisasi imungkin memiliki beberapa efek samping yang urutannya penting. Misalnya

A(int n) : j(n++), i(n++) { }

Masalahnya adalah seseorang mungkin melihat daftar inisialisasi anggota di konstruktor, dan berpikir bahwa mereka dieksekusi dalam urutan itu (j pertama, lalu saya). Mereka tidak, mereka dieksekusi dalam urutan anggota didefinisikan di kelas.

Misalkan Anda menulis A(): j(0), i(j) {}. Seseorang mungkin membaca itu, dan berpikir bahwa saya berakhir dengan nilai 0. Tidak, karena Anda menginisialisasinya dengan j, yang berisi sampah karena itu sendiri belum diinisialisasi.

Peringatan itu mengingatkan Anda untuk menulis A(): i(j), j(0) {}, yang semoga terlihat jauh lebih mencurigakan.

Jawaban lain telah memberikan beberapa contoh bagus yang membenarkan pilihan untuk peringatan. Saya pikir saya akan memberikan beberapa konteks sejarah. Pencipta C ++, Bjarne Stroustrup, menjelaskan dalam bukunya The C ++ language programming (edisi ke-3, Halaman 259):

Konstruktor anggota dipanggil sebelum tubuh konstruktor kelas yang mengandung itu dijalankan. Konstruktor dipanggil dalam urutan di mana mereka dideklarasikan di kelas daripada urutan di mana mereka muncul dalam daftar penginisialisasi. Untuk menghindari kebingungan, yang terbaik adalah menentukan inisialisasi dalam urutan deklarasi. Penghancur anggota dipanggil dengan urutan terbalik konstruksi.

Ini dapat menggigit Anda jika inisialisasi Anda memiliki efek samping. Mempertimbangkan:

int foo() {
    puts("foo");
    return 1;
}

int bar() {
    puts("bar");
    return 2;
}

struct baz {
    int x, y;
    baz() : y(foo()), x(bar()) {}
};

Di atas akan mencetak "bilah" lalu "foo", meskipun secara intuitif orang akan menganggap bahwa urutan seperti yang tertulis dalam daftar penginisialisasi.

Atau, jika xdan ydari beberapa tipe yang ditentukan pengguna dengan konstruktor, konstruktor itu mungkin juga memiliki efek samping, dengan hasil yang tidak jelas sama.

Itu juga dapat memanifestasikan dirinya ketika penginisialisasi untuk satu anggota referensi anggota lain.

Peringatan ada karena jika Anda baru saja membaca konstruktor, sepertinya jsudah diinisialisasi sebelumnya i. Ini menjadi masalah jika satu digunakan untuk menginisialisasi yang lain, seperti pada

struct A {
  int i;
  int j;
  A(): j (0), i (this->j) { }
};

Ketika Anda hanya melihat konstruktor, ini terlihat aman. Namun pada kenyataannya, jbelum diinisialisasi pada titik di mana ia digunakan untuk menginisialisasi i, sehingga kode tidak akan berfungsi seperti yang diharapkan. Karena itu peringatan.