C语言非void类型函数未写return却返回预期值的原因咨询

核心结论 #

这是未定义行为，返回预期值纯属巧合，完全依赖编译器和CPU架构的实现细节，绝对不能依赖这种写法。

具体原因拆解 #

• 寄存器巧合导致返回max：在x86/x86_64架构下，C语言函数返回int类型的值时，标准约定用eax（32位）或rax（64位）寄存器传递返回值。你的函数最后执行的操作是对max变量的读写，循环结束后max的值刚好被留在了这个约定的寄存器里，所以调用者读取返回值时就拿到了max。换个架构（比如ARM）或者调整函数内变量的定义顺序/操作逻辑，返回值可能就变成随机垃圾值了。
• 编译警告未触发是因为等级不够：不同编译器的默认警告策略不同。比如GCC默认的警告等级不会检测到这种"所有代码路径都没有return"的问题，需要手动开启更高等级的警告（比如添加-Wreturn-type或者-Wall -Wextra编译参数），编译器才会提示你函数缺少return语句。
• Emacs LSP告警是静态分析更严格：LSP的静态代码检查工具（比如clangd）会在编译前就扫描代码的所有分支逻辑，只要发现非void类型的函数没有覆盖所有路径的return，就会给出告警，比编译器默认警告更敏感。
• main函数的特殊规则不适用自定义函数：C标准确实规定，如果main函数没有写return语句，编译器会自动补充return 0;，但这个规则是main函数独有的，所有自定义的非void函数都必须在所有代码路径上明确返回对应类型的值，否则就是违反标准的未定义行为。

问题代码 #

int long_word(int *m) {
  int min = 0;
  int max = 0;
  for (int i = 0; i < 15; i++) {
    if (m[i] > max) {
      max = m[i];
    }
  }
}

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