Warum wird Linux memove() so implementiert, wie es ist?

Question

Vom Linux-Manpage memmove(3)

Die memmove() Funktion kopiert n Bytes aus dem Speicherbereich src zum Speicherbereich dest. Die Speicherbereiche können sich überlappen: Der Kopiervorgang erfolgt so, als ob die Bytes in src zuerst in ein temporäres Array kopiert werden, das src oder dest nicht überlappt, und die Bytes werden dann vom temporären Array nach dest kopiert.

stattdessen eine temporäre Anordnung der Zuteilung und kopieren Sie die Werte zweimal konnten wir nur Folgendes tun:

void *my_memmove(void *dest, const void *src, size_t n) { 
    signed char operation; 
    size_t end; 
    size_t current; 

    if(dest != src) { 
    if(dest < src) { 
     operation = 1; 
     current = 0; 
     end = n; 
    } else { 
     operation = -1; 
     current = n - 1; 
     end = -1; 
    } 

    for(; current != end; current += operation) { 
     *(((unsigned char*)dest) + current) = *(((unsigned char*)src) + current); 
    } 
    } 
    return dest; 
} 

In dieser Implementierung einfach wir kümmern uns um die Position bringen, wo wir zu kopieren beginnen.

Gibt es einen Nachteil in meiner Implementierung?

Hinweis: Ich werde meine Implementierung nicht verwenden. Ich bin nur Neugierig.

Answer 1

Sie irgend Quellcode aussehen kann für memmove here, here, here und here.

Was Sie bemerken werden ist, dass sie nicht eigentlich ein temporäres Array machen. Die man-Seiten werden geschrieben, um Ihnen zu helfen, zu verstehen, was es tut logisch, nicht tatsächlich. Daher sagen sie "als ob".

Was memmove() tatsächlich tut, ist die Bytes von src zu dest kopieren und Kopien nach vorne, wenn dest < src (was im Wesentlichen dasselbe wie memcpy ist), und nach hinten anders.

Der Unterschied zwischen memcpy und memmove ist, dass memcpy blind Kopien nach vorn - deshalb dest und src sollten nicht überlappen. Aber memmove sorgt dafür, dass die Überlappung das Endergebnis nicht vermasselt.