c中隐式定义数组不指定大小会怎么样？

Question

我在申明的时候是这样写的:

int a[] = {};
cout<<sizeof(a)<<endl;
a[0] = 12;
cout<<sizeof(a)<<endl;
cout<<a[0]<<endl;

两次输出数组总字节都是0，两个问题：
1.为什么还能对a[0]赋值？
2.为什么对a[0]赋值之后，数组的大小还是0？

Answer 1

在定义数组时，如果提供了初值，那么可以省略数组第一个维度的大小，如果省略了第一个维度的大小，则数组的大小就是初值的数目。例如定义：

int a[] = {};

省略了第一个维度，提供了初值，而且初值数目为 0，则表示数组的大小也为 0。

为什么还能对a[0]赋值？为什么对a[0]赋值之后，数组的大小还是0？

a[0] = 12;

越界访问数组是未定义的行为。其与下面的例子相同：

int a[5];
a[2333] = 666;  // 越界访问，是未定义行为。不会改变数组大小。

Answer 2

补充一下楼上的答案，sizeof运算符是编译期确定的

Answer 3

c/c++对数组下标不做校验，后果自负

Answer 4

int a[] = {};数组大小是零，就是说只存在一个a的数组，但是没有任何的内存空间，当然数组首地址a也指向一个未知地方。
a[0]=12;的赋值是把12存入到数组第一个元素里，也就是首地址，这是未定义的行为，很可能引起程序错误

Answer 5

@Fallenwood 这是不一定的，有可能是在运行时候求值。

#include <stdio.h>

void test(const int t)
{
    int p[t];
    printf("sizeof(p) = %u\n",sizeof(p));
}

int main() {
    unsigned int x;
    scanf("%u",&x);
    test(x);
    return 0;
}