std::move และ std::forward
แปลง lvalue เป็น rvalue ด้วย std::move และรักษาหมวดหมู่ของค่าด้วย std::forward
std::move และ std::forward เป็นบทเรียน C++ Academy ฟรีบน CoddyKit นี่คือบทเรียนที่ 3 จากทั้งหมด 4 บทเรียน คุณสามารถอ่านบทเรียนทั้งหมดด้านล่างฟรี — จากนั้นลองปฏิบัติด้วยตัวคุณเองในเบราว์เซอร์พร้อมตัวแก้ไขโค้ดในตัวและติวเตอร์ AI ตลอด 24/7 บทเรียนนี้เป็นส่วนหนึ่งของเส้นทางการเรียน C++ Academy และความก้าวหน้าของคุณจะซิงค์ข้ามเว็บและแอป CoddyKit คอร์ส C++ Academy มีบทเรียนทั้งหมด 4 บทเรียน
สองญาติ หน้าที่ต่างกัน
std::move และ std::forward ต่างก็เป็นการแคสต์ในขณะคอมไพล์ ทั้งสองดูคล้ายกัน แต่ใช้แก้ปัญหาคนละอย่าง
std::move: แคสต์เป็น Rvalue เสมอ
std::move(x) จะแคสต์ x เป็นการอ้างอิง rvalue โดยไม่มีเงื่อนไข จากนั้นฟังก์ชันที่รับค่าจะสามารถขโมยทรัพยากรของมันได้
std::string s = "Hello";
std::string t = std::move(s); // move-constructs t from s
// s is now in a valid-but-unspecified stateเมื่อใดควรใช้ move
ใช้ std::move ในกรณีต่อไปนี้:
- ตัวสร้างการย้ายและตัวดำเนินการกำหนดค่าแบบย้าย
- การส่งคืนตัวแปรภายในเมื่อคุณต้องการบังคับให้เกิดการย้าย (มักไม่จำเป็น เพราะโดยทั่วไป RVO จะทำงานอยู่แล้ว)
- การส่งตัวแปรภายในที่คุณไม่ต้องการใช้อีกต่อไปไปยังฟังก์ชันปลายทาง
การทำงานของ std::move
จริง ๆ แล้วมันเป็นเพียง static_cast ที่ซ่อนรูปอยู่:
template <typename T>
typename std::remove_reference<T>::type&& move(T&& t) noexcept {
return static_cast<typename std::remove_reference<T>::type&&>(t);
}std::forward: รักษาหมวดหมู่
ในแม่แบบที่ใช้การอ้างอิงสำหรับส่งต่อ (T&&) std::forward<T>(x) จะแคสต์ x กลับเป็นหมวดหมู่เดิม (lvalue หรือ rvalue) ใช้สำหรับการส่งต่อตรงแบบสมบูรณ์
template <typename T>
void wrapper(T&& arg) {
target(std::forward<T>(arg)); // forwards as lvalue or rvalue depending on T
}เหตุใดจึงต้องมีการส่งต่อ
ภายในแม่แบบ พารามิเตอร์มีชื่อ ทำให้เป็น lvalue แม้ว่าผู้เรียกจะส่ง rvalue มาก็ตาม std::forward จะกู้คืนหมวดหมู่เดิม
หากไม่มี std::forward
หากไม่มี forward อาร์กิวเมนต์ทุกตัวจะถูกส่งเป็น lvalue ภายใน wrapper ทำให้ซีแมนติกส์การย้ายที่ผู้เรียกต้องการไม่เกิดผล
template <typename T>
void wrapper(T&& arg) {
target(arg); // always lvalue — wrong
}ระบุพารามิเตอร์แม่แบบให้ forward เสมอ
std::forward<T> ต้องใช้อาร์กิวเมนต์แม่แบบอย่างชัดเจน หากไม่มีอาร์กิวเมนต์นี้ การทำงานจะไม่ถูกต้อง
ตัวอย่างการส่งต่อตรงแบบสมบูรณ์
ฟังก์ชันโรงงานที่ส่งต่ออาร์กิวเมนต์ของตัวสร้างจะรักษาความแตกต่างระหว่าง rvalue และ lvalue ไว้เพื่อประสิทธิภาพ
template <typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args) {
return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}ย้ายเพียงครั้งเดียว
ออบเจ็กต์แต่ละตัวควรถูกย้ายออกมากที่สุดหนึ่งครั้ง หลังการย้าย ออบเจ็กต์จะอยู่ในสถานะที่ถูกต้องแต่ไม่ระบุรายละเอียด โดยทั่วไปคุณควรกำหนดค่าใหม่หรือทำลายมัน การใช้ออบเจ็กต์ที่ถูกย้ายออกไปแล้วโดยไม่กำหนดค่าใหม่ก่อน อาจทำให้เกิดข้อผิดพลาดที่ตรวจพบได้ยาก
หลักจำง่าย
แบบจำลองทางความคิดอย่างรวดเร็ว:
- มีชนิดที่เป็นรูปธรรมและต้องการย้าย →
std::move - มีพารามิเตอร์แม่แบบและต้องการรักษาหมวดหมู่ →
std::forward<T>
ตรวจสอบความเข้าใจ
ภายในฟังก์ชันแม่แบบที่มีพารามิเตอร์ T&& arg คุณจะส่งต่อ arg อย่างไรให้รักษาหมวดหมู่ lvalue/rvalue ไว้
สรุปทบทวน
std::move จะแคสต์เป็น rvalue โดยไม่มีเงื่อนไข ให้ใช้กับออบเจ็กต์ที่เป็นรูปธรรมซึ่งคุณต้องการขโมยทรัพยากร std::forward<T> จะรักษาหมวดหมู่ของค่าไว้ภายในแม่แบบทั่วไป ให้ใช้สำหรับการส่งต่อตรงแบบสมบูรณ์
คำถามที่พบบ่อย
บทเรียน “std::move และ std::forward” ฟรีหรือไม่
ใช่ — ข้อความเต็มของ “std::move และ std::forward” ฟรีให้อ่านที่นี่บนเว็บ เพื่อปฏิบัติแบบโต้ตอบ (ตัวแก้ไขโค้ดในตัวและติวเตอร์ AI ตลอด 24/7) และปลดล็อคส่วนที่เหลือของคอร์ส C++ Academy ให้อัปเกรดเป็น CoddyKit PRO คอร์ส C++ Academy มีบทเรียนทั้งหมด 4 บทเรียน
คุณจะเรียนรู้อะไรในบทเรียน “std::move และ std::forward”
แปลง lvalue เป็น rvalue ด้วย std::move และรักษาหมวดหมู่ของค่าด้วย std::forward คุณปฏิบัติ C++ Academy ด้วยโค้ดที่ใช้งานได้จริงที่คุณเรียกใช้โดยตรงในเบราว์เซอร์ และติวเตอร์ AI ตลอด 24/7 ตอบคำถามของคุณขณะที่คุณไปผ่านบทเรียน
คุณต้องมีประสบการณ์ก่อนที่จะเริ่มเรียน C++ Academy หรือไม่
ไม่จำเป็นต้องมีประสบการณ์มาก่อน C++ Academy บน CoddyKit ออกแบบมาสำหรับผู้เริ่มต้นไปจนถึงผู้เรียนขั้นสูง คุณสามารถเริ่มต้นที่นี่หรือเริ่มจากตัวแรกและเรียนด้วยความเร็วของคุณเอง นี่คือบทเรียนที่ 3 จากทั้งหมด 4 บทเรียน
บทเรียน “std::move และ std::forward” ใช้เวลานานแค่ไหน
บทเรียน CoddyKit ส่วนใหญ่ใช้เวลาประมาณ 5–10 นาที แต่ละบทเรียนจึงสั้นและเป็นแบบโต้ตอบ คุณสามารถก้าวหน้าอย่างต่อเนื่องและกลับมาเรียนต่อจากตรงที่เพิ่งหยุดบนเว็บและแอปได้เลย
ฉันเขียนและรันโค้ดในบทเรียน C++ Academy นี้ได้ไหม
ได้ บทเรียน C++ Academy ทุกบทมีตัวแก้ไขโค้ดในตัว คุณจึงเขียนและรันโค้ดจริงได้เลยในเบราว์เซอร์ และได้รับข้อเสนอแนะจาก AI ในทันที — ไม่ต้องติดตั้งในเครื่องของคุณ
บทเรียนทั้งหมดในหลักสูตรนี้
- ความแตกต่างระหว่าง Lvalue กับ Rvalue
- รีเฟอเรนซ์ Rvalue และไวยากรณ์ &&
- std::move และ std::forward
- คอนสตรักเตอร์ย้ายและการกำหนดค่าแบบย้าย