未指定的返回值

Question

关于返回值：

func()
{
  while(1)
  {
    /* do stuff here */
    if(error1) exit(0);
    if(error2) break;
  }       
  /* no return statement anywhere in func() */
}

但是调用者检查了func()的返回码

if(func()) {/* error handling */}

如果有人确认func() 的返回值没有默认为任何值并且是垃圾，那最好。所有这些都是如此：

• void func()
• int func()，根本没有返回声明，或者是一个普通的return;。
• func()，未指定的返回类型，我理解默认返回 int。

谢谢..

Answer 1

注意：此答案适用于 C89（及更早版本）。

void func() 指定一个不返回值的函数。在这种情况下，if (func()) 应该会导致编译错误。

int func() 和 func() 是等价的并且返回一个整数值。 如果 return 语句未提供任何值，则结果未定义，如果警告级别足够高，编译器会发出警告。 在实践中，大多数编译器将生成代码，返回用于返回值的寄存器或内存位置中的任何内容。

Answer 2

函数的返回值一般由处理器的第一个寄存器返回，例如基于 x86 的 EAX 或基于 ARM 的处理器的 r0。它是特定于编译器的，但这或多或少是标准的。

例如 C 中的return 10; 将被翻译成

mov eax 10 ; pseudo code
ret        ; pseudo code

在基于 x86 的处理器的汇编中。

& 在检查返回值时，它只会检查 eax 寄存器。该寄存器中包含的任何内容都被调用者视为返回值。

所以...如果您返回时没有值（简单的return;）或者它是一个 void 函数，那么在汇编中 ret 语句之前的 EAX 中包含的任何值都会被调用者作为返回值。

对于基于 ARM 的处理器，将上述答案中的 EAX 替换为 r0。 :-)

我将此事实用作以下功能的 hack ;-)

void* getStackTop(){
   asm("mov eax esp");
}

---

要检查从 C 转换为 ASM 时它的工作原理，请编写如下简单代码：

int testfn(int unused){
   int unused2=unused; // Check how input is passed
   return 10;          // Check how output is returned
}

& 然后用gcc -S 编译它。 （或者你的编译器带有一些只会生成程序集的标志。）

---

我不确定它如何返回浮点/结构值。 可能它返回一个指向结构的指针 & 整个返回的结构在引擎盖下被 memcpy'ed，同时转换为 asm。有人可能会纠正:-)

Answer 3

自 C99 标准以来，您使用无效 C 代码发布的代码。

如果您使用的是实现 C90 标准的过时编译器，它将编译并且默认类型将是 int。我相信从这样的函数中省略 return 语句会导致未定义的行为，尽管我不能引用 C90 标准。