"const void *" nghĩa là gì trong memmove?

Question

Các arg thứ hai trong nguyên mẫu cho memmove/memcpy/strcpy tương tự: Ví dụ:

void *memmove(void *dest, const void *src, size_t n); //const void* 
char *strcpy(char *dest, const char *src); //const char* 

Nhưng dường như, nếu dest và src chồng chéo, sau đó nội dung src sẽ được thay đổi, vi phạm khoảng trống const/char *?

Answer 1

const void* nghĩa là giới thiệu sẽ không bị sửa đổi thông qua con trỏ đó.

Nếu có các con trỏ khác, không liên kết đến cùng một đối tượng (còn được gọi là "răng cưa"), thì tất nhiên nó vẫn có thể được sửa đổi thông qua các đối tượng đó. Trong kịch bản bạn mô tả, con trỏ kia là dest.

Nhân tiện, trong trường hợp strcpy, hành vi không xác định nếu các vùng chồng lên nhau và trong C99 chữ ký là char *strcpy(char * restrict s1, const char * restrict s2);. Nhưng đối với memmove, răng cưa là OK. Bằng cách cho nó vùng chồng chéo bạn đã cho nó "quyền" để sửa đổi vùng dest, và nó sẽ làm điều đó.

Answer 2

Điều đó có nghĩa là memmove đảm bảo rằng nó sẽ không trực tiếp sửa đổi bộ nhớ được chỉ bởi src.

Tất nhiên nếu hai khối chồng lên nhau memmove sẽ thay đổi bộ nhớ "const". const là hợp đồng ca kèm theo tên. Không có cách nào để làm cho bộ nhớ thực chỉ đọc.

Answer 3

Đối số được đánh dấu const void * để cho biết memmove sẽ không bao giờ sửa đổi bộ nhớ được trỏ đến bằng src bằng cách sử dụng con trỏ đó. Nếu chồng chéo xảy ra, bộ nhớ được sửa đổi bằng cách sử dụng con trỏ dest, không phải con trỏ src, do đó đảm bảo không bị vi phạm.

Answer 4

Khi ghi nhớ ở trên sẽ không sửa đổi nội dung của bộ nhớ thông qua con trỏ "src" nhưng sẽ thông qua con trỏ "dest".

const đề cập đến cách các con trỏ được sử dụng, nó không thêm bất kỳ sự bảo vệ bộ nhớ nào.

Nếu cả hai con trỏ trỏ đến vùng chồng chéo của bộ nhớ thì mọi thứ có thể xảy ra vì nó không được xác định nếu bản sao sẽ bắt đầu từ "src" và tăng hoặc bắt đầu từ "src + n" và giảm.