在 C 中的函数中是否必须使用“return”和“void”？

Question

示例：

void Function(int Number)
{
   process.....

   **return;**
}

每个函数的末尾是否必须使用“return”？

示例 2：

void Function(**void**)
{
   process...
}

如果我没有收到任何值，是否需要在参数列表中使用“void”？

有人说不，有人说是。 什么是对 C 中编译器和最佳实践的完美理解？

Answer 1

当使用void 作为返回类型时，不需要编写return 语句，因为本质上 void 意味着不返回任何内容。但是，如果要显式退出函数，可以使用 return。

void 作为参数并不是必须的，它只是表示没有传递任何参数。

Answer 2

将return 用于void 函数的唯一真正原因是提前退出该函数。根据 C99 §5.1.2.2.3 程序终止，假定 main 没有 return 的返回值为 0：

到达终止主函数的 } 返回值 0

但最好准确指定要返回的值。

作为对酷人评论的回应，以下代码使用 gcc 编译，并带有标志 -std=c89、-std=c99 和 -std=c11：

#include <stdio.h>

int main(void) {
  printf("Hello world\n");
}

至于void 作为参数，通知C 编译器您使用的是新的函数声明样式而不是旧的样式。它在技术上可以省略，但要小心，void 是首选方法。

Answer 3

根据 C 标准（6.7.6.3 函数声明符（包括原型）

10. void 类型的未命名参数的特殊情况是唯一的 列表中的 item 指定该函数没有参数。

14. 标识符列表仅声明参数的标识符 的功能。函数声明器中的一个空列表，它是一部分 该函数的定义指定该函数没有 参数。函数声明器中的空列表不是一部分 该函数的定义指定没有关于 提供参数的数量或类型。¹⁴⁵⁾

^{脚注 145 指的是“未来方向 §6.11.6”和“使用带空括号的函数声明符（不是原型格式参数 类型声明符）是一个过时的特性。”}

因此声明

void f( void );

表示该函数没有参数。

声明

void f();

表示参数的数量和类型未知。

声明同时是一个定义

void f()
{
}

表示该函数没有参数。

对于返回类型为void 的函数中的return 语句，如果它是函数的最后一条语句，则通常将其省略。使用最后一个 return 语句只会让代码的读者感到困惑，因为他必须确保 return 语句中缺少表达式不是拼写错误。

Answer 4

参数中void的省略意味着函数接受任意数量的参数：

假设一个程序：

void func() {
}

void func2(void) {
}

int main(void) {
    func(2);
    func2(2);
}

现在用gcc -std=c11 -Wall -pedantic test.c 编译它，你只会从func2 得到错误：

test.c: In function ‘main’:
test.c:9:5: error: too many arguments to function ‘func2’
     func2(2);
     ^
test.c:4:6: note: declared here
 void func2(void) {

也就是说，使用参数调用void func();不是GCC的编译时错误，而使用参数调用void func2(void)是编译时错误。即使该函数没有任何参数，仍然可以使用任意数量的参数调用它。

但是，即使这样编译，6.5.2.2 函数调用也会说“如果参数的数量不等于参数的数量，则行为未定义。” （并且func 使用 1 个参数调用，但没有参数）。

---

C11 标准 n1570 工作草案说明如下：

6.11.6 函数声明符

1. 使用带空括号的函数声明符（不是原型格式参数 类型声明符）是一个过时的特性。

（有趣的事实：标准本身在其示例中使用int main()）。

---

至于return 语句，如果它是最后一条语句，则可以从返回void 的函数中省略。 Return 有 2 种用途 - 终止函数的执行并指定返回给调用者的值。

标准草案说：

1. 一个 返回 语句终止当前函数的执行并将控制权返回给 它的调用者。一个函数可以有任意数量的 返回 声明。

这里的任何意思都表示允许返回值的函数或不返回值的函数（返回void）有没有 return 语句。

函数声明草案中的 6.9.1 说：

12. 如果 } 到达终止函数，并且函数调用的值由 调用者，行为未定义

因此，如果函数返回一个值（不是void），则省略 return 语句是未定义的行为，并且调用者使用该值。 （作为一个例外，该标准还规定，在 main() 中省略 return 语句现在相当于返回 0，这是一种指定行为。