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

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

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

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

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#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++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
#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

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

Новые блоги и статьи Все статьи Все блоги /
Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20%	Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .	Горе от ума kumehtar 07.04.2026 Эта мне ментальная установка, что вот прямо сейчас, мол, мне для полного счастья не хватает (нужное вписать), и когда я этого достигну - тогда и полный кайф. Одна из самых сильных ловушек на пути. . . .	Использование значений реквизитов справочника в документе, с определенными условиями и правами Maks 07.04.2026 1. Контроль срока действия договора Алгоритм из решения ниже реализован на примере нетипового документа "ЗаявкаНаРаботу", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если. . .
Доступность команды формы по условию Maks 07.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: сделать доступной кнопку (команда формы "ЗавершитьСписание") при. . .	Уведомление о неверно выбранном значении справочника Maks 06.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "НарядПутевка", разработанного в конфигурации КА2. Задача: уведомлять пользователя, если в документе выбран неверный склад. . .	Установка Qt Creator для C и C++: ставим среду, CMake и MinGW без фреймворка Qt 8Observer8 05.04.2026 Среду разработки Qt Creator можно установить без фреймворка Qt. Есть отдельный репозиторий для этой среды: https:/ / github. com/ qt-creator/ qt-creator, где можно скачать установщик, на вкладке Releases:. . .	AkelPad-скрипты, структуры, и немного лирики.. testuser2 05.04.2026 Такая программа, как AkelPad существует уже давно, и также давно существуют скрипты под нее. Тем не менее, прога живет, периодически что-то не спеша дополняется, улучшается. Что меня в первую очередь. . .

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

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

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

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

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

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	05.06.2012, 02:09
	Как Вы уже заметили, все зависит от компилятора и расположения данных в памяти. Ведь они не обязаны находиться рядом. Это просто случай/компилятор. 1

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

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