为什么 main 不能是 constexpr？答案

【问题标题】：Why main can not be a constexpr?为什么 main 不能是 constexpr？
【发布时间】：2014-02-27 16:05:02
【问题描述】：

当您尝试像这样将 constexpr 与 main 一起使用时：

constexpr int main()

gcc 和 clang 抱怨：

错误：不能将 '::main' 声明为内联

错误：'main' 不允许被声明为 constexpr

我们来看看 constexpr 函数有哪些要求：

constexpr 函数必须满足以下要求：

什么是 LiteralType？

文字类型是以下任何一种

函数体必须包括什么？

以下示例：

constexpr int main() { ; }

constexpr int main() { return 42; }

constexpr int main() {
// main defaults to return 0 
}

似乎符合所有这些要求。同样，main 是在程序开始时运行的特殊功能，然后是其他所有功能。您可以从 main 运行 constexpr 函数，并且为了使标记为 constexpr 的东西成为 constexpr，它必须在 constexpr 上下文中运行。

那么为什么main 不允许是 constexpr？

【问题讨论】：

【解决方案1】：

不，这是不允许的 draft C++ standard 部分 3.6.1 主要功能 段落 3 说：

[...]将 main 定义为已删除或将 main 声明为内联、静态或 constexpr 的程序格式错误。[...]

main 必须是一个运行时函数，作为 Lightness says 它没有任何意义，因为您无法优化 main。

【讨论】：

但我的问题是为什么？
@ToryWebster 因为将 main 声明为 constexpr 绝对没有意义。
@ToryWebster 我对此表示怀疑。没有理由这样做，所以我不明白为什么标准委员会会批准这样的规则。 main 永远不需要在 constexpr 上下文中调用。
@ToryWebster 如果 main 是无操作的，那么您最好根本不创建可执行文件
@ratchetfreak：哦？ static int foo = computationThatTakesThreeWeeks(); int main() {}

【解决方案2】：

标准给出了main 的精确签名，因此允许编译器拒绝其他签名。更具体地说，它规定main 不能是constexpr、static 或其他一些东西。

如果您想知道为什么，允许编译器在 main 的开头插入代码（以执行初始化全局变量等操作），这可能使其成为非 @ 987654326@（这就是为什么程序不允许显式调用 main 的原因）。

【讨论】：

【解决方案3】：

将 main 声明为 constexpr 没有任何意义，原因有两个：1) 它是一个运行时函数。 2) 不能从其他函数或递归调用。

【讨论】：

【解决方案4】：

在我看来，原因在于将 main() 声明为 constexpr 毫无意义，标准委员会希望 C++ 编程语言有意义。

函数main()是一个处理程序入口点初始化的特殊函数——用它来计算编译时值是不明智的。

【讨论】：