วนรอบตาม C ++ 11: รับไอเท็มตามค่าหรืออ้างอิงถึง const

การอ่านตัวอย่างของลูปแบบช่วงพวกเขาแนะนำสองวิธีหลัก^{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 
}

หรือ

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

ดี.

เมื่อเราไม่ต้องการเปลี่ยนvecไอเท็ม IMO ตัวอย่างแนะนำให้ใช้เวอร์ชันที่สอง (ตามค่า) ทำไมพวกเขาไม่แนะนำสิ่งที่constอ้างอิง (อย่างน้อยฉันไม่พบข้อเสนอแนะโดยตรง):

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 
}

มันจะดีกว่าไหม มันหลีกเลี่ยงสำเนาที่ซ้ำซ้อนในการทำซ้ำแต่ละครั้งconstหรือไม่

หากคุณไม่ต้องการเปลี่ยนรายการรวมทั้งต้องการหลีกเลี่ยงการทำสำเนานี่auto const &คือตัวเลือกที่ถูกต้อง:

for (auto const &x : vec)

ใครแนะนำให้คุณใช้auto &ผิด ไม่สนใจพวกเขา

นี่คือสรุป:

• เลือกauto xเมื่อคุณต้องการทำงานกับสำเนา
• เลือกauto &xเมื่อคุณต้องการทำงานกับรายการต้นฉบับและอาจแก้ไขได้
• เลือกauto const &xเมื่อคุณต้องการทำงานกับรายการต้นฉบับและจะไม่แก้ไข

หากคุณมีstd::vector<int>หรือstd::vector<double>ก็แค่ใช้auto(พร้อมสำเนาค่า) แทนconst auto&เนื่องจากคัดลอกintหรือมีdoubleราคาถูก:

for (auto x : vec)
    ....

แต่ถ้าคุณมีstd::vector<MyClass>, ซึ่งMyClassมีความหมายบางสำเนาที่ไม่สำคัญ (เช่นstd::string, คลาสที่กำหนดเองที่ซับซ้อน, ฯลฯ ) ดังนั้นฉันขอแนะนำให้ใช้const auto&เพื่อหลีกเลี่ยงสำเนาลึก :

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

เมื่อเราไม่ต้องการเปลี่ยนvecรายการตัวอย่างแนะนำให้ใช้รุ่นแรก

จากนั้นพวกเขาให้คำแนะนำที่ผิด

ทำไมพวกเขาไม่แนะนำสิ่งที่อ้างอิง const

เพราะพวกเขาให้คำแนะนำที่ผิด :-) สิ่งที่คุณพูดถึงนั้นถูกต้อง หากคุณตองการสังเกตวัตถุเทานั้นไมตองสรางสําเนาและไมตองมีวัตถุที่ไมใชconstอ้างอิงถึงวัตถุนั้น

แก้ไข:

ฉันเห็นการอ้างอิงที่คุณเชื่อมโยงทั้งหมดให้ตัวอย่างของการวนซ้ำในช่วงของintค่าหรือประเภทข้อมูลพื้นฐานอื่น ๆ ในกรณีที่ว่าตั้งแต่คัดลอกintไม่แพง, การสร้างสำเนาเป็นพื้นเทียบเท่า (ถ้าไม่ได้มีประสิทธิภาพมากขึ้นกว่า) const &มีการสังเกต

อย่างไรก็ตามนี่ไม่ใช่กรณีทั่วไปสำหรับประเภทที่ผู้ใช้กำหนด UDTs อาจจะแพงเพื่อคัดลอกและถ้าคุณไม่ได้มีเหตุผลสำหรับการสร้างสำเนา (เช่นการปรับเปลี่ยนวัตถุที่ดึงโดยไม่ต้องเปลี่ยนเดิม) const &แล้วมันจะดีกว่าที่จะใช้

ฉันจะตรงข้ามกับที่นี่และบอกว่าไม่จำเป็นต้องauto const &อยู่ในช่วงที่ใช้ลูป บอกฉันว่าคุณคิดว่าฟังก์ชั่นต่อไปนี้มันงี่เง่า (ไม่ใช่ในจุดประสงค์ของมัน แต่ในแบบที่เขียน)

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;
}

ที่นี่ผู้เขียนได้สร้างการอ้างอิง const ที่vจะใช้สำหรับการดำเนินการทั้งหมดซึ่งไม่ได้แก้ไข v นี่คือความโง่ในความคิดของฉันและอาร์กิวเมนต์เดียวกันสามารถทำเพื่อใช้auto const &เป็นตัวแปรในช่วงที่ใช้สำหรับวนรอบแทนเพียงauto &.