C ++ 11 range based loop: dapatkan item dengan nilai atau referensi ke const

Membaca beberapa contoh loop berdasarkan rentang mereka menyarankan dua cara utama ^{1 , 2 , 3 , 4}

std::vector<MyClass> vec;

for (auto &x : vec)
{
  // x is a reference to an item of vec
  // We can change vec's items by changing x 
}

atau

for (auto x : vec)
{
  // Value of x is copied from an item of vec
  // We can not change vec's items by changing x
}

Baik.

Ketika kita tidak perlu mengganti vecitem, IMO, Contoh menyarankan untuk menggunakan versi kedua (berdasarkan nilai). Mengapa mereka tidak menyarankan sesuatu yang constreferensi (Setidaknya saya belum menemukan saran langsung):

for (auto const &x : vec) // <-- see const keyword
{
  // x is a reference to an const item of vec
  // We can not change vec's items by changing x 
}

Bukankah ini lebih baik? Bukankah itu menghindari salinan yang berlebihan di setiap iterasi saat itu const?

Jika Anda tidak ingin mengubah item serta ingin menghindari membuat salinan, maka itu auto const &adalah pilihan yang benar:

for (auto const &x : vec)

Siapa pun yang menyarankan Anda untuk menggunakan auto &itu salah. Abaikan mereka.

Berikut ini rekap:

• Pilih auto xkapan Anda ingin bekerja dengan salinan.
• Pilih auto &xkapan Anda ingin bekerja dengan item asli dan dapat memodifikasinya.
• Pilih auto const &xkapan Anda ingin bekerja dengan item asli dan tidak akan memodifikasinya.

Jika Anda memiliki std::vector<int>atau std::vector<double>, maka tidak apa-apa untuk digunakan auto(dengan salinan nilai) alih-alih const auto&, karena menyalin intatau a doubleadalah murah:

for (auto x : vec)
    ....

Tetapi jika Anda memiliki std::vector<MyClass>, di mana MyClassmemiliki beberapa semantik salinan non-sepele (misalnya std::string, beberapa kelas kustom yang kompleks, dll) maka saya sarankan menggunakan const auto&untuk menghindari deep-copy :

for (const auto & x : vec)
    ....

Ketika kita tidak perlu mengganti vecitem, Contoh menyarankan untuk menggunakan versi pertama.

Lalu mereka memberikan saran yang salah.

Kenapa mereka tidak menyarankan sesuatu yang menjadi acuan para const

Karena mereka memberikan saran yang salah :-) Apa yang Anda sebutkan itu benar. Jika Anda hanya ingin mengamati suatu objek, tidak perlu membuat salinan, dan tidak perlu memiliki non-const referensi untuk itu.

EDIT:

Saya melihat referensi yang Anda tautkan semua memberikan contoh iterasi pada rentang intnilai atau beberapa tipe data fundamental lainnya. Dalam hal itu, karena menyalin inttidak mahal, membuat salinan pada dasarnya setara dengan (jika tidak lebih efisien daripada) memiliki pengamatan const &.

Namun, ini bukan kasus umum untuk tipe yang ditentukan pengguna. UDT mungkin mahal untuk disalin, dan jika Anda tidak memiliki alasan untuk membuat salinan (seperti memodifikasi objek yang diambil tanpa mengubah yang asli), maka lebih baik menggunakan a const &.

Saya akan bertentangan di sini dan mengatakan tidak perlu auto const &dalam rentang berbasis loop. Beri tahu saya jika Anda menganggap fungsi berikut ini konyol (tidak sesuai tujuannya, tetapi dalam cara tertulisnya):

long long SafePop(std::vector<uint32_t>& v)
{
    auto const& cv = v;
    long long n = -1;
    if (!cv.empty())
    {
        n = cv.back();
        v.pop_back();
    }
    return n;
}

Di sini, penulis telah membuat referensi const vuntuk digunakan untuk semua operasi yang tidak memodifikasi v. Ini konyol, menurut pendapat saya, dan argumen yang sama dapat dibuat untuk digunakan auto const &sebagai variabel dalam rentang yang didasarkan untuk loop, bukan hanya auto &.