Моя strcat

[Valter]

Здравствуйте, уважаемые!

Осваиваю C. Написал программу, использующую ф-ю strcat(), но не библиотечную, а мою собственную. Возник вопрос следующего содержания...

В таком варианте работа ф-и неверна:

void strcat2(char* s, char* t)
{
    while ((*s++) != '\0')
        ;
    while ((*s++ = *t++) != '\0')
        ;
}

при печати в вызывающей программе в конец s[] не добавляется t[], то есть

printf("\nResult:\n%s", string1);

выводит только изначальную s[] без t[] в конце.


В таком - работа ф-и верна:

void strcat2(char* s, char* t)
{
    while (*s != '\0')
        s++;
    while ((*s++ = *t++) != '\0')
        ;
}

Вся разница - в первом while. Непонятно, почему в нем нельзя использовать оператор инкремента на указателе в самом условии? Объясните, пожалуйста, если не трудно.

[netrino]

*s++ - разыменовывает s, затем увеличивает указатель s на один
то есть сначала он находит '\0', а затем тут же увеличивает указатель на 1
то есть после цикла

while((*s++) != '\0');

s указывает на символ, следующий за нулём

[Valter]

Точно.

То есть в первом while при достижении конца строки, из конструкции (*s++) для сравнения c '\0' берется еще не увеличенный на 1 указатель s, потом он разыменовывается *s для получения самого значения, оно сравнивается с '\0', в результате чего тело цикла первого while (пусть и пустое) не выполняется и следующей итерации не будет, но при этом указатель все равно сдвигается на 1 вследствие внутреннего инкремента в условии.

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

Все так, я ничего не упустил?

Спасибо, netrino!

PS: н-да, надо осторожнее с инкрементами/декрементами в условиях, не первый раз уже на одни и те же грабли встаю...(

[Valter]

Кстати, а в случае

((*s++ = *t++) != '\0')

тоже происходит выход за границы? Ведь при этом оба указателя s и t после того, как в s[] скопировался '\0' из конца t[], и сравнился с '\0' в условии, тоже увеличиваются на 1. Здесь тоже была бы ошибка, если бы я, скажем, еще стал дописывать к строке другие строки?

[netrino]

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

Все так, я ничего не упустил?

Всё верно

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

Кстати, а в случае
Код:

((*s++ = *t++) != '\0')

тоже происходит выход за границы? Ведь при этом оба указателя s и t после того, как в s[] скопировался '\0' из конца t[], и сравнился с '\0' в условии, тоже увеличиваются на 1. Здесь тоже была бы ошибка, если бы я, скажем, еще стал дописывать к строке другие строки?

Да, в данном случае это не критично, так как s и t больше не используются, но тем не менее Вы правы )
Кстати, в принципе это можно было бы записать короче:

while(*s++); // первый цикл
while(*s++ = *t++); // второй цикл

При достижении нуля, он попадает в условие while и выступает в качестве false, хотя, безусловно, это не столь очевидная запись

[Valter]

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

Да, в данном случае это не критично, так как s и t больше не используются, но тем не менее Вы правы )

То есть, если бы я их использовал дальше, и после последнего while еще было бы что-то с этими указателями, то снова была бы ошибка при записи...

Ну а так - да, действительно, они же локальные копии, после выхода - уничтожаются и уже не важно, куда они указывали в конце работы этой функции. Именно так, кстати, рекомендуют писать Ритчи с Керниганом.

Кстати, в принципе это можно было бы записать короче:...
это не столь очевидная запись

Знаю, поэтому я специально так не пишу, во всяком случае, пока.