Có phải 'mới' và 'xóa' bị phản đối trong C ++ không?

Tôi tình cờ thấy một bài kiểm tra liên quan đến khai báo mảng với các kích cỡ khác nhau. Điều đầu tiên tôi nghĩ đến là tôi sẽ cần sử dụng phân bổ động với newlệnh, như thế này:

while(T--) {
   int N;
   cin >> N;
   int *array = new int[N];
   // Do something with 'array'
   delete[] array;
}

Tuy nhiên, tôi thấy rằng một trong những giải pháp cho phép trường hợp sau:

while(T--) {
    int N;
    cin >> N;
    int array[N];
    // Do something with 'array'
}

Sau một chút nghiên cứu tôi đọc rằng g ++ cho phép điều này, nhưng nó khiến tôi suy nghĩ, trong trường hợp nào thì cần phải sử dụng phân bổ động? Hoặc là trình biên dịch dịch điều này là phân bổ động?

Chức năng xóa được bao gồm. Lưu ý, tuy nhiên, câu hỏi ở đây không phải là về rò rỉ bộ nhớ.

Cả đoạn mã bạn hiển thị là mã C ++ hiện đại, thành ngữ.

newvà delete(và new[]và delete[]) không bị phản đối trong C ++ và sẽ không bao giờ. Chúng vẫn là cách để khởi tạo các đối tượng được phân bổ động. Tuy nhiên, vì bạn phải luôn khớp a newvới delete(và a new[]với a delete[]), chúng được giữ tốt nhất trong các lớp (thư viện) đảm bảo điều này cho bạn. Xem tại sao các lập trình viên C ++ nên giảm thiểu việc sử dụng 'mới'? .

Đoạn mã đầu tiên của bạn sử dụng "trần trụi" new[]và sau đó không bao giờ delete[]là mảng được tạo. Đó là một vấn đề. std::vectorlàm mọi thứ bạn cần ở đây chỉ là tốt Nó sẽ sử dụng một số hình thức newphía sau hậu trường (tôi sẽ không đi sâu vào chi tiết triển khai), nhưng với tất cả những gì bạn phải quan tâm, đó là một mảng động nhưng tốt hơn và an toàn hơn.

Đoạn mã thứ hai của bạn sử dụng "mảng độ dài thay đổi" (VLAs), một tính năng C mà một số trình biên dịch cũng cho phép trong C ++ như một phần mở rộng. Không giống như new, VLAs về cơ bản được phân bổ trên ngăn xếp (một nguồn rất hạn chế). Nhưng quan trọng hơn, chúng không phải là một tính năng C ++ tiêu chuẩn và nên tránh vì chúng không thể mang theo được. Họ chắc chắn không thay thế phân bổ động (tức là heap).

Vâng, đối với người mới bắt đầu, new/ deletekhông bị phản đối.

Trong trường hợp cụ thể của bạn, họ không phải là giải pháp duy nhất. Những gì bạn chọn phụ thuộc vào những gì đã ẩn dưới nhận xét "làm gì đó với mảng" của bạn.

Ví dụ thứ 2 của bạn sử dụng tiện ích mở rộng VLA không chuẩn, cố gắng khớp với mảng trên ngăn xếp. Điều này có một số hạn chế nhất định - cụ thể là kích thước hạn chế và không thể sử dụng bộ nhớ này sau khi mảng vượt quá phạm vi. Bạn không thể di chuyển nó ra ngoài, nó sẽ "biến mất" sau khi ngăn xếp thư giãn.

Vì vậy, nếu mục tiêu duy nhất của bạn là thực hiện một tính toán cục bộ và sau đó ném dữ liệu đi, nó thực sự có thể hoạt động tốt. Tuy nhiên, một cách tiếp cận mạnh mẽ hơn sẽ là phân bổ bộ nhớ một cách linh hoạt, tốt nhất là với std::vector. Bằng cách đó, bạn có khả năng tạo không gian cho chính xác bao nhiêu phần tử mà bạn cần dựa trên giá trị thời gian chạy (đó là những gì chúng ta sẽ thực hiện cùng), nhưng nó cũng sẽ tự dọn sạch và bạn có thể di chuyển nó ra của phạm vi này nếu bạn muốn giữ bộ nhớ sử dụng cho lần sau.

Quay trở lại từ đầu, có thể vector sẽ sử dụng newsâu hơn một vài lớp, nhưng bạn không nên quan tâm đến điều đó, vì giao diện mà nó thể hiện vượt trội hơn nhiều. Theo nghĩa đó, sử dụng newvà deletecó thể được coi là không khuyến khích.

Các ví dụ thứ hai của bạn sử dụng mảng có độ dài thay đổi (VLAs), thực sự là một tính năng C99 ( không phải C ++!), Nhưng dù sao cũng được hỗ trợ bởi g ++ .

Xem thêm câu trả lời này .

Lưu ý rằng mảng có chiều dài thay đổi khác với new/ deletevà không "phản đối" chúng theo bất kỳ cách nào.

Xin lưu ý rằng VLAs không phải là ISO C ++.

C ++ hiện đại cung cấp những cách dễ dàng hơn để làm việc với phân bổ động. Con trỏ thông minh có thể quan tâm đến việc dọn dẹp sau các trường hợp ngoại lệ (có thể xảy ra ở bất cứ đâu nếu được phép) và trả về sớm, ngay khi các cấu trúc dữ liệu được tham chiếu đi ra khỏi phạm vi, vì vậy có thể có ý nghĩa để sử dụng các thay thế này:

  int size=100;

  // This construct requires the matching delete statement.
  auto buffer_old = new int[size];

  // These versions do not require `delete`:
  std::unique_ptr<int[]> buffer_new (new int[size]);
  std::shared_ptr<int[]> buffer_new (new int[size]); 
  std::vector<int> buffer_new (size);  int* raw_access = buffer_new.data();

Từ C ++ 14 bạn cũng có thể viết

auto buffer_new = std::make_unique<int[]>(size);

điều này trông thậm chí còn đẹp hơn và sẽ ngăn chặn rò rỉ bộ nhớ nếu việc phân bổ thất bại. Từ C ++ 20, bạn sẽ có thể làm nhiều như

auto a = std::make_shared<int[]>(size);

điều này đối với tôi vẫn không biên dịch tại thời điểm viết với gcc 7.4.0. Trong hai ví dụ này, chúng tôi cũng sử dụng autothay vì khai báo kiểu bên trái. Trong mọi trường hợp, sử dụng mảng như bình thường:

buffer_old[0] = buffer_new[0] = 17;

Rò rỉ bộ nhớ từ newvà sự cố từ nhân đôi deletelà điều C ++ đã bị bash trong nhiều năm, là "điểm trung tâm" của tranh luận để chuyển sang các ngôn ngữ khác. Có lẽ tốt hơn để tránh.

mới và xóa không được phản đối.

Các đối tượng được tạo bởi toán tử mới có thể được truyền bằng tham chiếu. Các đối tượng có thể được xóa bằng cách sử dụng xóa.

mới và xóa là các khía cạnh nền tảng của ngôn ngữ. Sự kiên trì của một đối tượng có thể được quản lý bằng cách sử dụng mới và xóa. Đây chắc chắn sẽ không được phản đối.

Câu lệnh - int mảng [N] là một cách xác định một mảng. Mảng có thể được sử dụng trong phạm vi của khối mã kèm theo. Nó không thể được truyền giống như cách một đối tượng được truyền cho một chức năng khác.

Ví dụ đầu tiên cần delete[]ở cuối, hoặc bạn sẽ bị rò rỉ bộ nhớ.

Ví dụ thứ hai sử dụng chiều dài mảng biến không được C ++ hỗ trợ; nó chỉ cho phép biểu thức không đổi cho chiều dài mảng .

Trong trường hợp này, nó rất hữu ích để sử dụng std::vector<>như một giải pháp; bao bọc tất cả các hành động bạn có thể thực hiện trên một mảng thành một lớp mẫu.

Cú pháp trông giống như C ++, nhưng thành ngữ tương tự như Algol60 cũ. Nó là phổ biến để có các khối mã như thế này:

read n;
begin
    integer array x[1:n];
    ... 
end;

Ví dụ có thể được viết là:

while(T--) {
    int N;
    cin >> N;
    {
        int array[N];
        // Do something with 'array'
    }
}

Đôi khi tôi bỏ lỡ điều này trong các ngôn ngữ hiện tại;)