Tại sao Linux memmove() thực hiện theo cách của nó?

Question

Từ manpage Linux cho memmove(3)

Các memmove() bản sao chức năng n byte từ vùng nhớ src đến khu vực bộ nhớ dest. Khu vực bộ nhớ có thể trùng lặp: sao chép diễn ra như thể các byte trong src là được sao chép lần đầu vào một mảng tạm thời không trùng lặp src hoặc dest và sau đó được sao chép từ mảng tạm thời đến đích.

Thay vì phân bổ một mảng tạm thời và sao chép các giá trị gấp đôi chúng ta chỉ có thể làm như sau:

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

Thực hiện điều này, chúng tôi chỉ đơn giản là chăm sóc các vị trí mà chúng ta bắt đầu sao chép.

Có hạn chế trong việc triển khai của tôi không?

Lưu ý: Tôi sẽ không thực sự sử dụng triển khai của mình. Tôi chỉ tò mò thôi.

Answer 1

Bạn có thể xem xét một số mã nguồn cho memmove here, here, here, và here.

Điều bạn sẽ nhận thấy là chúng không thực sự tạo một mảng tạm thời. Các trang của người đàn ông được viết để giúp bạn hiểu những gì nó đang làm một cách hợp lý, không phải thực sự là. Do đó, họ nói "như thể".

Những gì memmove() thực sự làm là sao chép các byte từ src đến dest và bản sao chuyển tiếp nếu dest < src (về cơ bản giống như memcpy) và ngược lại.

Sự khác biệt giữa memcpy và memmove là memcpy các bản sao bị mù về phía trước - đó là lý do tại sao dest và src không được chồng lên nhau. Nhưng memmove có biện pháp phòng ngừa đảm bảo chồng chéo sẽ không làm hỏng kết quả cuối cùng.