Làm thế nào để C++ 11 dựa trên phạm vi cho vòng lặp biết kích thước mảng?

Question

Khi tôi làm một cái gì đó như thế này:

int my_array[5] = {1, 2, 3, 4, 5}; 
for (int &x : my_array) { 
    x *= 2; 
} 

C++ 11 rõ ràng biết rằng mảng của tôi chỉ có 5 yếu tố. Thông tin này có được lưu trữ ở đâu đó trong đối tượng my_array không?

Nếu có, có lý do chính đáng nào tại sao nó không được cung cấp cho tôi với tư cách là nhà phát triển (hay là nó?!?!?)? Có vẻ như rất nhiều vấn đề của thế giới sẽ được giải quyết nếu các nhà phát triển C++ luôn biết giới hạn của các mảng mà họ đang xử lý.

Answer 1

Đây đơn giản là thứ mà ngôn ngữ yêu cầu phải hoạt động và trình biên dịch phải triển khai. Rõ ràng là loại hoàn chỉnh của my_array là int[5] (nghĩa là kích thước là một phần của loại), vì vậy thông tin này có sẵn.

Trái ngược với niềm tin phổ biến, có không sử dụng miễn phí std::begin()/std::end() chức năng trong vở kịch, mặc dù những người có vẻ ngây thơ để có thể làm các trick (nhưng có một bắt liên quan đến ADL rằng sẽ phá vỡ phương pháp này) .

Answer 2

Không, nó không phải là một phần của đối tượng. Nhưng đó là một phần của loại. Đó là những gì mà 5 trong khai báo mảng là. Tuy nhiên, điều này sẽ không làm việc:

void f(int arr[5]) { 
    for(int& x: arr) { 
     // whatever 
    } 
} 

vì tên của mảng ở đây phân rã thành một con trỏ đến phần tử đầu tiên của mình, đó là, việc khai báo đối số là tương đương với int *arr mà không có thông tin kích thước.

Answer 3

Có sẵn - bạn có thể xác định begin và end trên mảng trong tiêu chuẩn C++. Kích thước của mảng được mã hóa trong loại.

Phương pháp chung là sử dụng tham chiếu đến mảng.

Dưới đây là một chức năng ví dụ kích thước:

template<typename T, size_t N> 
size_t array_size(T (& const)[N]) 
{ 
    return N; 
}