判断C语言数组初始化后，arr[3]的值为0且arr[5]是合法下标这一表述是否正确

定义

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

则arr[3]的值为0，arr[5]是合法下标。