解释使用void指针的区别

Question

我的代码需要将数组传递给void指针（该结构具有无法修改的（void*））。下面两个版本的代码产生相同的输出，但后者有两个警告。我的问题是这两种方法中哪一种更可取？有没有办法通过打字来删除警告？

此版本没有警告，并按预期生成输出：

#include <stdio.h>

void test(void *var_arr, char var_1);

typedef struct {
    char chip;
    void *buffer;
}test_struct;

int main()
{
   int test_array[3] = {3,7,5};
    char var_1 = 0x20;

    printf("Hello, World!\n");

    test(&test_array, var_1);
    return 0;
}

void test(void *var_arr, char var_1)
{
    int i;

    test_struct var_ts;

    var_ts.chip = var_1;
    var_ts.buffer = var_arr;

    for (i=0; i<3; ++i)
        printf("\nThe data values are : %X \n\r", *((int *)var_ts.buffer+i));

}

你好，世界！

数据值为：3

数据值为：7

数据值为：5

以下版本有两个警告，但编译并生成预期的输出：

警告：源文件。c:在函数“main”中：源文件。c:17:10:警告：从不兼容的指针类型测试传递“test”的参数1(

#include <stdio.h>

void test(int *var_arr, char var_1);

typedef struct {
    char chip;
    void *buffer;
}test_struct;

int main()
{
   int test_array[3] = {3,7,5};
    char var_1 = 0x20;

    printf("Hello, World!\n");

    test(&test_array, var_1);
    return 0;
}

void test(int *var_arr, char var_1)
{
    int i;

    test_struct var_ts;

    var_ts.chip = var_1;
    var_ts.buffer = (void *)var_arr;

    for (i=0; i<3; ++i)
        printf("\nThe data values are : %X \n\r", *((int *)var_ts.buffer+i));

}

Answer 1

之所以显示这些警告，是因为编译器对代码进行了静态分析，并确定了错误的可能原因。

使用void指针时，编译器无法进行静态分析，因为它不知道使用的是什么类型。

如果数据类型是已知的，我总是更喜欢使用该类型作为指针，而不是空指针。我只会在指针可以指向任何东西的情况下使用void指针。最后，这是关于个人品味和您遵循的代码准则。

Answer 2

较低的版本告诉您第一个版本的问题是什么：将指针传递到数组，而不是传递到第一个元素的指针。

传递指向数组的指针，该数组的类型为int（*）[3]：

test(&test_array, var_1);

将指针传递到第一个元素，该元素的类型为int*：

test(test_array, var_1);   

由于两个指针指向同一个地址，因此代码正常工作，因此指向数组的指针似乎正常工作，但代码仍然未定义。

将指针传递给第一个元素是正确的，因为数组test_array的类型为int[3]在传递给函数时会衰减为typeint*。