c++ - 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

@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;
}

Answer 2

在定義數組時，如果提供了初始值，那麼可以省略數組第一個維度的大小，如果省略了第一個維度的大小，則數組的大小就是初值的數目。例如定義：

int a[] = {};

省略了第一個維度，提供了初始值，而且初​​值數目為 0，則表示數組的大小也為 0。

為什麼還能對a[0]賦值？為什麼a[0]賦值之後，陣列的大小還是0？

a[0] = 12;

越界存取陣列是未定義的行為。其與下面的例子相同：

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

Answer 3

補充樓上的答案，sizeof運算子是編譯期確定的

Answer 4

c/c++對數組下標不做校驗，後果自負

Answer 5

int a[] = {};數組大小是零，就是說只存在一個a的數組，但是沒有任何的記憶體空間，當然數組首地址a也指向一個未知地方。
a[0]=12;的賦值是把12存入到數組第一個元素裡，也就是首地址，這是未定義的行為，很可能會造成程式錯誤