Không std :: array <> đảm bảo phân bổ trên ngăn xếp chỉ?

Question

Có phải std::array<int,10> (không có bản thân mình sử dụng new) đảm bảo được cấp phát trong ngăn xếp thay vì sau đó là đống bằng C++ - Tiêu chuẩn?

Để rõ ràng, tôi không có nghĩa là new std::array<int, 10>. Tôi chủ yếu tự hỏi, nếu thư viện chuẩn được phép sử dụng new bên trong việc thực hiện nó.

Answer 1

tôi không thể tìm thấy câu trả lời rõ ràng hơn trong tiêu chuẩn, nhưng [array.overview]/2:

Một mảng là một tổng hợp ([dcl.init.aggr]) có thể là danh sách khởi tạo lên đến N yếu tố có loại là chuyển đổi thành T.

Và [dcl.init.aggr]/1:

Một tổng hợp là một mảng hoặc một lớp (khoản [class]) với

• không dùng cung cấp, rõ ràng, hoặc được thừa kế nhà thầu ([class.ctor]),

...

Đó về bao gồm nó. Không có cách nào một tổng thể có thể phân bổ bộ nhớ động (hoặc có lẽ, làm bất cứ điều gì ở tất cả của riêng mình trong quá trình xây dựng). Chỉ có một nhà xây dựng tầm thường được khai báo ngầm.

^{Tất nhiên, nếu bạn new std::array<...>, bạn sẽ nhận được một mảng trên "vùng heap".}

---

Một số có thể hài lòng hơn bởi những gì chúng ta có thể nhận được trên cppreference:

std::array là một container mà gói gọn mảng kích thước cố định.

Vùng chứa này là loại tổng hợp có cùng ngữ nghĩa như cấu trúc chứa mảng kiểu C T[N] làm thành viên dữ liệu không tĩnh duy nhất của nó.

---

Thứ ba, std::array đã được giới thiệu trong C++ 11. Tại sao? Ví dụ: để bổ sung std::vector theo một số cách, chẳng hạn như sử dụng ở các chức năng constexpr, trong đó không cho phép phân bổ động.

Answer 2

C++ không có khái niệm về chồng hoặc đống. Đó là những chi tiết thực hiện, và có ít nhất một nền tảng không sử dụng một ngăn xếp truyền thống (nhưng thay vào đó là danh sách liên kết phân bổ heap cho nó).

Nó có bộ nhớ tự động và cửa hàng miễn phí. new truy cập cửa hàng miễn phí và các biến "trên ngăn xếp" được chuyển vào bộ nhớ tự động.

Trong thực tế, để phân bổ mọi thứ trên cửa hàng miễn phí, bạn phải mạo hiểm ngoại lệ bộ nhớ. Vì vậy, quy tắc chung là những thứ đảm bảo họ không ném phải sử dụng bộ nhớ tự động. array đảm bảo sự bảo đảm này (ngoại trừ bất cứ điều gì trong đó có thể ném, tự nhiên). Đây cũng là một tổng hợp của dữ liệu cũ đơn giản, hiệu quả buộc phải trông giống như:

template<class T,std::size_t N> 
struct array { 
    T __no_fixed_name__[N]; 
    // non-constructor/destructor methods omitted as they are noise at this point 
}; 

Về lý thuyết nó có thể được thực hiện bởi trình biên dịch thông qua kỳ diệu mà không phải là thực tế C++, nhưng không có nhu cầu cho điều đó, vì vậy không ai phiền.

TL; DR: vâng, nó ở trên ngăn xếp.