为什么main不能是constexpr？

Question

当您尝试在main中使用Constexpr时，如下所示：

constexpr int main()

gcc和clang投诉：

错误：无法将::main声明为内联

错误：'main'不允许声明为constexr

让我们看看constexpr函数的要求是什么：

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

• 它必须不是虚拟的
• 它的html" target="_blank">返回类型必须是文学类型
• 它的每个参数都必须是文字类型

什么是文学类型？

文字类型是以下任一类型

• void（自c 14起）

功能体必须包括什么？

• 空语句
• static_assert声明
• 不定义类或枚举的typedef声明和别名声明
• 使用声明
• 使用指令
• 只有一个返回语句，它只包含文字值、constexr变量和函数。

以下示例：

constexpr int main() { ; }

constexpr int main() { return 42; }

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

似乎符合所有这些要求。同样地，main是一个特殊的函数，它在程序开始时首先运行。您可以从main运行constexpr函数，为了使标记为constexpr的内容成为constexpr，它必须在constexpr上下文中运行。

那么为什么main不允许成为Constexr呢？




Answer 1

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

Answer 2

该标准为main提供了精确的签名，因此允许编译器拒绝其他签名。更具体地说，它规定main不能是Constexr、静态或其他一些东西。

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

Answer 3

不，这是不允许的。第3.6.1节中的草案C标准第3段规定：

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

main必须是一个运行时函数，正如Lightness所说的那样，它没有任何意义，因为您无法优化main。