std :: dynarray vs std :: vector

C ++ 14 trình bày std::dynarray:

std :: dynarray là một vùng chứa trình tự đóng gói các mảng với kích thước được cố định khi xây dựng và không thay đổi trong suốt thời gian tồn tại của đối tượng.

std::dynarrayphải được phân bổ trong thời gian chạy giống như std::vector.

Vì vậy, những lợi ích và cách sử dụng std::dynarraywhile chúng ta có thể sử dụng std::vectorcái nào năng động hơn (và cũng khá lớn)?

Vì vậy, những lợi ích và cách sử dụng std::dynarray, khi chúng ta có thể sử dụng std::vectornăng động hơn (Re-sizable)?

dynarraynhỏ hơn và đơn giản hơn vector, bởi vì nó không cần quản lý các giá trị kích thước và dung lượng riêng biệt cũng như không cần lưu trữ một bộ cấp phát.

Tuy nhiên, lợi ích hiệu suất chính được dự định đến từ thực tế là các triển khai được khuyến khích phân bổ dynarraytrên ngăn xếp khi có thể, tránh bất kỳ phân bổ heap nào. ví dụ

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

Việc tối ưu hóa này yêu cầu sự hợp tác từ trình biên dịch, nó không thể được triển khai như một loại thư viện thuần túy và phép thuật trình biên dịch cần thiết đã không được thực hiện và không ai chắc chắn rằng nó dễ dàng như thế nào. Vì thiếu kinh nghiệm triển khai, tại cuộc họp ủy ban C ++ ở Chicago tuần trước, họ đã quyết định rút std::dynarraykhỏi C ++ 14 và phát hành tài liệu TS (đặc tả kỹ thuật) mở rộng mảng riêng biệt để xác định std::experimental::dynarrayvà các mảng ràng buộc thời gian chạy (ARB, tương tự sang C99 VLA.) Điều này std::dynarraygần như chắc chắn sẽ không có trong C ++ 14.

Như bạn đã nói, std::dynarraylà dành cho một mảng động có kích thước cố định . Nó không thể thay đổi kích thước. Đại khái nó đang nói một sự cải tiến hơn new T[N]và hơn std::unique_ptr<T[]>(new T[N]).

Không cần thay đổi kích thước hoặc quản lý dung lượng có nghĩa là bạn có thể triển khai cấu trúc dữ liệu với ít phức tạp hơn và tốn ít dung lượng hơn.

Hơn nữa, std::dynarraylà một động vật kỳ lạ cho phép triển khai thực hiện nó theo những cách khác nhau, không cụ thể, ví dụ: có thể đặt mảng trên ngăn xếp. Gọi một hàm phân bổ là "tùy chọn". Bạn có thể chỉ định một bộ cấp phát để xây dựng các phần tử của mảng, nhưng đó không phải là một phần của kiểu.

Bạn cũng có thể thắc mắc tại sao chúng ta cần std::dynarray và các mảng có độ dài thay đổi. VLA trong C ++ 14 hạn chế hơn nhiều; chúng chỉ có thể là biến cục bộ, biến tự động và không cung cấp cách nào để chỉ định chính sách phân bổ và tất nhiên chúng không có giao diện vùng chứa chuẩn.

Một số ví dụ từ 23.3.4.2 của "bản nháp hiện tại" (lấy đó là bộ nhớ cache của Google):

explicit dynarray(size_type c);

Hiệu ứng: Phân bổ bộ nhớ cho ccác phần tử. Có thể hoặc không thể gọi toàn cầu operator new.

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

Hiệu ứng: Tương đương với các hàm tạo trước đó ngoại trừ mỗi phần tử được xây dựng bằng cấu trúc phân bổ sử dụng .

Việc bạn có thể sử dụng một bộ cấp phát nhất định để xây dựng các phần tử mảng hay không là một đặc điểm chung:

cấu trúc mẫu using_allocator, Alloc>: true_type {};

Yêu cầu: Alloc phải là Bộ phân bổ (17.6.3.5). [ Lưu ý: Việc chuyên biệt hóa đặc điểm này thông báo cho các thành phần thư viện khác dynarraycó thể được xây dựng bằng bộ cấp phát, mặc dù nó không có kiểu cấp phát lồng nhau.]

Chỉnh sửa: Câu trả lời của Jonathan Wakely chắc chắn sẽ có thẩm quyền và sâu sắc hơn nhiều.