C++中如何判定函数为void或非void类型？return关键字的作用是什么？

核心结论：函数是void类型还是非void类型，唯一判定依据是函数定义时显式声明的返回类型，和函数体内部是否存在return关键字、return后是否带值没有任何反向决定关系。

具体判定与约束规则 #

C++编译器会以函数定义的返回类型为基准，校验函数体的语法合规性，而非扫描函数体的代码反推返回类型，具体规则如下：

• 如果函数定义开头声明的返回类型为void，该函数就是void类型函数，对应的语法约束为：
  • 函数体可以完全不写任何return语句，执行到函数结束的右大括号时自动返回调用点；
  • 即使写return语句，后续也不能跟任何返回值，仅允许写return;的无值形式。
    你疑惑code3里greet()为什么是void类型，本质是因为你在写函数定义时，最开头的位置已经显式写了void作为返回类型，这完全由你的函数定义决定，不存在编译器根据函数体代码推导返回类型的逻辑。你示例里的code2dispNumber、code3greet，都是在函数定义时直接把返回类型写为void，因此天生就是void函数，和函数体内没写return没有关系——哪怕你给这两个函数任意加上一句无值return;，它们依然是void类型。
• 如果函数定义开头声明的是int、string、自定义类等非void类型，该函数就是非void类型函数，对应的语法约束为：
  • 必须保证所有可能的代码执行路径上，都返回和声明类型兼容的值；
  • 仅存在一个例外：main函数如果漏写返回值，编译器会自动隐式补上return 0;，其他普通非void函数如果漏写返回值会触发编译错误。
    你示例里code1的dispNumber，定义时声明返回类型为int，属于非void函数，函数体写了return n1;完全匹配语法要求，因此可以正常编译运行。

非void类型返回值的设计意义与适用场景 #

很多人会疑惑，既然void函数也能实现打印类的功能，为什么还要设计带返回值的非void函数，本质是为了降低代码耦合、提升函数的可复用性：

• 如果所有逻辑都写在void函数内部，直接把计算结果打印到控制台，后续如果需要把结果存到文件、做二次计算、根据结果做流程判断，就必须修改函数内部的实现逻辑，复用性极差；
• 带返回值的非void函数，只负责计算本身的逻辑，把结果交还给调用者，调用者可以灵活选择结果的用途，不需要修改函数本身的实现。

常见适合使用非void返回值的场景：

• 纯计算逻辑：比如两数相加、字符串拼接的工具函数，返回计算结果；
• 查询类逻辑：比如根据ID查询用户信息、获取系统当前时间的函数，把查询结果交还给调用者；
• 状态反馈逻辑：比如文件写入、网络请求类函数，返回布尔值或状态码，让调用者可以判断执行结果、做错误处理。

你观察到code1和code2最终输出了相同的内容，只是因为示例里的调用方刚好选择了“把结果打印到控制台”这一种使用方式，不代表两个函数没有设计差异：code1的dispNumber可以适配更多使用场景，code2的dispNumber已经和“打印数字”的逻辑强绑定，无法灵活复用。

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