Почему массив заполнился буквой H?

Question

[Даниил Игоревич]

#include <iostream>;
#include <conio.h>;
#include <ctime>;

using namespace std;


int main() {
	setlocale(0, "");
	
	char **arr = new char*[10];

	for (int i = 0; i < 10; i++) {
		arr[i] = new char[10];
	}

	arr[0][1] = 'K';
	arr[0][2] = 'L';

	for (int i = 0; i < 10; i++) {
		for (int z = 0; z < 10; z++) {
			cout << arr[i][z] << endl;
		}
	}

	system("pause");
	return 0;
}

Answer 1

[Антон Жилин]

Память не инициализирована, поэтому там мусор. Что именно -- Unspecified Behavior.

Comments

[Даниил Игоревич]

А просто оставить пустую строку компилятору нельзя?

[Антон Жилин]

Даниил Ораин: cout << arr[i][z] выведет символ, содержащийся в arr[i][z]. Чтобы вывести пустую строку, программе нужно знать, что в arr[i][z] содержится, в данном случае, 'H' не потому, что мы его туда положили, а потому, что мы не хотим его выводить. Если задача поставлена именно так, то нужно завести отдельный двумерный массив bool, где true означает, что данный символ нужно вывести.

[Антон Жилин]

Даниил Ораин: или же инициализировать все элементы массива пробелами, тогда вместо ненужных элементов будут пробелы (те самые пустые строки)

[Антон Жилин]

Даниил Ораин: или вы напишете, что требуется от программы и для чего вам понадобился этот массив, тогда может появиться более изящная альтернатива

[Даниил Игоревич]

Антон Жилин: "'H' не потому, что мы его туда положили, а потому, что мы не хотим его выводить." Я вообще ничего не хотел выводить (разве что пустые строки, но они не считаются), но это же, наверное, не значит, что нужно выводить всё подряд :)

[Даниил Игоревич]

Антон Жилин: понятно, спасибо.

Answer 2

[Alexander Movchan]

Вообще это довольно странно, никакого unspecified behavior происходить не должно, так как выражение new вызывает конструктор по умолчанию для каждого объекта, то есть встроенные типы должны быть инициализированы нулём.

Попробуйте вывести не символ, а его код, заменив одну строчку на:
cout << static_cast<int>(arr[i][z]) << endl;

P. S. Несколько советов по коду. Во-первых, после директив препроцессора не нужно ставить точку с запятой:
#include <iostream>
Во-вторых, endl не только переводит на новую строку, но и сбрасывает накопленный буфер, то есть сразу выводит всё на экран или в файл. Если у вас много вывода, это может очень серьёзно замедлить вашу программу. Для простого перевода строки выводите специальный управляющий символ '\n'

Если выводите матрицу (двумерный массив), удобнее делать это так:

for (int i = 0; i < 10; i++) {
    for (int j = 0; j < 10; j++) {
        cout << arr[i][j] << ' '; // пробел можно убрать
    }
    cout << '\n';
}

Так же никогда не нужно использовать функцию system. Она приостанавливает вашу программу, и запускает другую (в данном случае pause). Такой вариант не только не оптимальный, но ещё и платформозависимый. Людям, которые используют mac или linux придётся вносить изменения в ваш код, чтоб запустить его, так как в этих ОС нет команды pause. Используйте для этого средства языка C++: cin.get();

И ещё никогда не используйте заголовочный файл conio.h. Он не является частью стандарта языков C или C++, и не поддерживается большинством компиляторов.

P. P. S. Какой компилятор вы используете? Какой он версии? Какие ключи компиляции или настройки проекта в IDE?

Comments

[jcmvbkbc]

> выражение new вызывает конструктор по умолчанию для каждого объекта, то есть встроенные типы должны быть инициализированы нулём.
Вовсе нет. С++98 5.3.4:15 говорит нам следующее:

A new-expression that creates an object of type T initializes the object as follows:
- If the new-initializer is omitted:
- If T is a (possibly cv-qualified) non-POD class type...
- Otherwise, the object created has indeterminate value. ...
- If the new-initializer is of the form ( ), default-initialization shall be performed;

Т.е. написал бы он
arr[i] = new char[10]();
-- была бы инициализация нулём, а не написал скобочек -- получил мусор.

[Даниил Игоревич]

Спасибо за советы, обязательно все сделаю. Я пользуюсь Visual Studio 2015, в параметры компилятора я ещё не смотрел, а каким лучше пользоваться?

[Даниил Игоревич]

jcmvbkbc: а как эти скобки повлияли на результат?

[Alexander Movchan]

jcmvbkbc: Извините, за С++98 не знаю, да и в стандарт не заглядывал, но по опыту знаю, что даже без скобок все значения инициализируются по умолчанию. Вот, что есть в С++17:

17 A new-expression that creates an object of type T initializes that object as follows:
(17.1) — If the new-initializer is omitted, the object is default-initialized (8.5). [ Note: If no initialization is
performed, the object has an indeterminate value. — end note ]
(17.2) — Otherwise, the new-initializer is interpreted according to the initialization rules of 8.5 for directinitialization

7 To default-initialize an object of type T means:
(7.1) — If T is a (possibly cv-qualified) class type (Clause 9), constructors are considered. The applicable
constructors are enumerated (13.3.1.3), and the best one for the initializer () is chosen through overload
resolution (13.3). The constructor thus selected is called, with an empty argument list, to initialize the
object.
(7.2) — If T is an array type, each element is default-initialized.
(7.3) — Otherwise, no initialization is performed.

[jcmvbkbc]

> а как эти скобки повлияли на результат?
Даниил Ораин: а попробовать слабо?

[Даниил Игоревич]

jcmvbkbc: упс, неправильно выразился: хотел спросить, как они вообще влияют на результат, что это такое и когда использовать.

[jcmvbkbc]

Александр: Отлично, для char [] мы попадаем в 7.2, а оттуда -- в 7.3, поскольку char -- это не класс.

[jcmvbkbc]

> по опыту знаю, что даже без скобок все значения инициализируются по умолчанию.
Александр: у нас с вами существенно разный опыт.

[jcmvbkbc]

> хотел спросить, как они вообще влияют на результат, что это такое и когда использовать.
Даниил Ораин: что в приведённых цитатах из стандартов вам неясно?

[Alexander Movchan]

jcmvbkbc: да, я вижу. Может особенности реализации компилятора?

[Георг Гаал]

Александр: да причем тут компилятор. Я почти готов поспорить, что вышеприведенный код в DEBUG версии будет отлично работать, а в RELEASE творить беспредел )))) Только лишь потому что в релизе память не очищена изначальна для производительности.

[AtomKrieg]

О! конструктор по умолчанию для int. Круто. У него наверное еще copy-constructor есть. Вы наследуете классы от int? Давайте поговорим.

[Alexander Movchan]

AtomKrieg: я же объяснил, что встроенные типы инициализируются значением по умолчанию.

[AtomKrieg]

stackoverflow.com/questions/2468203
просто так не инициализируется

[Антон Жилин]

Александр: именно, что особенности компилятора. Unspecified Behaviour означает, в том числе, что конкретный компилятор при конкретных опциях может занулять память. А другой компилятор может оставить там мусор, или даже записать туда начало одного из произведений Шекспира.