如何理解C标准中"程序不能提供main函数原型"的规定？

你在cppreference上看到关于main函数的说明：

main函数有几个特殊特性：

1. 程序不能提供该函数的原型。

但你编写了如下代码：

# cat foo.c
int main(void);

int main(void)
{
    return 0;
}

并用严格编译命令：

# gcc -Wall -Wextra -Wpedantic -Werror foo.c

编译却正常通过，核心原因是C标准的规定和编译器容错行为之间的差异：

• C标准的本质意图
  C标准（如C99、C11及后续版本）之所以明确“程序不能提供main的原型”，是因为main是程序的特殊入口点，编译器本身就知晓它的标准合法签名（int main(void) 或 int main(int argc, char *argv[])及其等价形式）。用户额外声明原型属于冗余操作，并非语法错误，但不符合标准对main函数的设计意图——标准希望用户只需正确定义main即可，无需提前声明。

• GCC的编译行为
  GCC在启用-Wpedantic等严格选项时，会对许多不符合标准的代码发出警告，但对于这种“冗余声明main原型”的场景，GCC认为它只是重复了编译器已知的信息，并没有触发警告。而-Werror仅会将已产生的警告转为错误，没有警告自然也就不会报错，因此编译可以正常通过。

• 额外提示
  虽然这种写法能通过编译，但完全没有必要，甚至存在潜在风险：如果声明的main签名和实际定义的不一致（比如声明void main(void)但定义int main(void)），就会导致未定义行为。遵循标准的正确做法是直接定义main函数，无需提前声明原型。

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