在数组初始值设定项中有多余的元素可以吗？

Question

通常在我们初始化数组时，我们可能会这样做：

int arr[] = {1, 2, 3, 4, 5};

但是可以明确地限制数组的长度如下所示吗？ ：

int arr[3] = {1, 2, 3, 4, 5};

尽管编译器发出了一些警告，但可执行文件似乎没有任何问题。

Answer 1

不，不行。 从C99,6.7.8.2：

约束

1. 初始化程序不应尝试为未初始化的实体中包含的对象提供值。

在我的阅读中，这意味着提供多余的初始化元素是违反约束的，因此它会调用未定义的行为。