可以定义0个元素的数组。

不能定义-1个元素的数组。

数组下标越界访问会产生编译错误。

程序运行时发生数组下标的越界访问，程序依然可能正常结束。