Puis-je appeler memcpy () et memmove () avec «nombre d'octets» mis à zéro?

Dois-je traiter les cas quand je n'ai rien à déplacer / copier avec memmove()/ memcpy()comme cas de bord

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

ou devrais-je simplement appeler la fonction sans vérifier

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

La vérification de l'ancien extrait de code est-elle nécessaire?

À partir de la norme C99 (7.21.1 / 2):

Où un argument déclaré comme size_t nspécifie la longueur du tableau pour une fonction,n peut avoir la valeur zéro lors d'un appel à cette fonction. Sauf indication contraire explicite dans la description d'une fonction particulière dans ce sous-paragraphe, les arguments de pointeur sur un tel appel doivent toujours avoir des valeurs valides, comme décrit au 7.1.4. Lors d'un tel appel, une fonction qui localise un caractère ne trouve aucune occurrence, une fonction qui compare deux séquences de caractères renvoie zéro et une fonction qui copie des caractères copie zéro caractère.

Donc la réponse est non; la vérification n'est pas nécessaire (ou oui; vous pouvez passer zéro).

Comme le dit @You, le standard spécifie que memcpy et memmove doivent gérer ce cas sans problème; car ils sont généralement mis en œuvre comme

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;
}

vous ne devriez même pas avoir de pénalité de performance autre que l'appel de fonction; si le compilateur prend en charge intrinsèques / inlining pour de telles fonctions, la vérification supplémentaire peut même rendre le code un micro-petit-bit plus lent, puisque la vérification est déjà effectuée à un moment donné.