c - 取消引用 Void 指针/Void 指针副本

Question

• 平台:Linux 3.2.0 x86 (Debian Wheezy)
• 编译器:GCC 4.7.2 (Debian 4.7.2-5)

我正在编写一个函数，将一个缓冲区的内容复制到另一个缓冲区。我使用 void 指针，因此该函数不是特定于类型的。我有一个可测试的版本，看起来该功能运行正常。但我不知道我所做的是否合法，所以我的问题是如果有的话，我所做的事情有哪些陷阱。

#include <stdio.h>
#include <stdlib.h>

void* voidcpy(void *void_ptr, size_t nbytes)
{
    char *char_ptr = void_ptr;
    char *cpy_char_ptr = NULL;
    size_t i = 0;

    if((cpy_char_ptr = malloc(nbytes)) == NULL) return NULL;

    for(; i < nbytes; i++) cpy_char_ptr[i] = char_ptr[i];

    return cpy_char_ptr;
}

int main()
{    
    short int *intp = NULL;
    short int *cpy_intp = NULL;
    size_t siz = 5;
    int i = 0;

    if((intp = malloc(siz * sizeof(short int))) == NULL)
    {
        perror("(malloc)");
        return -1;
    }

    intp[0] = 0;
    intp[1] = 14;
    intp[2] = 187;
    intp[3] = 12678;
    intp[4] = -234;

    if((cpy_intp = voidcpy(intp, siz * sizeof(short int))) == NULL)
        return -2;

    printf("intp = %p\ncpy_intp = %p\n\n", (void*)intp, (void*)cpy_intp);

    for(; i < siz; i++) printf("cpy_intp = %i\n", cpy_intp[i]);

    free(intp);
    free(cpy_intp);

    return 0;
}

Answer 1

是的，这是完全合法的，在 C 中，您可以合法地将 void 指针分配给任何其他指针类型，并且您可以将任何指针类型分配给 void 指针。

在 C++ 中这是不允许的。在 C++ 中，您必须使用 reinterpret_cast 来转换为不同的指针类型，因为 C 中允许的自由 void 指针转换被认为是一个容易出错的“循环漏洞”。

当然这个想法是有道理的，如果你不小心，你可能会做错事，例如您可能很容易错误地将指针传递给指向该函数的指针，然后您的函数将愉快地覆盖堆栈中该指针之外的任何内容。然而，这不是您的实现的错误，这只是函数的使用方式，memcpy 的行为没有什么不同。

尽管如此，您最好还是使用 memcpy 代替，因为这很可能会得到更好的优化，尽管现在编译器可能也会从您的代码中生成一个相当不错的版本。

还有一些提示；

1) 你不需要对原始数组进行malloc，你可以像这样静态初始化它

short int int_arr[] = {
    0,
    14,
    187,
    12678,
    -234,
};

2) 然后您可以通过以下方式调用您的函数:

cpy_int_arr = voidcpy(int_arr, sizeof(int_arr));

3) 如果你不想静态定义数组，那么使用指针获取元素大小，这样你就可以改变数组类型而不需要在代码的其他地方改变它，这减少了潜在的“环孔” void类型转换的危险:

cpy_intp = voidcpy(intp, siz * sizeof(*intp));

4) 您不需要在 printf 调用中转换为 void*

5) 尝试立即赋值变量，不要将赋值放在 if 语句中:

char *cpy_char_ptr = malloc(nbytes)
if (cpy_char_ptr == NULL)
    return NULL;

6) 类似地，您可以在循环子句中定义一个迭代变量:

for(size_t i = 0; i < nbytes; i++) cpy_char_ptr[i] = char_ptr[i];

尽可能晚地定义变量并立即初始化它们的原因是您可以使变量的范围尽可能小，并且您不能在变量初始化之前错误地使用它。

7) (个人偏好)不要在你的标识符中使用类型名称(intp，voidcpy)如果你的标识符你的代码将变得难以阅读/理解声明一个与变量实际不同的类型，(例如，您的类型实际上是 short int 而不是变量名称所暗示的 int，)或者您将需要每当您更改可能出错的类型时，在整个代码中更改标识符。