Access violation и размерность символьного массива

The_Immortal · Регистрация: 04.04.2009

Author24 — интернет-сервис помощи студентам

Всех приветствую!
Только начинаю работать с консолькой, и вот уже возникли непонятки с символьными массивами.

Конкатенирую 2 введенные строчки через разделитель " - ":

C++

#include <cstdio>
#include <cstdlib>
#include <iostream>
using namespace std;
 
#include <string.h>
 
int main(int nNumberofArgs, char* pszArgs[])
{
    char szString1[256];
    cout << "Enter string #1:";
    cin >> szString1;
 
    char szString2[20];
    cout << "Enter string #2:";
    cin >> szString2;
 
    strcat(szString1, " - ");
 
    strcat(szString1, szString2);
 
    cout << "\n" << szString1 << "\n";
 
    system("PAUSE");
    return 0;
}

Когда во вторую строчку ввожу ровно заданное кол-во символов (т.е. 20) , то на

C++

1	strcat(szString1, szString2);

Выдается access violation. Почему - не понимаю. Есть предположение, что strcat у szString2 ищет нулевой символ по индексу [20+], а нарывается на закрытый блок.
Но почему я должен заботиться об этом нулевом символе и плюсовать дополнительно еще один символ в размерности для этого нулевого символа?

Хотя, наверное, мое предположение об 0-ом символе неверно. Тогда что же это?

@Avazart · 05.06.2012, 01:49

Ну так она до него доходит и копирует и его (ну это детали, может потом его добавляет).

The_Immortal · 05.06.2012, 01:52 **[ТС]**

Avazart, а зачем она его копирует, когда функция по описанию должна тормознуть как только увидит '^', т.е. /0, м?

@Avazart · 05.06.2012, 01:58

по описанию должна тормознуть как только увидит '^', т.е. /0, м?

Так она делает с первой строкой

Она ведь должна как нибудь обеспечить новой конец в строке.

Т.е она делает символы_строки№1+символы_строки№2+\0.

@Toshkarik · 05.06.2012, 02:02

Сообщение от The_Immortal

Вот происходит запись этого нулевого символа за пределы массива - никто не ругается почему-то.

Просто скорей всего в strcat реализована обработка исключений.

The_Immortal · 05.06.2012, 02:06 **[ТС]**

Avazart, аа, и типа вот тут

Сообщение от Avazart

делает символы_строки№1+символы_строки№2+\0.

натыкается на закрытый блок (при записи получается), так?

Добавлено через 3 минуты
Короче, вот примерная имитация strcar

C++

#include <cstdio>
#include <cstdlib>
#include <iostream>
using namespace std;
 
#include <string.h>
 
void concatString(char szTarget[], char szSource[]);
 
int main(int nNumberofArgs, char* pszArgs[])
{
    char szString1[256];
    cout << "Enter string #1:";
    cin >> szString1;
 
    char szString2[20];
    cout << "Enter string #2:";
    cin >> szString2;
 
    concatString(szString1, " - ");
 
    concatString(szString1, szString2);
 
    cout << "\n" << szString1 << "\n";
 
    system("PAUSE");
    return 0; 
}
 
void concatString(char szTarget[], char szSource[])
{
 
    int targetIndex = 0;
    while(szTarget[targetIndex])
    {
        targetIndex++;
    }
 
    int sourceIndex = 0;
    while(szSource[sourceIndex])
    {
        szTarget[targetIndex] = 
            szSource[sourceIndex];
        targetIndex++;
        sourceIndex++;
    }
 
    szTarget[targetIndex] = '\0';
}

Ща потестим...

@Avazart · 05.06.2012, 02:06

Ну это тонкости реализации... не вижу смысла в них лезть...

The_Immortal · 05.06.2012, 02:07 **[ТС]**

Avazart, по мне так это азы... Разве нет?

@Avazart · 05.06.2012, 02:09

Ну врятле это касается самого языка С++ скорее компилятора реализующего язык... но это мое мнение...

Например не факт что strcat не знает истинный размер массива и просто его сравнивает...

@Toshkarik · 05.06.2012, 02:09

Как Вы уже заметили, все зависит от компилятора и расположения данных в памяти. Ведь они не обязаны находиться рядом. Это просто случай/компилятор.

The_Immortal · 05.06.2012, 02:34 **[ТС]**

Я разобрался... Относительно

Avazart очень хорошо Вы тут подметили - это ключик

Т.о. если не выделить надлежащий размер для szString2, то в последствии получается, что szString2[20]=szString1[1], где szString1[1]=/0 (по непонятным причинам... ок-ок - зависит от компилятора

) Ну и szString2[21] = szString1[2] и т.д.

Так вот, когда происходит вот это:

C++

1	strcat(szString1, " - "); //зря я на нее не обращал внимание

то szString1 становится такой: " - ", соответственно szString2[20] = ' ', а не /0. Поэтому в дальнейшем, при вызове:

C++

1	strcat(szString1, szString2);

strcat находит этот символ черт знает где - и натыкается на закрытый блок. А возможно, что и не успевает найти этот /0 - записывает весь мусор подряд, натыкаясь среди этого мусора на закрытый блок памяти. Но может повезти и она успешно наткнется на /0, но тогда все равно на выходе получится ерунда.

Вот...

P.S. применимо для Builder C++

@Avazart · 05.06.2012, 02:58

Нифига не понял из вами сказаного...

The_Immortal · 05.06.2012, 03:37 **[ТС]**

Я еще больше понял!

Сообщение от The_Immortal

strcat находит этот символ черт знает где - и натыкается на закрытый блок. А возможно, что и не успевает найти этот /0 - записывает весь мусор подряд, натыкаясь среди этого мусора на закрытый блок памяти. Но может повезти и она успешно наткнется на /0, но тогда все равно на выходе получится ерунда.

Все-таки какой-то скомканный конец, вам не кажется?

Вот более четкий:

Итак, рассматриваем

C++

1	strcat(szString1, szString2);

Напоминаю: в szString1 у нас сейчас содержится: " - /0", а в szString2 "01234567890123456789 - /0" (подчеркнутое - дублирование szString1)
Как заметил глубокоуважаемый Avazart, конец строки szString2 состоит из szString1, в связи с этим изменение szString1 будет приводить к изменению конца строки szString2 (и наоборот).
Поехали.
Берем " - /0" и добавляем туда '0' от szString2 (/0 разумеется перезаписываем). szString1 теперь у нас: " - 0", НО и szString2 у нас теперь: "01234567890123456789 - 0" (т.е. /0 мы и тут перезаписали) и т.д. и т.д. Когда пройдем первый "круг", то szString2 будет иметь вид:
"01234567890123456789 - 01234567890123456789
А szString1 такой:
" - 01234567890123456789" и так далее до тех пор, пока не нарвемся на закрытый блок

Я знаю, что этот бред никто читать не будет, но главное, что я разобрался

Единственное, что я не смог понять, так это почему происходит такая связь между szString1, szString2 в случае если у szString2 пожмотничать с размерностью... Друг за другом идут что ли... Вот это не ясно.

Добавлено через 1 минуту
Avazart,

Сообщение от Avazart

Нифига не понял из вами сказаного...

Ну я не знаю как это все по-другому объяснить

Вроде выше объяснил

Добавлено через 20 минут

Сообщение от The_Immortal

Единственное, что я не смог понять, так это почему происходит такая связь между szString1, szString2 в случае если у szString2 пожмотничать с размерностью... Друг за другом идут что ли... Вот это не ясно.

Действительно, в памяти szString1 идет сразу за szString2. Соответственно, если их не разделять между друг другом нулевым символом, то szString2 будет включать содержимое szString1 и изменять его (при изменении "конца" у szString2 - и наоборот).

Таким образом, скрин отсюда легко объяснить. Я тогда задавался вопросом:

Сообщение от The_Immortal

странно... А почему тут 'a' (из первой строки) вдруг на /0 перезаписалась?

Дело в том, что после ввода 20 символов в szString2, на szString2[20] автоматом поместился символ /0, как подсказал нам Toshkarik (т.е. это вовсе не "рандомный мусор", как я предполагал изначально), а на этом месте уже находилось szString[1] (т.к. в памяти эти переменные идут друг за другом). Вот и произошла перезапись.

Теперь everything is clear!

Avazart, низкий Вам поклон, что направили в нужное русло (вероятно, сами того не подозревая)

@Avazart · 05.06.2012, 03:37

Напоминаю: в szString1 у нас сейчас содержится: " - /0"

А это еще с какого перепугу?
"abcde - \0" ну или что туда там записываешь + " - "

The_Immortal · 05.06.2012, 03:44 **[ТС]**

Avazart, именно что нет. Откуда там abcde?

Внимательнее прочтите это:

Действительно, в памяти szString1 идет сразу за szString2. Соответственно, если их не разделять между друг другом нулевым символом, то szString2 будет включать содержимое szString1 и изменять его (при изменении "конца" у szString2 - и наоборот).

Таким образом, скрин отсюда легко объяснить. Я тогда задавался вопросом:
"странно... А почему тут 'a' (из первой строки) вдруг на /0 перезаписалась?"

Дело в том, что после ввода 20 символов в szString2, на szString2[20] автоматом поместился символ /0, как подсказал нам Toshkarik (т.е. это вовсе не "рандомный мусор", как я предполагал изначально), а на этом месте уже находилось szString[1] (т.к. в памяти эти переменные идут друг за другом). Вот и произошла перезапись. Т.е. szString[1] = \0.

Посмотрите на скрин, там szString1 в самом начале содержит \0 (почему - объяснил выше). Соответственно, когда происходит вызов

C++

1	strcat(szString1, " - ");

то strcat сразу натыкается на \0, считает что оттуда надо начинать запись и пишет " - " (т.е. перезаписывает с самого начала). Т.е. в итоге вместо "\0bcd" записывает " - \0".

Так понятно?

P.S. Блин, а в какую сторону у нулевого символа слэш?

А то я и так и сяк... В общем, там где слэш перед ноликом - это у меня нуль-терминатор (какое все-таки страшное название...)

@Avazart · 05.06.2012, 03:46

Откуда там abcde?

C++

1	cin >> szString1;

The_Immortal · 05.06.2012, 04:14 **[ТС]**

Avazart, почитайте чуть выше... Введенное "abcde" впоследствии заменится на "\0bcde" из-за

C++

1	cin >> szString2;

т.к. после этого в szString2[20] автоматически поместился \0. А szString2[20] = szString1[1] => 'a' стало \0.

Добавлено через 1 минуту
Также хочу заметить, что заявление

Сообщение от The_Immortal

Действительно, в памяти szString1 идет сразу за szString2

разумеется носит частный характер (например, когда размерность у szString2 равна szString2[20], IDE: C++ Builder и это, судя по скринам, не только у меня). Т.к. если посмотреть на скрин №2 отсюда, то видно, что массивы располагаются в памяти не друг за другом - в связи с этим все успешно прошло.

Avazart, схватили мою общую мыслю?

@Avazart · 05.06.2012, 12:34

Ну блин я думал это очевидно...

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	05.06.2012, 01:49	61
	Ну так она до него доходит и копирует и его (ну это детали, может потом его добавляет). 0

The_Immortal 1569 / 505 / 48 Регистрация: 04.04.2009 Сообщений: 1,891
	05.06.2012, 01:52 [ТС]	62
	Avazart, а зачем она его копирует, когда функция по описанию должна тормознуть как только увидит '^', т.е. /0, м? 0

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	05.06.2012, 01:58	63
	по описанию должна тормознуть как только увидит '^', т.е. /0, м? Так она делает с первой строкой Она ведь должна как нибудь обеспечить новой конец в строке. Т.е она делает символы_строки№1+символы_строки№2+\0. 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	05.06.2012, 02:02	64
	Сообщение от The_Immortal Вот происходит запись этого нулевого символа за пределы массива - никто не ругается почему-то. Просто скорей всего в strcat реализована обработка исключений. 0

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	05.06.2012, 02:06	66
	Ну это тонкости реализации... не вижу смысла в них лезть... 0

The_Immortal 1569 / 505 / 48 Регистрация: 04.04.2009 Сообщений: 1,891
	05.06.2012, 02:07 [ТС]	67
	Avazart, по мне так это азы... Разве нет? 0

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	05.06.2012, 02:09	68
	Ну врятле это касается самого языка С++ скорее компилятора реализующего язык... но это мое мнение... Например не факт что strcat не знает истинный размер массива и просто его сравнивает... 1

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	05.06.2012, 02:58	71
	Нифига не понял из вами сказаного... 0

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	05.06.2012, 03:37	73
	Напоминаю: в szString1 у нас сейчас содержится: " - /0" А это еще с какого перепугу? "abcde - \0" ну или что туда там записываешь + " - " 0

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	05.06.2012, 12:34	77
	Ну блин я думал это очевидно... 0