Что такое перекрытие строк в соответствии со стандартом C?

Question

От C стандарт:

7.21.2.4 strncpy функция

Если копирование происходит между объектами, которые перекрывают друг друга, поведение не определено.

---

Что перекрывается?

Ясно, что он перекрывается, когда начало целевой строки пересекает конец исходной строки.

Но перекрывается ли это в следующем примере?

const char* dateConst = "2017-01-25"; 
char* date = malloc(16); 
strcpy(date, dateConst); 

strncpy(date+4, date+5, 2); 
strncpy(date+6, date+8, 3); 

printf("%s\n", date); 

Выход: 20170125

Если strncpy только copyes символы полукокса на гольца, как это в this implementation, не должно быть никаких проблем.

Answer 1

Если strncpy просто копирует символы char char, как в этой версии , проблем не должно быть.

Это как раз проблема. В стандарте не указывается, какой должна функционировать функция, но какой результат должен дать, и в то же время указать, что если есть какой-либо перекрытие, то получается UB, что делает кодеры бесплатными для использования независимо от подхода как .

Это связано с тем, что новые инструкции или архитектуры процессоров могут спонсировать использование новых и более эффективных инструкций, которые могут следовать другому способу адресации (то есть копировать в обратном порядке или в смешанном порядке). Это может дать вам какой бы то ни было результат, не предсказуемый, на самом деле неопределенное поведение.

В конце концов вы можете использовать функцию memmove, которая явно позволяет перекрывать или записывать вашу собственную функцию с перекрытием.

Answer 2

strncpy не может быть реализован каким-либо конкретным способом. Стандарт C только диктует контракт API, которому он должен следовать. Любая реализация может решить сделать перекрытие без проблем, но это не обязано делать по стандарту.

strncpy может быть реализован в терминах memcpy, что подлежит неопределенному поведению при перекрытии источника и места назначения. Но со спецификацией, упомянутой выше, все в порядке.