Мусор (или определённое неопределённое)

[Haric_110]

Здравствуйте, уважаемые программисты! Приходилось ли Вам копаться в "мусоре"? Мне приходилось.
Началось всё с того, как мне захотелось написать собственную реализацию strcat() и strlen() (разумеется в собственном пространстве имён) и я столкнулся с следующей проблемой.
В программе, тестирующей эти функции я объявил три строки:

char str1[80] = "Hallo!";
char str2[] = " How are you?";
char str3[80];

Как видите, первые две строки тут же инициализированы, а третья - нет (она вводится с клавиатуры).

Вот так я реализовал strcat:

void strcat(char* str1, const char* str2)  {
	int pos = strlen(str1);
	const char* q = str2;
	while (*q++) str1[pos++] = *(q - 1);
}

Вот strlen:

int strlen(const char *str) {
	const char* q = str;
	while (*q++);
	return q - str - 1;
}

Перед определением функций есть прототипы, так что, функции видят друг друга с этим проблем нет.
Для первых двух строк strcat сработала как надо, но когда я применил её к третьей:

strcat(str3, str2);

я узнал, что такое "мусор".
Оказалось, что str3 не содержит ни одного "завершающего нуля"! При объявлении, 3-я строка содержит 80 значений -52, беззнаковое представление которых есть 204 в ASCII это русская 'M' или '╠'. При в воде в строку str3 n символов (n<80), первые n 'М' заменяются на символы, введённые с клавы, а остальные не меняются! А при инициализации первой строки все "оставшиеся" символы равны 0, поэтому с ним проблем нет. В strcat пришлось дописать

str1[pos] = '\0';

Или нужно было объявить str3 как нуль-строку

	char str3[80] = "";

Теперь всё работает, но остались вопросы.

Итак, как я понял, значение -52 для char есть ничто иное как "мусор". Эксперимент даёт следующие результаты для "мусора" других типов:

char: -52 'М' | short: -13108 | int: -858993460 | float: -107374176. | doule: -9.2559631349317831e+061

Как я понял здесь int и double расширяются до long-значений, т.к. для long и long double "мусор" идентичен соответствующим значениям для int и double.
Внимание! Bопросы:
1) Почему "мусор", который как я читал и считал должен иметь неопределённый результат имеет вполне определённые отрицательные значения?
2) Почему они именно такие?
3) Зависят ли эти значения от модели процессора, компилятора ОС или ещё чего?

Очень надеюсь на ответы. Заранее благодарен.

[Stilet]

значение -52 для char есть ничто иное как "мусор"

Чего это так? -52 это код символа М он же СС в 16-ти ричной кодировке.

[Haric_110]

Да, я согласен. Но почему неинициализированный символьный массив состоит из символов 'M'?

[Stilet]

М.м.м. Я может глупость сморожу, но по моим догадкам это такая себе защита от... переполнения что ли... ССh это опкод прерывания INT3. Отладочное прерывание
Может загрузчик вставляет этот код, чтоб в случае нарушения доступа к памяти и попытка выполнить байты строки как код привела к вызову отладчика, типо сигнализируя - Ахтунг, что-то не так.

[Haric_110]

Возможно. Тогда для других типов данных это тоже защита от антипереполнения?

Да, действительно, я проверил другие числа. Если учитывать память которую занимают объекты этих типов, то эти числа для каждого из них состоят из ССh. СС на каждый байт.

Спасибо, Stilet!

[Stilet]

Наздоровье )

[Haric_110]

Так это и есть то, что называют "мусором" или нет?

[Stilet]

Ну не похоже. Если это ставит менеджер памяти, то видимо это не мусор. Другое дело, если ты обьявил переменку, но не присвоил ей значение, то по факту ее адрес может указывать на память занятую кем-то до этого, и этот кто-то не обнулил после себя занятые ячейки. В результате код

int m; printf("%d",m);

может показать так называемый "мусор" - значение, иставленное в памяти, куда уже поместили твою переменную кем-то, кто занимал эти ячейки до твоей программы.

[waleri]

Нет, это Debug сборка, где все переменный инициализируются в 0xCC.
В Release сборке содержимое будет случайным.
Но в принципе да, это тоже можно считать мусором.

[Haric_110]

Хорошо. Я понял. Будем считать, что в моём случае это не мусор, а пометка переменной "Пусто" - защита от антипереполнения, которая работает при Debug-отладке.
Спасибо!