Ошибка Stack around the variable was corrupted

245

04 января 2018, 23:50

Передо мной постала простая задача в заданой строке вставить некоторое количество пробелов между словами чтобы длина строки была 60 символов. Но при запуске выдается ошибка "stack around the variable 's' was corrupted". Кто может подсказать в чем проблема?

 #include "stdafx.h"
 #include<iostream>
 #include<string.h>
 using namespace std;
 void change(char arr[61][130], char s[61], int i) {
 int k = 0;
 while (strlen(s)<60) {
    if (k == i - 1) k = 0;
    strcat_s(arr[k], sizeof arr[k], " ");
    memset(s, 0, sizeof(s));
    for (int j = 0; j < i; j++) 
    strcat_s(s, sizeof arr[j], arr[j]);
    k++;
     }
   printf("%s","A new string: ");
   printf("%s\n", s);
 }
void break_on_array(char s[61]) {
char*p;
char*np = NULL;
char*delim = " ";
int i = 0;
char arr[61][130];
p = strtok_s(s, delim, &np);
while (p != NULL) {
    strcpy_s(arr[i], sizeof arr[i], p);
    p = strtok_s(NULL, delim, &np);
    i++;
   }
    change(arr, s, i);
}
int main()
{
 setlocale(LC_ALL, "rus");
 char s[61];
 printf("%s\n", "Введите строку: ");
 gets_s(s);
 break_on_array(s);
 return 0;
}

Answer 1

Отладочная версия функции strcat_s при каждом вызове заполняет неиспользованный остаток буфера значением 0xFD, вплоть до указанного размера

https://msdn.microsoft.com/en-us/library/d45bbxx4.aspx

The debug versions of these functions first fill the buffer with 0xFD. To disable this behavior, use _CrtSetDebugFillThreshold.

Поэтому если вы "наврете" функции strcat_s про размер вашего буфера в большую сторону, то произойдет запись значения 0xFD за пределы буфера, даже если соединяемые вам строки прекрасно помещаются в целевой буфер.

У вас в коде вы явно "врете" про размер вашего буфера: размер буфера равен 61, а вы передаете в strcat_s значение sizeof arr[j], т.е. 130. При первом же вызове strcat_s происходит уничтожение содержимого стека за пределами s, независимо от того, какие у вас входные данные.

Такое поведение strcat_s сделано специально для того, чтобы как можно раньше выявлять ошибки, вроде вашей.

Вот и все.

P.S. Если вы в начале вашей программы сделаете _CrtSetDebugFillThreshold(0);, то ошибка "исчезнет", ибо фактического выхода за пределы буфера в вашем коде (при "разумном" входе) не происходит. Однако это, разумеется, профанация. Если уже вы взялись пользоваться функциями группы _s, то пользуйтесь ими правильно.

P.P.S. Внутри функции change переменная s имеет тип char * и, соответственно, sizeof(s) является просто размером указателя. Поэтому ваше