memcpy() 和 memset() 的奇怪行为

Question

我发现 MSVC2017 中的 memcpy() 和 memset() 函数有些奇怪，我无法解释。具体来说，'destination' 不是按单个字节索引，而是按结构的整个大小（'size' 参数）索引。

所以我有一个结构：

typedef struct _S
{
    int x;
    int y;
} S;

代码如下：

S* array = (S*)malloc(sizeof(S) * 10); /* Ok. Allocates enough space for 10 structures. */

S s; /* some new structure instance */

/* !!! here is the problem. 
 * sizeof(S) will return 8
 * 8*1 = 8
 * now the starting address will be: array+8
 * so I'm expecting my structure 's' to be copied to
 * the second ''element'' of 'array' (index 1)
 * BUT in reality it will be copied to the 7th index! 
 */
memcpy(array + (sizeof(S) * 1), &s, sizeof(S));  

/* After some tests I found out how to access 'properly' the 
 * 'array': 
 */
memcpy(array + 1, &s, sizeof(S); /* this will leave the first struct
    in the 'array' unchanged and copy 's's contents to the second 
    element */

memset() 相同。到目前为止，我认为索引应该手动完成，同时提供复制对象的大小，但不是吗？

memcpy(destination + (size * offset), source + (size * offset), size)

我是不是做错了什么？

Answer 1

memcpy 和 memset 不是这种情况下的罪魁祸首。你的问题来自对pointer arithmetic.

的误解

当您将一个数字添加到指针时，指针会前进那么多元素，而不是那么多字节。因此，如果 sizeof(S) == 8，则指向 S 的指针在加 1 时会提前 8 个字节，在加 2 时会提前 16 个字节，依此类推。关键是您可以从图片中抽象出字节（以及元素的大小）。

因此，如果您分配了一个包含三个 S 个元素的数组，您的内存可能会像这样布局：

3 x S
6 x int
18 x char（字节）

您希望能够忽略字节，并且仅通过 S 访问 x 和 y 字段，以便留下 S 大小的块内存。

|0              |1              |2              | array            : S *
|x       y      |x       y      |x       y      | S[N]->x, S[N]->y : int *
|0 1 2 3 4 5 6 7|0 1 2 3 4 5 6 7|0 1 2 3 4 5 6 7| individual bytes : char *

memcpy() 和 memset() 的奇怪行为

Strange behaviour of memcpy() and memset()

c

memset

memcpy

visual-c++