Могу ли я вызвать memcpy() и memmove() с «числом байтов», установленным на ноль?

Question

Нужно ли мне лечить случаи, когда я actully нечего перемещать/копировать с memmove()/memcpy() как крайние случаи

int numberOfBytes = ... 
if(numberOfBytes != 0) { 
    memmove(dest, source, numberOfBytes); 
} 

или я должен просто позвонить функцию без проверки

int numberOfBytes = ... 
memmove(dest, source, numberOfBytes); 

ли проверка в первом фрагменте необходимо?

Answer 1

От стандарта C99 (7.21.1/2):

Где аргумент объявлен как size_t n задает длину массива для функции, n может иметь нулевое значение при вызове, что функция. Если явно не указано в противном случае в описании конкретной функции в этом подпункте, аргументы указателя на такой вызов все равно должны иметь действительные значения, как описано в 7.1.4. При таком вызове функция , которая находит символ, не находит никакого вхождения, функция, которая сравнивает две последовательности символов , возвращает ноль, а функция, которая копирует символы, копирует нулевые символы .

Таким образом, ответ отрицательный; проверка не требуется (или да, вы можете пройти ноль).

Answer 2

Нет, проверка не требуется. Полагаю, что, полагая, что ноль обрабатывается должным образом, является хорошим и очень разумным. Возможно, стоит комментировать.

Answer 3

Документация memmove и memcpy говорит, что это:

Функция не проверяет для любого завершающего нулевого символа в источник - он всегда копирует точно Num байты.

opengroupdocumentation говорит в основном то же самое.

Таким образом, учитывая, что он копирует «ровно NUM байт», он будет копировать нулевые байты, когда num = 0, и, таким образом, оно не должно быть необходимым, чтобы рассматривать это как частный случай.

Answer 4

Как указано в @You, стандарт указывает, что memcpy и memmove должны обрабатывать этот случай без проблем; поскольку они обычно реализуются так или иначе, как и у

void *memcpy(void *_dst, const void *_src, size_t len) 
{ 
    unsigned char *dst = _dst; 
    const unsigned char *src = _src; 
    while(len-- > 0) 
     *dst++ = *src++; 
    return _dst; 
} 

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