Странность инициализации массива char?

Question

[Даниил Демидко]

MinGW
Мы можем инициализировать массив типа char вот так:

// 4 конечно же завершающий символ
char example[4];

// вместе "name" Пока что все ясно. 4 по прежнему завершающий символ.
example[0]='n'; example[1]='a'; example[2]='m'; example[3]='e';

// Почему я не могу сделать так???
char exampleTwo[4]="name"; // Не компилируется!

// Зато вот так прекрасно компилируется:
char exampleTwo[5]="name"; // Два завершающих символа???

Кто мне может объяснить в чем подвох?

Answer 1

[Армянское Радио]

Обнаружен бардак в голове! В вашей, к сожалению.

char example[4]; - массив на 4 места. НА 4, КАРЛ!
Считаем (прописью) N (раз) A (два) M (три) E (четыре)

Все, место кончилось. Никакого завершающего символа на месте [4] нет, это ваше заблуждение.
Чтобы сохранить строку из четырех символов, нужен пятиместный массив. Что и потребовал компилятор.

Вывод - вам - доучиваться. А компилятор - молодец.

Comments

[Даниил Демидко]

Как? Я не могу это вместить. Индексация массивов в плюсах всегда была с нуля, так?
n - 0 a - 1 m - 2 e - 3

[Армянское Радио]

Даниил Демидко: После e следует символ с кодом ноль.

[Даниил Демидко]

Ну хорошо, но ведь и в массивах последняя ячейка завершающая- ноль?
Например
int arr[5]{0, 1, 2, 3, 4};
К arr[5] мы обратиться не можем. Вот это я и назвал завершающим символом.
Теперь мне понятно, что строка сама по себе несет завершающий символ, и его нужно было учесть.
Но и в этом случае char example[4], example[4] являлся завершающей ячейкой.

[Даниил Демидко]

Извините, а можно спросить, я похоже заблуждался все это время.
Сейчас у меня два варианта насчет массивов.
1: при объявлении массива резервируется столько ячеек сколько объявлено вместе с нулевой. То есть int arr[2] это 0 1 2 и ячейка два завершающая. Где arr[0] это 0 arr[1] это 1 arr[2] это 2.
2: при объявлении массива резервируется столько ячеек сколько объявлено, причем счет ведется с 0ой. То есть int arr[2] это 0 1,
где arr[0] это 1 и arr[1] это 2.
Какой из этих вариантов правильный?

[Antony]

Даниил Демидко: При объявлении массива выделяет (резервирует, как вы сказали) ровно столько, сколько вы укажите.

Другое дело, что если вы прининициализируете массив строковым литералом, то для записи строкового литерала надо на 1 символ больше, ибо они всегда заканчиваются нулевым символом. (компилятор его подставляет автоматически).

[Antony]

Antony: На один символ больше, чем в строке символов. :)

[Максим Мосейчук]

Даниил Демидко: нет никаких "завершающих" ячеек.

[Даниил Демидко]

Армянское Радио: Спасибо, что сказали, у меня и правда в голове была каша. Перечитал Страуструпа. Теперь я понял, что когда мы резервируем массив отчет ведется от единицы, но элементы индексируются с нуля.
int a[3];
a[0] это 1
a[1] это 2
a[2] это 3

Answer 2

[D']

Итак:
char example[4]; - Создаем массив типа Char из 4х элементов.
В С\C++ индексация массивов начинается с нуля. Считаем внимательно 0, 1, 2, 3 = 4 элемента.

char exampleTwo[4]="name";
Тут интереснее:
- exampleTwo - массив типа char из 4х элементов.
- "name" - строка. Из 5(!) элементов. Из 5, так как строка в C\C++ - это какой-то набор байт, который заканчивается 0 (нулем).

char exampleTwo[5]="name";
Теперь все верно, мы в массив из 5 элементов заносим 5 элементов [n, a, m, e, 0]

Comments

[Даниил Демидко]

Спасибо, теперь я понял.

[abcd0x00]

Вот легальный код на C.

#include <stdio.h>

int main(void)
{
    char arr[4] = "abcd";
    putchar(arr[0]);
    return 0;
}

Нельзя смешивать C и C++, так как это разные языки.