[C] Помогите решить простую задачу со строками

[tumanovalex]

Нужно выделять в строке пары букв. В строке  t = "маланаламана" сначала нужно выделить "ма", потом "ал", потом "ла" и так далее. Причем в строку p нужно помещать только уникальные сочетания двух букв, например, должно быть одно "ма". У меня же в результата количество повторяющихся символов 1, а в строке p - строка "мааллааннааллааммаанна" - 2 ма, 2 на, 2 ла и т.д. Текст программы:

Код:

char *p, b[2], *t = "маланаламана";
int k = 0, nmax = 0, i = 0;
SetConsoleOutputCP(1251);
b[0] = '\0';
p = malloc(128);
p[0] = '\0';
nmax = strlen(t);
for(i=0; i<nmax; i++) {
  strncpy(b, t, 2); 
  if(strstr(p, b)) {
    k++; 
  }
  else {
    strncat(p, b, 2);
  }
  t++;
}

Помогите, пожалуйста, никак не пойму, почему в строке p у меня появляются дубли пар букв. Хотелось бы найти решений на С.

[Вад]

tumanovalex, у тебя b - строго говоря, не строка. Я сделал так:

Код:

char *b[3];
b[2] = '\0';

- после чего strstr стал работать корректно. Разумеется, это правка твоего решения на коленке.

[tumanovalex]

Спасибо большое! Работает. Только я не понял, почему у меня не работало. Вроде бы все правильно (по книгам) , а не работало. Может быть кто-нибудь объяснит, чтобы в будущем не допускать подобные ошибки.

[Вад]

tumanovalex, strstr сравнивает две null-terminated строки (на вхождение одной в другую). Собственно, она не знает, где твой массив заканчивается: для неё как первый символ, равный нулю, встретится - так и кончилась строка. Соответственно, если не дополнить твою b завершающим нулём, то нельзя сказать, сколько ещё символов, расположенных в памяти следом за b[1], попадёт в сравнение в качестве строки. Ну и в результате итог сравнения будет некорректный (скорее всего, не найдёт вхождения такой подстроки в p).

[tumanovalex]

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

[tumanovalex]

Как оказалось, не все я понял. Попытался изменить код: char *b = "  "; Вроде бы, аналогично инициализации p, я должен получить 2 символа и завершающий ноль. Однако при использовании strncpy возникает ошибка компиляции. При b[3] = "  " все нормально. Почему возникает ошибка?

[Вад]

У меня компилятор C++, там, возможно, немного другое поведение для таких случаев, но у меня компилируется.

Тем не менее, такое решение работать точно не будет. Литералы, включая строковые ("<что-то>") являются безымянными константами и помещаются в константную область памяти. То есть, в примере с char* b = "  " указатель будет указывать на константную память. Поэтому все попытки записать туда что либо будут заканчиваться плохо.

upd. Посмотрел стандарт по C. Там написано, что в случае попытки записи в такой массив поведение не определено (что скорее всего значит "упадёт" )

The contents of the arrays are modifiable. On the other hand, the declaration
char *p = "abc";
defines p with type ‘‘pointer to char’’ and initializes it to point to an object with type ‘‘array of char’’ with length 4 whose elements are initialized with a character string literal. If an attempt is made to use p to modify the contents of the array, the behavior is undefined.

[tumanovalex]

У меня дает ошибку (Visual C++). Вообще- то как-то это все странно. Указатель p можно модифицировать, а  подобный ему указатель b - нет.

[tumanovalex]

Спасибо большое за помощь! Плохо я еще знаю С!

[Вад]

tumanovalex, ну вот такая вольность в стандарте - позволяет без ограничений инициализировать обычный указатель адресом read-only памяти. С оговоркой про неопределённое поведение.
Кстати, какая версия Visual C++? У меня на 2003й не компилировался другой фрагмент: "p = malloc(128);" - требовалось явно привести тип к char*. А с символами стандарт C++ выражается поточнее:

An ordinary string literal has type “array of n const char” and static storage duration

То есть, это массив константных символов. Сам указатель, инициализированный адресом такого массива, модифицировать можно сколько угодно - нельзя трогать содержимое.

Я так понимаю, не нашли хорошего способа обойти проблему с типами: ведь указатель на массив констант - это особый тип, а часто нужно использовать его наравне с обычным указателем на символы. В тех же сравнениях или при копировании, или выводе на экран. Проще сказать "помните, что туда писать нельзя" - тем более, что окончательно запретить это силами языка, вроде, нельзя совсем. "Если очень хочется, но нельзя, - то можно, с непредсказуемыми последствиями" - вот примерно такая ситуация получается с доступом к константным данным, в общем случае.

[tumanovalex]

У меня Visual C++ 2005. Вообще-то в других программах у меня тоже компилятор требовал явного преобразования типа в malloc, а а в этой программе почему-то все обошлось. Странно. В MSDN о необходимости явного приведения типа тоже написано. Еще раз спасибо за помощь, по-моему теперь вопрос для меня разъяснился (по крайней мере, мне так кажется в настоящий момент;)