std :: vector (ab) sử dụng lưu trữ tự động

Hãy xem xét đoạn trích sau:

#include <array>
int main() {
  using huge_type = std::array<char, 20*1024*1024>;
  huge_type t;
}

Rõ ràng là nó sẽ sập trên hầu hết các nền tảng, vì kích thước ngăn xếp mặc định thường nhỏ hơn 20MB.

Bây giờ hãy xem xét các mã sau đây:

#include <array>
#include <vector>

int main() {
  using huge_type = std::array<char, 20*1024*1024>;
  std::vector<huge_type> v(1);
}

Đáng ngạc nhiên là nó cũng gặp sự cố! Truy nguyên (với một trong các phiên bản libstdc ++ gần đây) dẫn đến include/bits/stl_uninitialized.htệp, nơi chúng ta có thể thấy các dòng sau:

typedef typename iterator_traits<_ForwardIterator>::value_type _ValueType;
std::fill(__first, __last, _ValueType());

Hàm vectorxây dựng thay đổi kích thước phải khởi tạo mặc định các phần tử và đây là cách nó được triển khai. Rõ ràng, _ValueType()tạm thời sụp đổ các ngăn xếp.

Câu hỏi là liệu đó có phải là một triển khai phù hợp. Nếu có, điều đó thực sự có nghĩa là việc sử dụng một loại vectơ khổng lồ khá hạn chế, phải không?

Không có giới hạn về số lượng lưu trữ tự động mà bất kỳ API std nào sử dụng.

Tất cả chúng có thể cần 12 terabyte không gian ngăn xếp.

Tuy nhiên, API đó chỉ yêu cầu Cpp17DefaultInsertablevà việc triển khai của bạn tạo ra một thể hiện bổ sung đối với những gì được yêu cầu bởi nhà xây dựng. Trừ khi nó bị kiểm soát đằng sau việc phát hiện đối tượng là tầm thường và có thể sao chép, việc thực hiện đó có vẻ bất hợp pháp.

huge_type t;

Rõ ràng là nó sẽ sụp đổ trên hầu hết các nền tảng ...

Tôi tranh luận về giả định "nhất". Vì bộ nhớ của đối tượng khổng lồ không bao giờ được sử dụng, trình biên dịch hoàn toàn có thể bỏ qua nó và không bao giờ phân bổ bộ nhớ trong trường hợp đó sẽ không có sự cố.

Câu hỏi là liệu đó có phải là một triển khai phù hợp.

Tiêu chuẩn C ++ không giới hạn việc sử dụng ngăn xếp hoặc thậm chí thừa nhận sự tồn tại của ngăn xếp. Vì vậy, có nó phù hợp với tiêu chuẩn. Nhưng người ta có thể coi đây là một vấn đề chất lượng thực hiện.

điều đó thực sự có nghĩa là việc sử dụng một loại vectơ khổng lồ khá hạn chế phải không?

Điều đó dường như là trường hợp với libstdc ++. Sự cố không được sao chép bằng libc ++ (sử dụng tiếng kêu), vì vậy có vẻ như đây không phải là giới hạn trong ngôn ngữ, mà chỉ là trong triển khai cụ thể đó.

Tôi không phải là một luật sư ngôn ngữ cũng không phải là một chuyên gia tiêu chuẩn C ++, nhưng cppreference.com nói:

explicit vector( size_type count, const Allocator& alloc = Allocator() );

Xây dựng bộ chứa với các phiên bản được chèn mặc định của T. Không có bản sao nào được tạo.

Có lẽ tôi đang hiểu nhầm "được chèn mặc định", nhưng tôi sẽ mong đợi:

std::vector<huge_type> v(1);

tương đương với

std::vector<huge_type> v;
v.emplace_back();

Phiên bản sau không nên tạo một bản sao ngăn xếp mà xây dựng một Huge_type trực tiếp trong bộ nhớ động của vectơ.

Tôi không thể ủy quyền nói rằng những gì bạn đang thấy là không tuân thủ, nhưng chắc chắn đó không phải là điều tôi mong đợi từ một triển khai chất lượng.