C++ при вводе в одно переменную меняеться вторая?

Question

[Типа Программист]

Дело было так писал я себя какую нить програмку от фонаря, чисто чтоб писать

Вот такой код:

#include <iostream>
using namespace std;

int main()
{
//  Simple coder, cimple decoder
int krypt,i;
char word[5];
char data[4096];
char krypted[5001];
///////////////////////////////
cout << "Crypt number : ";
cin >> krypt;
cout << "Uncrypt word : ";
cin >> word;
cout << "Crypt data : ";
cin >> data;

cout << endl << endl  << "Crypt number : " << krypt << endl << "Uncrypt word : " << word << endl << "Start crypting? Y/N" << endl;

Вроде бы ничего не обычного, но перменная krypt, меняеться непонятно почему, от разных вводов других данных а именно массивов.

cout << endl << endl  << "Crypt number : " << krypt << endl << "Uncrypt word : " << word << endl << "Start crypting? Y/N" << endl;

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

Вот кусок консоли.
Ситуация 1:

Crypt number : 54414
Uncrypt word : Hellow
Crypt data : 0989091


Crypt number : 119
Uncrypt word : Hellow
Start crypting? Y/N

Ситуация 2:

Crypt number : 54414
Uncrypt word : Hello
Crypt data : 0989091


Crypt number : 54272
Uncrypt word : Hello
Start crypting? Y/N

Comments

[Евгений Шатунов]

MegaCraZy6 , расскажи, как будут размещены в памяти все переменные из твоего кода.
Расскажи ход работы программы, останавливаясь на каждой строке функции main.

Answer 1

[res2001]

Похоже, что на данной платформе стек растет вниз (в сторону уменьшения адресов), поэтому введя в word
6 символов (размер word - 5), произошел выход за пределы массива и последние 2 байта (не забываем, что строки в Си имеют еще дополнительный нулевой символ в конце) записались на соседние переменные, т.е. повредили содержащиеся в них значения.
При этом не произошло никакого сбоя, потому что все переменные в стеке (а все пространство в стеке изначально уже выделено и к нему можно свободно обращаться). Если бы word был динамическим массивом, то скорее всего произошел бы seg fault. В отладочной версии возможно и не произошел бы.
Си и С++ оставляет за программистом возможность управлять памятью, поэтому компилятор такие вещи не отслеживает.
Если хотите избавиться от ошибки, используйте класс string или перепишите код так что бы не было возможности выхода за границы массива.

Comments

[Типа Программист]

Ну я думал что это ошибка такого рода но я чето плохо посчитал походу если нулевой тоже, то 6 елементов получается.

[res2001]

MegaCraZy6, Для первого примера ("Hellow") - 7, для второго - 6.
Если введете в word слово длиной <= 4 символа, то ошибки не будет, т.к. все символы разместятся в нужной памяти и не будут занимать чужого места.

[Евгений Шатунов]

res2001

Похоже, что на данной платформе стек растет вниз (в сторону уменьшения адресов)

А у тебя есть примеры платформ или процессорных архитектур, где стек ведет себя иначе?

Если бы word был динамическим массивом, то скорее всего произошел бы seg fault

Это не так. В какие именно моменты происходит проверка на Heap Corruption?

В отладочной версии возможно и не произошел бы.

Это тоже не так. Как именно происходит проверка на Heap Corruption? В какой конфигурации кучи происходит эта проверка, как это сказывается на производительности и потреблении памяти?

[res2001]

Евгений Шатунов,

А у тебя есть примеры

На сколько я знаю, в SPARC и ARM можно выбирать как растет стек.

[Евгений Шатунов]

res2001 , да, точно. Я про этих ребят забыл совсем. :)

Answer 2

[Xilian]

>>Вроде бы ничего не обычного, но перменная krypt, меняеться непонятно почему, от разных вводов других данных а именно массивов.

Обнуляй переменные. При объявлении в С все переменные имеют случайные значения. А массив - это вообще указатель на случайный мусор в памяти.

Comments

[Евгений Шатунов]

Xilian

А массив - это вообще указатель на случайный мусор в памяти.

А можно поподробнее, куда именно в памяти будет смотреть, скажем, krypted из вопроса? И что за мусор там будет?

[res2001]

Евгений Шатунов, не важно куда в памяти будет смотреть переменная. В данном случае куда-то в стеке.
Когда вы объявляете переменную:
char krypted[5001];
То процессор просто уменьшает значение счетчика стека на sizeof(krypted) байт. Никаких других операций не происходит. При этом все что было в памяти до этого по этим адресам там и остается - это и есть мусор.
Поэтому выделение в стеке переменных происходит очень быстро, по сравнению с выделением в динамической памяти.

[Евгений Шатунов]

res2001 , мне нужен был ответ от Xilian , т.к. в его словах изначально неверные пояснения.
MegaCraZy6 спросил, почему при записи 7 байт ("Hellow") в массив из 5 байт он прописывается в расположенную ниже по стеку переменную. Xilian на это дает заведомо неверное объяснение.

[res2001]

Евгений Шатунов, не понял намека :)

[Евгений Шатунов]

res2001 , к тому же...

То процессор просто увеличивает значение счетчика стека на sizeof(krypted) байт.

Не увеличивает, а уменьшает. Стек растет адресом в минус и схлопывается в плюс.
Я как будто тебе такие же наводящие вопросы об ошибках в ответе не задавал. А ведь задавал уже. :)

У MegaCraZy6 в стеке получается что word[5] своим концом смотрит в торец krypt.
Если в word записать больше 5 байт (про терминальный символ не забываем), то будет затронута память под krypt.
Он пытается писать "Hellow", значит 'w''\0' впишется в младшую пару байт krypt. Изначально krypt у него имеет значение 54414, что значит 0x0000D48E. Т.е. значимых там всего 2 байта. MegaCraZy6 работает с LE и оба значимых байта в krypt записаны впритык к хвосту word.
119 - это код символа 'w'. Последовательность 'w''\0' просто переписывает значение krypt на 119, т.е. на 0x00000077.
Все. Это и означает пропись в памяти - т.е. запись в не предназначенный для этого участок.

[res2001]

Евгений Шатунов,

Не увеличивает, а уменьшает.

Верно, спс.

[Roman]

spoiler

#include <iostream>
#include <cstdio>
using namespace std;

int main()
{
//  Simple coder, cimple decoder
  int krypt{},i{};
  char word[5]{};
  char data[4096]{};
  char krypted[5001]{};
  
  cout << "i: "; cin >> i;
  cout << "word: "; cin >> word;

  for(auto i{0}; i < sizeof(word); ++i)
  {
    printf("word[%d] \'%c\' \t %08x\n", i , word[i], &word[i]);
  }

  printf("i \t\'%c\' \t %08x\n\n", i, &i);
  printf("krypt \t\t %08x\n", &krypt);
  printf("\ndata[0] \t %08x\n", &data);
  printf("i after \t %d", i);
}

i: 45678
word: Hellow
word[0] 'H'      308ffc6f
word[1] 'e'      308ffc70
word[2] 'l'      308ffc71
word[3] 'l'      308ffc72
word[4] 'o'      308ffc73
i       'w'      308ffc74

krypt            308ffc78

data[0]          308fec60
i after          119

[Типа Программист]

Евгений Шатунов, Hellow - Тут 6 символов, я так понял седьмой это символ конца строки?

[Roman]

MegaCraZy6,

i: 999999999
word: Hello
word[0] 'H'      b6afe773
word[1] 'e'      b6afe774
word[2] 'l'      b6afe775
word[3] 'l'      b6afe776
word[4] 'o'      b6afe777
word[5] ' '      b6afe778 <- '\0' затер 1 byte int i
word[6] '╔'      b6afe779
word[7] 'Ъ'      b6afe77a
word[8] ';'      b6afe77b
i       '999999744'     b6afe778

[Евгений Шатунов]

MegaCraZy6

Тут 6 символов, я так понял седьмой это символ конца строки?

Да, 7й - это символ конца строки. Этот символ еще называют терминальным.
Эта разновидность строки называется null terminated string.

[Типа Программист]

Евгений Шатунов, Спасибо никогда не обращал внимание на его сущетсвование, и все мои мини програмки работали). Хотя с ассемблера сним знаком.. Буду знать)