问题描述
我在申明的时候是这样写的:
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？
问题解答
回答1：@Fallenwood 这是不一定的，有可能是在运行时候求值。
#include <stdio.h>void test(const int t){ int p[t]; printf('sizeof(p) = %un',sizeof(p));}int main() { unsigned int x; scanf('%u',&x); test(x); return 0;}回答2：
在定义数组时，如果提供了初值，那么可以省略数组第一个维度的大小，如果省略了第一个维度的大小，则数组的大小就是初值的数目。例如定义：
int a[] = {};
省略了第一个维度，提供了初值，而且初值数目为 0，则表示数组的大小也为 0。
为什么还能对a[0]赋值？为什么对a[0]赋值之后，数组的大小还是0？
a[0] = 12;
越界访问数组是未定义的行为。其与下面的例子相同：
int a[5];a[2333] = 666; // 越界访问，是未定义行为。不会改变数组大小。回答3：
补充一下楼上的答案，sizeof运算符是编译期确定的
回答4：c/c++对数组下标不做校验，后果自负
回答5：int a[] = {};数组大小是零，就是说只存在一个a的数组，但是没有任何的内存空间，当然数组首地址a也指向一个未知地方。a[0]=12;的赋值是把12存入到数组第一个元素里，也就是首地址，这是未定义的行为，很可能引起程序错误
