Каково поведение, когда инициализаторов больше, чем размер массива?

Код плохо сформирован как на C, так и на C++.

С++ 11 §8.5.1 [dcl.init.aggr]/6 гласит:

список-инициализаторов имеет неправильный формат, если количество предложений-инициализаторов превышает количество членов или элементов для инициализации.

C11 §6.7.9/2 гласит:

Ни один инициализатор не должен пытаться предоставить значение для объекта, не содержащегося в инициализируемом объекте.

Я взглянул на ассемблерный gcc, созданный для вашего примера, и похоже, что он идет по «безопасному» маршруту; он просто не загружает значения, превышающие размер массива:

void main() {
    int t[3] = { 1, 2, 3, 4 };
}

Генерирует следующую сборку:

main:
    pushl %ebp
    movl  %esp, %ebp
    subl  $16, %esp
    movl  $1, -12(%ebp)
    movl  $2, -8(%ebp)
    movl  $3, -4(%ebp)
    leave
    ret

Это было создано с помощью gcc 4.4.3.

Ну, это зависит от вашего компилятора. Некоторые даже не позволят вам построить с этим, Visual Express дает:

error C2078: too many initializers

В то время как gcc позволяет ему летать, но предупреждает вас, что слишком много элементов... Я не думаю, что в этом случае есть ожидаемое поведение, поскольку оно не определено, но это точно не сработает.

Ex:

int t[3] = { 1, 2, 3, 4 }; 
int i;

for(i = 0; i< 5; i++){
    printf("val = %d\n", t[i]);}

val = 1
val = 2
val = 3
val = 4
val = 134513760

Я не занимался дизассемблированием, но я почти уверен, что в конце он просто сталкивается с другими данными.