是'int main;' 一个有效的C/C++程序？

Question

是'int main;' 一个有效的C/C++程序？

Geo*_*xon 111 c c++ program-entry-point function entry-point

我问,因为我的编译器似乎这么认为,即使我没有.

echo 'int main;' | cc -x c - -Wall
echo 'int main;' | c++ -x c++ - -Wall

Clang没有发出任何警告或错误,gcc只发出温和的警告:'main' is usually a function [-Wmain]但是只有在编译为C时才指定.指定a -std=似乎并不重要.

否则,它编译和链接很好.但在执行时,它立即终止SIGBUS(对我来说).

阅读(C)和C++中main()返回的(优秀)答案？和快速的grep通过语言规范,这肯定会似乎对我来说,一个主要的功能是必需的.但是gcc -Wmain('main' 通常是一个函数)的冗语(以及这里的错误缺失)似乎可能暗示其他情况.

但为什么？是否有一些奇怪的边缘案例或"历史"用途？谁知道什么给了？

我想,我的观点是,我认为这应该是托管环境中的错误,是吗？

Answer 1

das*_*ght 97

由于这个问题被双重标记为C和C++,因此C++和C的推理会有所不同:

C++使用名称修改来帮助链接器区分不同类型的文本相同的符号,例如全局变量xyz和独立的全局函数xyz(int).但是,名称main永远不会被破坏.
C不使用修改,因此程序可能通过提供一种符号来代替不同的符号来混淆链接器,并使程序成功链接.

这就是这里发生的事情:链接器期望找到符号main,它确实如此.它将该符号"连线"就好像它是一个函数,因为它不知道更好.运行时库的一部分,它将控制权传递给main链接器main,因此链接器为其提供符号main,让链接阶段完成.当然,这在运行时失败,因为main它不是一个函数.

这是同一问题的另一个例子:

文件xc:

#include <stdio.h>
int foo(); // <<== main() expects this
int main(){
    printf("%p\n", (void*)&foo);
    return 0;
}

Run Code Online (Sandbox Code Playgroud)

档案yc:

int foo; // <<== external definition supplies a symbol of a wrong kind

Run Code Online (Sandbox Code Playgroud)

编译:

gcc x.c y.c

Run Code Online (Sandbox Code Playgroud)

这可以编译,它可能会运行,但它是未定义的行为,因为承诺给编译器的符号类型与提供给链接器的实际符号不同.

就警告而言,我认为这是合理的:C允许您构建没有main功能的库,因此main如果您需要main为某些未知原因定义变量,编译器会释放其他用途的名称.

@nm我认为你对这个问题的解释太狭隘了:除了在帖子的标题中提出问题之外,OP还清楚地寻求解释为什么他的程序首先编译("我的编译器似乎这么认为,即使我不")以及为什么将`main`定义为函数以外的任何东西都是有用的建议.答案提供了两个部分的解释. (4认同)
虽然,C++编译器对主要功能的处理方式不同.即使没有外部"C",它的名字也不会被破坏.我想这是因为否则它需要发出它自己的外部"C"主,以确保链接. (3认同)
实际上,C++和C*的结果并没有不同,正如这里所指出的那样 - "main"在C++中不受名称修改(看起来似乎)的影响,无论它是否是函数. (2认同)

Answer 2

man*_*lio 30

main是不是保留字,它只是一个预定义的标识符(如cin,endl,npos...),所以你可以声明称为变量main,初始化它,然后打印出它的价值.

当然:

警告很有用,因为这很容易出错;
你可以拥有一个没有这个main()函数的源文件(库).

编辑

一些参考: