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中允许的自由空指针转换被认为是一个容易出错的“循环漏洞”。

当然，这个想法是有道理的，如果你不小心你可能做错了，例如您可以轻易地将指针传递给指向此函数的指针，然后您的函数将很乐意覆盖超出该指针的堆栈上的任何内容。这不是你的实现的错误，但它只是使用函数的方式而memcpy的行为没有区别。

尽管如此，你最好还是使用memcpy，因为这很可能会更好地优化，但是现在编译器可能会在你的代码中制作一个相当不错的版本。

更多指示;

1）你不需要malloc原始数组，你可以静态初始化它

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

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

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

3）如果您不想静态定义数组，那么使用指针获取元素大小，这样您就可以更改数组类型而无需在代码中的其他位置更改它，从而降低了潜力“循环孔”空洞铸造的危险：

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

4）您无需在void*电话

中投放到printf

5）尝试立即分配变量，不要在if语句中放置赋值：

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

6）同样，你可以在loop子句中定义一个迭代变量：

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

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

7）（个人偏好）不要在您的标识符中使用类型名称（intp，voidcpy）如果您的标识符声明的类型不同于什么类型，您的代码将变得难以阅读/理解变量实际上是，（例如，您的类型实际上是short int而不是变量名称建议的int，或者您需要在更改类型时更改整个代码中的标识符有可能犯错误。

取消引用空指针/空指针复制

1 个答案: