Действительно, K&R приводят в пример функцию
1.
2.
3.
4.
void strcpy(char *s, char *t)
{
while (*s++ = *t++);
}
K&R p. 104Приращение s и t здесь осуществляется в управляющей части цикла. Значением *t++ является символ, на
который указывает переменная t перед тем, как ее значение будет увеличено; постфиксный оператор ++ не
изменяет указатель t, пока не будет взят символ, на который он указывает. То же в отношении s: сначала
символ запомнится в позиции, на которую указывает старое значение s, и лишь после этого значение
переменной s увеличится. Пересылаемый символ является одновременно и значением, которое
сравнивается с '\0' . В итоге копируются все символы, включая и заключительный символ '\0'.
Предлагаю рассмотреть такой участок кода:
1.
2.
3.
4.
5.
char buf[]="abcdefg";
char* s1=buf+3;//"defg";
char* s2=buf;//"abcdefg"
strcpy(s1,s2);//1
strcpy(s2,s1);//2
Понятно что в обоих случаях, мы ничего хорошего не получим. Собственно потому в стандарте, в прототипе функции мы можем видеть restrict-квалификаторы
ISO/IEC 9899:201x7.24.2.3 The strcpy function
Synopsis
1
1.
2.
3.
#include <string.h>
char *strcpy(char * restrict s1,
const char * restrict s2);
Description
2 The strcpy function copies the string pointed to by s2 (including the terminating null
character) into the array pointed to by s1. If copying takes place between objects that
overlap, the behavior is undefined.
Returns
3 The strcpy function returns the value of s1.
По коду
1.
2.
3.
4.
std::vector<int> v = { 0, 0 };
int i = 0;
v[i++] = i++;
std::cout << v[0] << v[1] << endl;
если бы нам сказали, что не должно быть UB, хоть ты тресни, я подумал ещё немного. Возможно стоит вести себя так-же как в примере выше, и на выходе мы получим 00 (знаю что недавно исключил такой вариант). Вообщем у меня такой вопрос, зачем нужен такой код, какая от него практическая выгода ? Думаю что особой выгоды нет, и мы просто пытаемся решить вопрос о том, что было бы если бы мы вводили закон касаемо такого поведения. У меня нет аргументов ни за, ни против того, что такой закон нужен. Приведите их пожалуйста :)
Basil A. Sidorov Программирование всё больше и больше становится производством кода. На любом производстве есть правила техники безопасности, которые могут мешать и мешают эффективному производству.
Почему вы так считаете ?
