- ลืมการเก็บขยะ (ใช้ RAII แทน) โปรดทราบว่าแม้แต่ Garbage Collector ก็สามารถรั่วไหลได้เช่นกัน (หากคุณลืม "null" การอ้างอิงบางอย่างใน Java / C #) และ Garbage Collector จะไม่ช่วยคุณในการกำจัดทรัพยากร (หากคุณมีวัตถุที่ได้รับหมายเลขอ้างอิง ไฟล์ไฟล์จะไม่ถูกปล่อยโดยอัตโนมัติเมื่อออบเจ็กต์จะออกนอกขอบเขตหากคุณไม่ได้ทำด้วยตนเองใน Java หรือใช้รูปแบบ "ทิ้ง" ใน C #)
- ลืมกฎ "หนึ่งผลตอบแทนต่อฟังก์ชั่น" นี่เป็นคำแนะนำ C ที่ดีเพื่อหลีกเลี่ยงการรั่วไหล แต่ C ++ ล้าสมัยเนื่องจากมีการใช้ข้อยกเว้น (ใช้ RAII แทน)
- และในขณะที่ "รูปแบบแซนวิช"เป็นคำแนะนำ C ที่ดี แต่C ++ก็ล้าสมัยไปแล้ว เนื่องจากมีการใช้ข้อยกเว้น (ใช้ RAII แทน)
โพสต์นี้ดูเหมือนจะซ้ำ แต่ใน C ++ รูปแบบพื้นฐานที่สุดที่จะทราบว่าเป็นRAII
เรียนรู้การใช้ตัวชี้อัจฉริยะทั้งจาก boost, TR1 หรือแม้แต่ auto_ptr ที่ต่ำ (แต่มักจะมีประสิทธิภาพเพียงพอ) (แต่คุณต้องรู้ข้อ จำกัด )
RAII เป็นพื้นฐานของความปลอดภัยข้อยกเว้นและการกำจัดทรัพยากรใน C ++ และไม่มีรูปแบบอื่นใด (แซนวิช ฯลฯ ) จะให้ทั้งสองอย่าง (และโดยส่วนใหญ่แล้วจะไม่ให้คุณเลย)
ดูการเปรียบเทียบรหัส RAII และไม่ใช่ RAII ด้านล่าง:
void doSandwich()
{
T * p = new T() ;
// do something with p
delete p ; // leak if the p processing throws or return
}
void doRAIIDynamic()
{
std::auto_ptr<T> p(new T()) ; // you can use other smart pointers, too
// do something with p
// WON'T EVER LEAK, even in case of exceptions, returns, breaks, etc.
}
void doRAIIStatic()
{
T p ;
// do something with p
// WON'T EVER LEAK, even in case of exceptions, returns, breaks, etc.
}
เกี่ยวกับRAII
เพื่อสรุป (หลังจากความคิดเห็นจากOgre Psalm33 ) RAII อาศัยแนวคิดสามประการ:
- เมื่อสร้างวัตถุแล้วมันก็ใช้งานได้! รับทรัพยากรในตัวสร้าง
- ทำลายวัตถุก็พอแล้ว! ทำทรัพยากรฟรีในตัวทำลาย
- ทุกอย่างเกี่ยวกับขอบเขต! วัตถุที่ถูกกำหนดขอบเขต (ดูตัวอย่าง doRAIIStatic ด้านบน) จะถูกสร้างขึ้นในการประกาศของพวกเขาและจะถูกทำลายทันทีที่การดำเนินการออกจากขอบเขตไม่ว่าจะออกอย่างไร (การส่งคืนการแบ่งข้อยกเว้น ฯลฯ )
ซึ่งหมายความว่าในรหัส C ++ ที่ถูกต้องวัตถุส่วนใหญ่จะไม่ถูกสร้างขึ้นด้วยnewและจะประกาศบนสแต็กแทน และสำหรับผู้ที่สร้างโดยใช้newทั้งหมดจะถูกกำหนดขอบเขตไว้อย่างใดอย่างหนึ่ง(เช่นแนบกับตัวชี้อัจฉริยะ)
ในฐานะนักพัฒนาสิ่งนี้มีประสิทธิภาพมากเนื่องจากคุณไม่จำเป็นต้องสนใจเกี่ยวกับการจัดการทรัพยากรด้วยตนเอง (เช่นเดียวกับที่ทำใน C หรือสำหรับวัตถุบางอย่างใน Java ซึ่งใช้try/ finallyสำหรับกรณีนั้นอย่างเข้มข้น) ...
แก้ไข (2012-02-12)
"วัตถุที่ถูกกำหนดขอบเขต ... จะถูกทำลาย ... ไม่ว่าทางออก" นั้นไม่เป็นความจริงทั้งหมด มีวิธีโกง RAII รสชาติใด ๆ ของการยุติ () จะข้ามการล้างข้อมูล exit (EXIT_SUCCESS) เป็น oxymoron ในเรื่องนี้
- วิลเฮล์มเทลล์
Wilhelmtellค่อนข้างถูกต้องเกี่ยวกับเรื่องนี้: มีวิธีพิเศษในการโกง RAII ซึ่งทั้งหมดนี้นำไปสู่การหยุดชะงักทันที
สิ่งเหล่านี้เป็นวิธีที่ยอดเยี่ยมเนื่องจากโค้ด C ++ ไม่ทิ้งเกลื่อนไปด้วยการยุติการออก ฯลฯ หรือในกรณีที่มีข้อยกเว้นเราต้องการให้มีข้อยกเว้นที่ไม่สามารถจัดการได้เพื่อให้กระบวนการทำงานผิดพลาดและคอร์ถ่ายโอนอิมเมจหน่วยความจำตามที่เป็นอยู่และไม่ใช่หลังจากทำความสะอาดแล้ว
แต่เรายังต้องรู้เกี่ยวกับกรณีเหล่านั้นเพราะแม้ว่าจะไม่ค่อยเกิดขึ้น แต่ก็ยังสามารถเกิดขึ้นได้
(ใครโทรมาterminateหรือใช้exitรหัส C ++ แบบสบาย ๆ ... ฉันจำได้ว่าต้องจัดการกับปัญหานั้นเมื่อเล่นกับGLUT : ไลบรารีนี้เน้น C มากไปจนถึงการออกแบบอย่างแข็งขันเพื่อให้สิ่งที่ยากสำหรับนักพัฒนา C ++ เช่นไม่ใส่ใจ เกี่ยวกับสแต็คการจัดสรรข้อมูลหรือมีการตัดสินใจที่ "น่าสนใจ" เกี่ยวกับการไม่เคยกลับมาจากวงหลักของพวกเขา ... ฉันจะไม่แสดงความคิดเห็นเกี่ยวกับที่)