C++中void (0)是什么？为何不触发不完整类型编译报错？

首先得明确：void(0)和void{}不是在初始化一个void类型的对象——毕竟void类型确实不能实例化对象，你没法定义void x;这种变量。它们本质是C标准允许的void类型纯右值表达式，和你熟悉的(void)0（C风格显式类型转换）是类似效果，但属于C对类型构造表达式的语法扩展。

为什么编译器不报错？ #

C++标准特意放宽了对void类型表达式的语法支持：

• 对于函数式转换语法T(expr)，当T是void时，标准允许这种写法，它等价于static_cast<void>(expr)，这里的0会被求值然后丢弃，最终得到一个void纯右值。
• 列表初始化void{}是C++11引入的，标准明确允许用这种方式生成void纯右值，它不需要任何初始化器，直接产生一个无值的void表达式。

这些语法存在的意义之一就是适配宏或模板的上下文需求——比如<cassert>里的宏，在某些分支下可能需要生成一个void类型的表达式来匹配函数返回值类型，或者避免宏展开后出现语法错误。比如当assert宏需要在某个路径下返回void时，void(0)能完美填充位置，既不会产生多余代码，也符合语法要求。

和C的区别 #

这里要注意，C语言里void(0)是非法的，因为C不允许用函数式转换生成void类型表达式，只能用(void)0这种显式转换。但C++为了语法一致性（和其他类型的函数式转换统一），特意允许了void(0)这种写法。

代码验证 #

你用g++-14 -std=c++23 -Wall编译不报错完全符合标准，这些都是C++标准明确规定的合法写法。你可以用这段代码测试：

void foo() {
    return void(0); // 等价于return;
    // 或者 return void{}; 效果完全一致
}

这段代码合法，因为return后跟void类型表达式时，就等价于无返回值的return;。

内容的提问来源于stack exchange，提问作者shynur