std :: dynarray vs std :: vector

C ++ 14 นำเสนอstd::dynarray:

std :: dynarray เป็นคอนเทนเนอร์ลำดับที่ห่อหุ้มอาร์เรย์ที่มีขนาดคงที่ที่โครงสร้างและไม่เปลี่ยนแปลงตลอดอายุการใช้งานของวัตถุ

std::dynarraystd::vectorจะต้องได้รับการจัดสรรในเวลาทำงานเหมือน

ดังนั้นประโยชน์และการใช้งานstd::dynarrayในขณะที่เราสามารถใช้แบบstd::vectorไหนที่มีไดนามิกมากกว่า (และปรับขนาดได้อีกด้วย)?

ดังนั้นประโยชน์และการใช้งานstd::dynarrayคืออะไรเมื่อเราสามารถใช้แบบstd::vectorไหนที่มีไดนามิกมากขึ้น (Re-sizable)?

dynarray มีขนาดเล็กและเรียบง่ายกว่า vectorเนื่องจากไม่จำเป็นต้องจัดการค่าขนาดและความจุแยกต่างหากและไม่จำเป็นต้องจัดเก็บตัวจัดสรร

อย่างไรก็ตามผลประโยชน์หลักของประสิทธิภาพนั้นมีจุดมุ่งหมายมาจากข้อเท็จจริงที่ว่าการใช้งานได้รับการสนับสนุนให้จัดสรรdynarrayบนสแตกเมื่อเป็นไปได้หลีกเลี่ยงการจัดสรรฮีปใด ๆ เช่น

std::dynarray<int> d(5);   // can use stack memory for elements
auto p = new std::dynarray<int>(6);  // must use heap memory for elements

การเพิ่มประสิทธิภาพนี้ต้องการความร่วมมือจากคอมไพเลอร์ไม่สามารถนำไปใช้เป็นประเภทไลบรารีบริสุทธิ์ได้และยังไม่มีการใช้เวทมนตร์คอมไพเลอร์ที่จำเป็นและไม่มีใครมั่นใจว่าจะทำได้ง่ายเพียงใด เนื่องจากขาดประสบการณ์ในการใช้งานในการประชุมคณะกรรมการ C ++ ในชิคาโกเมื่อสัปดาห์ที่แล้วจึงมีการตัดสินใจที่จะดึงstd::dynarrayจาก C ++ 14 และออกเอกสาร TS (ข้อกำหนดทางเทคนิค) ส่วนขยายอาร์เรย์แยกต่างหากการกำหนดstd::experimental::dynarrayและอาร์เรย์ของขอบเขตรันไทม์ (ARBs คล้ายกัน ถึง C99 VLAs) ซึ่งหมายความว่าstd::dynarrayแทบจะไม่อยู่ใน C ++ 14

อย่างที่คุณบอกว่าตัวเองstd::dynarrayมีไว้สำหรับไดนามิกอาร์เรย์ขนาดคงที่ ไม่สามารถปรับขนาดได้ เป็นการพูดประมาณว่าการปรับปรุงครั้งnew T[N]แล้วครั้งเล่าstd::unique_ptr<T[]>(new T[N])และมากกว่า

ไม่จำเป็นต้องปรับขนาดหรือจัดการความจุหมายความว่าคุณสามารถใช้โครงสร้างข้อมูลที่มีความซับซ้อนน้อยลงและใช้พื้นที่น้อยลง

ยิ่งไปกว่านั้น std::dynarrayเป็นสัตว์ประหลาดที่อนุญาตให้นำไปใช้งานในรูปแบบที่แตกต่างและไม่เฉพาะเจาะจงเช่นสามารถวางอาร์เรย์บนสแต็กได้ การเรียกใช้ฟังก์ชันการจัดสรรเป็น "ทางเลือก" คุณสามารถระบุผู้จัดสรรเพื่อสร้างองค์ประกอบของอาร์เรย์ได้ แต่นั่นไม่ใช่ส่วนหนึ่งของชนิด

คุณอาจสงสัยว่าทำไมเราถึงต้องการstd::dynarray และอาร์เรย์ที่มีความยาวผันแปรได้ VLAs ใน C ++ 14 มีข้อ จำกัด มากกว่ามาก สามารถเป็นตัวแปรเฉพาะที่เป็นตัวแปรอัตโนมัติและไม่มีวิธีระบุนโยบายการจัดสรรและแน่นอนว่าไม่มีอินเทอร์เฟซคอนเทนเนอร์มาตรฐาน

ตัวอย่างบางส่วนจาก 23.3.4.2 ของ "ร่างปัจจุบัน" (ใช้เวลานั้น Google cache):

explicit dynarray(size_type c);

เอฟเฟกต์:จัดสรรพื้นที่จัดเก็บสำหรับcองค์ประกอบ หรืออาจจะไม่ก่อให้เกิดโลกoperator new

template <class Alloc>
dynarray(size_type c, const Alloc& alloc);

ผลกระทบ:เทียบเท่ากับการก่อสร้างก่อนยกเว้นว่าแต่ละองค์ประกอบถูกสร้างด้วยการก่อสร้างใช้-จัดสรร

คุณสามารถใช้ตัวจัดสรรที่กำหนดเพื่อสร้างองค์ประกอบอาร์เรย์ได้หรือไม่นั้นเป็นลักษณะส่วนกลาง:

แม่แบบ struct uses_allocator, Alloc>: true_type {};

Allocข้อกำหนด:จะเป็นผู้จัดสรร (17.6.3.5) [ หมายเหตุ:ความเชี่ยวชาญของลักษณะนี้จะแจ้งให้ทราบส่วนประกอบของไลบรารีอื่น ๆ ที่dynarrayสามารถสร้างด้วยตัวจัดสรรแม้ว่าจะไม่มีลักษณะจัดสรรที่ซ้อนกันก็ตาม]

แก้ไข:คำตอบของ Jonathan Wakely นั้นน่าเชื่อถือและลึกซึ้งกว่ามาก