Почему gcc printf(%s, array) правильно выводит массив типа char, который не является NULL-terminated строкой?

Question

[forgoty]

#include <stdio.h>

int main() {
    char foo[6] = {"123456"};
    printf("%s", foo); // 123456
}

Почему gcc правильно выводит данный массив? Ведь спецификатор %s означает вывести на экран все символы массива, пока не встретит \0. Но он явно не задан. Я ожидал увидеть просто поток случайных байтов из памяти до тех пор, пока не встречу \0 где-нибудь.

Answer 1

[rhaport]

Повезло. Следующий адрес за массивом содержит ноль. Массив создаётся на стеке. Ваша простая программа стек на засоряет. Вполне вероятно, что следующий элемент просто 0. Посмотрите в дебаггере значение foo[6] или выведите на экран

Comments

[forgoty]

Действительно, foo[6] является нул-символом. Раз за разом выполняю программу и получаю один и тот же результат. Неужели это всего лишь везение? :)

[Ariox41]

forgoty, У вас массив на стеке, которым фактически управляет компилятор. Вполне возможно, что для данного компилятора этот код будет работать всегда, но любое его изменение может изменить поведение.

[rhaport]

forgoty, согласен с Ariox41 . Ситуация может измениться при использовании ключей оптимизации. Попробуйте -О3. Также при увеличении сложности программы контент стека может быть другим.