อายุการใช้งานของรีเฟอเรนซ์และรีเฟอเรนซ์ลอย
หลีกเลี่ยงรีเฟอเรนซ์ลอยด้วยการวิเคราะห์อายุการใช้งานของออบเจ็กต์อย่างรอบคอบ
อายุการใช้งานของรีเฟอเรนซ์และรีเฟอเรนซ์ลอย เป็นบทเรียน C++ Academy ฟรีบน CoddyKit นี่คือบทเรียนที่ 4 จากทั้งหมด 4 บทเรียน คุณสามารถอ่านบทเรียนทั้งหมดด้านล่างฟรี — จากนั้นลองปฏิบัติด้วยตัวคุณเองในเบราว์เซอร์พร้อมตัวแก้ไขโค้ดในตัวและติวเตอร์ AI ตลอด 24/7 บทเรียนนี้เป็นส่วนหนึ่งของเส้นทางการเรียน C++ Academy และความก้าวหน้าของคุณจะซิงค์ข้ามเว็บและแอป CoddyKit คอร์ส C++ Academy มีบทเรียนทั้งหมด 4 บทเรียน
การอ้างอิงค้างคืออะไร
การอ้างอิงจะกลายเป็นการอ้างอิงค้างเมื่อวัตถุที่อ้างถึงถูกทำลาย การใช้งานการอ้างอิงดังกล่าวเป็นพฤติกรรมที่ไม่ได้กำหนด ซึ่งอาจเกิดผลลัพธ์ใดก็ได้
ตัวอย่างคลาสสิก
การส่งคืนการอ้างอิงไปยังตัวแปรภายในฟังก์ชัน ตัวแปรภายในจะหมดอายุเมื่อฟังก์ชันส่งคืนค่า แต่ตัวเรียกยังถือการอ้างอิงไปยังหน่วยความจำที่หมดอายุแล้ว
// BUG
int& bad() {
int x = 10;
return x; // x dies here
}
int& r = bad();
std::cout << r; // UBการอ้างอิงไปยังสมาชิกของคอนเทนเนอร์
การอ้างอิงภายใน std::vector จะกลายเป็นการอ้างอิงค้างหาก vector จัดสรรหน่วยความจำใหม่ การเพิ่มสมาชิกอาจทำให้พื้นที่จัดเก็บทั้งหมดถูกย้าย
std::vector<int> v = {1, 2, 3};
int& r = v[0];
v.push_back(99); // may reallocate
std::cout << r; // possibly UBการอ้างอิงภายในแมปและลิสต์
คอนเทนเนอร์บางชนิด (std::list, std::map, std::unordered_map สำหรับโหนดที่ไม่ได้รับผลกระทบ) ให้ตัววนซ้ำและการอ้างอิงที่คงที่ ส่วน std::vector และ std::deque ไม่รับประกันเช่นนั้น
กฎอายุการใช้งานของค่าชั่วคราว
การอ้างอิงแบบ const จะขยายอายุการใช้งานของค่าชั่วคราว แต่ฟังก์ชันที่ส่งคืนการอ้างอิงนั้นจะไม่ขยายอายุการใช้งานต่อไป
// Subtle BUG
const std::string& f() {
return std::string("temp"); // dies at return
}
const std::string& s = f(); // danglingอายุการใช้งานในคำสั่ง if-init (C++17)
ตัวแปรในคำสั่งเริ่มต้นของ if/switch ใน C++17 จะมีอายุการใช้งานตลอดบล็อกของ if/switch ซึ่งมีประโยชน์ แต่โปรดคำนึงถึงขอบเขตด้วย
if (const auto& it = map.find(k); it != map.end()) {
use(it->second);
}
// `it` is dead hereสมาชิกแบบการอ้างอิงในคลาส
การจัดเก็บการอ้างอิงเป็นสมาชิกของคลาสจะผูกอายุการใช้งานของคลาสเข้ากับวัตถุที่ถูกอ้างถึง คลาสจะมีอายุยืนยาวกว่าวัตถุที่ถูกอ้างถึงไม่ได้ ใช้รูปแบบนี้เฉพาะเมื่อความหมายด้านการครอบครองข้อมูลต้องการเท่านั้น
พอยน์เตอร์กับการอ้างอิงสำหรับการครอบครองแบบไม่บังคับ
การอ้างอิงไม่สามารถเป็นค่าว่างได้ แต่หากวัตถุที่ถูกอ้างถึงหมดอายุ การอ้างอิงก็จะใช้งานไม่ได้ pointer สามารถสื่อถึงกรณีที่มีหรือไม่มีการครอบครอง รวมถึงกรณีที่อาจกลายเป็นการอ้างอิงค้างได้อย่างชัดเจนกว่า
ใช้พอยน์เตอร์อัจฉริยะแทน
สำหรับการครอบครองร่วม ให้ใช้ std::shared_ptr pointer จะทำให้วัตถุยังมีชีวิตอยู่ตราบใดที่มี shared_ptr อย่างน้อยหนึ่งตัว หัวข้อนี้จะกล่าวถึงในหลักสูตรพอยน์เตอร์อัจฉริยะ
ความช่วยเหลือจากคอมไพเลอร์: lifetimebound
คอมไพเลอร์สมัยใหม่ (Clang, GCC) จะแสดงคำเตือนสำหรับรูปแบบการอ้างอิงค้างบางประเภท เปิดใช้ -Wdangling-reference หากมีให้ใช้งาน
รูปแบบทั่วไป: ชนิดมุมมอง
std::string_view และ std::span เป็นมุมมองที่ไม่เป็นเจ้าของข้อมูล ทั้งสองมีข้อควรระวังด้านอายุการใช้งานเช่นเดียวกับการอ้างอิง และต้องใช้อย่างระมัดระวังเช่นเดียวกัน
ตรวจสอบความเข้าใจ
การดำเนินการใดอาจทำให้การอ้างอิงภายใน std::vector ใช้ไม่ได้
สรุปทบทวน
การอ้างอิงไม่ได้ขยายอายุการใช้งานและไม่ได้เป็นเจ้าของสิ่งใด แต่เป็นชื่อแทนของวัตถุที่มีอยู่แล้ว การอ้างอิงจะกลายเป็นการอ้างอิงค้างหากวัตถุนั้นหมดอายุก่อน โปรดระวังการส่งคืนการอ้างอิงไปยังตัวแปรภายใน การจัดสรรหน่วยความจำของคอนเทนเนอร์ใหม่ และค่าชั่วคราวที่ยังถูกใช้งานอยู่
คำถามที่พบบ่อย
บทเรียน “อายุการใช้งานของรีเฟอเรนซ์และรีเฟอเรนซ์ลอย” ฟรีหรือไม่
ใช่ — ข้อความเต็มของ “อายุการใช้งานของรีเฟอเรนซ์และรีเฟอเรนซ์ลอย” ฟรีให้อ่านที่นี่บนเว็บ เพื่อปฏิบัติแบบโต้ตอบ (ตัวแก้ไขโค้ดในตัวและติวเตอร์ AI ตลอด 24/7) และปลดล็อคส่วนที่เหลือของคอร์ส C++ Academy ให้อัปเกรดเป็น CoddyKit PRO คอร์ส C++ Academy มีบทเรียนทั้งหมด 4 บทเรียน
คุณจะเรียนรู้อะไรในบทเรียน “อายุการใช้งานของรีเฟอเรนซ์และรีเฟอเรนซ์ลอย”
หลีกเลี่ยงรีเฟอเรนซ์ลอยด้วยการวิเคราะห์อายุการใช้งานของออบเจ็กต์อย่างรอบคอบ คุณปฏิบัติ C++ Academy ด้วยโค้ดที่ใช้งานได้จริงที่คุณเรียกใช้โดยตรงในเบราว์เซอร์ และติวเตอร์ AI ตลอด 24/7 ตอบคำถามของคุณขณะที่คุณไปผ่านบทเรียน
คุณต้องมีประสบการณ์ก่อนที่จะเริ่มเรียน C++ Academy หรือไม่
ไม่จำเป็นต้องมีประสบการณ์มาก่อน C++ Academy บน CoddyKit ออกแบบมาสำหรับผู้เริ่มต้นไปจนถึงผู้เรียนขั้นสูง คุณสามารถเริ่มต้นที่นี่หรือเริ่มจากตัวแรกและเรียนด้วยความเร็วของคุณเอง นี่คือบทเรียนที่ 4 จากทั้งหมด 4 บทเรียน
บทเรียน “อายุการใช้งานของรีเฟอเรนซ์และรีเฟอเรนซ์ลอย” ใช้เวลานานแค่ไหน
บทเรียน CoddyKit ส่วนใหญ่ใช้เวลาประมาณ 5–10 นาที แต่ละบทเรียนจึงสั้นและเป็นแบบโต้ตอบ คุณสามารถก้าวหน้าอย่างต่อเนื่องและกลับมาเรียนต่อจากตรงที่เพิ่งหยุดบนเว็บและแอปได้เลย
ฉันเขียนและรันโค้ดในบทเรียน C++ Academy นี้ได้ไหม
ได้ บทเรียน C++ Academy ทุกบทมีตัวแก้ไขโค้ดในตัว คุณจึงเขียนและรันโค้ดจริงได้เลยในเบราว์เซอร์ และได้รับข้อเสนอแนะจาก AI ในทันที — ไม่ต้องติดตั้งในเครื่องของคุณ
บทเรียนทั้งหมดในหลักสูตรนี้
- เหตุใดรีเฟอเรนซ์จึงเป็นนามแฝงของตัวแปร
- การส่งค่าเทียบกับการส่งรีเฟอเรนซ์
- รีเฟอเรนซ์ const และแนวทางการใช้งาน
- อายุการใช้งานของรีเฟอเรนซ์และรีเฟอเรนซ์ลอย