Почему int c [0] разрешен в C++?

Question

Я считаю, что в объявлении массива, мы не можем указать размер его как этого

int a[0]; 

Я знаю, массив пустого размера незаконен в C++, но в моем коде, пустой составитель массив допустимого размера и дать выход.

Мой код здесь:

#include <iostream> 
using namespace std; 

int main() 
{ 
     int a[0]; 

     a[0] = 10; 
     a[1] = 20; 

     cout<<a[0]<<endl; 
     cout<<a[1]<<endl; 

     return 0; 
} 

Выход:

10 
20 

Интернет ссылка составитель: http://code.geeksforgeeks.org/TteOmO

Итак, мой вопрос, Почему int a[0] разрешено GCC компилятор?

Answer 1

Пожалуйста смотреть на это

What happens if I define a 0-size array in C/C++? Если это хороший компилятор будет ловить, что и дать предупреждение. но с педантичной опцией компилятор может его поймать.

Answer 2

Не допускается. Это undefined поведение.

Возможно, в вашем примере программа будет использовать память в стеке, которая лежит перед вашей текущей позицией. Он будет обнаружен MemorySanitizer, и если вы смещаете более 2 байтов, вы в конечном итоге перезаписываете обратный адрес. Это приведет к coredump.

Answer 3

Он выдает предупреждение, например, лязг выходов:

warning: zero size arrays are an extension [-Wzero-length-array] 

это неопределенное поведение:

a[0] = 10; 
    a[1] = 20; 

нулевой длины массивы расширения для GCC, почему - вы можете прочитать на нем здесь:

https://gcc.gnu.org/onlinedocs/gcc/Zero-Length.html

They are very useful as the last element of a structure that is really a header for a variable-length object:

Это на самом деле расширение C, но похоже, что оно также используется в C++, возможно, для упрощения использования существующих структур из C, который использует это расширение.