C 中的 void 变量无法编译

Question

test.c

int main () {
   void a;
   return 0;
}

我使用 gcc 进行编译，但它给了我一个错误：

错误：变量或字段“a”声明为 void

从我在此处读到的内容， 我以为我可以毫无问题地声明 void 变量。

Answer 1

正如您的链接所述：

本身被声明为 void 的变量（如上面的 my_variable）是没有用的；它不能被赋值，不能转换为另一种类型，事实上，不能以任何方式使用。

这意味着虽然语法上正确，但 void 声明没有任何用处，这就是为什么 GCC 可能认为它是一个错误。即使它可以编译，您也无法对变量执行任何操作，所以我猜您的问题仅与测试此行为有关。

事实上，当我们谈论指针 (void*) 时，void 很有用，因为它允许您声明通用指针而不指定类型。

Answer 2

不，但是您可以声明一个void指针：void *。 void * 可以保存任何对象指针。

void * 只能保证保存对象（即数据）指针

[但是]

将函数指针转换为 void * 类型是不可移植的

Answer 3

尽管书中指出 void a; 是一个有效的声明，但我不认为它符合标准。话虽这么说，本书的第一版是 1987 年的，因此它也可能是 GCC 较早实现的延续。

Answer 4

void *x; 是一个有效的语句。

void x; 不是有效的语句。

返回 void 指针的函数也是有效的。

为什么会这样呢？

当在函数中声明变量时，编译器必须为变量分配内存空间。但是当变量的类型为void时，编译器不知道要为该变量分配多少字节。所以这对编译器不起作用。
然而，指向 void 的指针是不同的。指针可以是 void 类型，在读取时可以将其读取为 int、double、float、short 或 char。在这种情况下，需要显式类型转换或自动类型提升由编译器完成。

例如，

int
function_A( void *x )
{
    int *p = (int *)x; 
    return *p;
}

double
function_B( void *x )
{
    double *p = (double *)x; 
    return *p;
}

重要提示：C 不允许直接类型转换 void 指针的取消引用。
我的意思是你不能这样做：

double
function_B( void *x )
{
    return (double)*x; 
}

从概念上讲，这是完全有道理的。但C不允许这样做。