主（或入口点）函数可以作为 lambda 实现吗？

Question

这在最近更新的标准下有效吗？

auto main = [](int argc, char* argv[]) -> int
{
    return 0;
};

我最好的猜测是，这取决于 main() 是否必须是一个函数，或者是否允许它是任何可调用的全局作用域符号（使用 ()）。

Answer 1

不可以，main 必须是全局函数，不能是函数对象或其他任何东西。参见 ISO/IEC 14882:2011 § 3.6.1 主要功能。

程序应包含一个名为 main 的全局函数，它是程序的指定开始。

从第 2 段开始

所有实现都应允许以下两种定义
主要：

int main() { /* ... */ }

和

int main(int argc, char* argv[]) { /* ... */ }

实现不需要允许任何其他定义。

Answer 2

不，原因如下：

[n3290: 3.6.1/1]: 程序应包含一个名为
main，这是程序的指定开始。这是
实现定义程序是否处于独立环境中
需要定义一个 main 函数。 [注意：在独立式
环境、启动和终止是实现定义的；
启动包含对象构造函数的执行
具有静态存储持续时间的命名空间范围；终止包含
执行具有静态存储持续时间的对象的析构函数。
—尾注]

Lambda 不是函数，而是函数对象或函子：

[n3290: 5.1.2/3]: lambda 表达式 的类型（即
也是闭包对象的类型）是一个唯一的、未命名的非联合
类类型 - 称为闭包类型 - 其属性如下所述。 [..]

Answer 3

main() 必须是一个函数，因为它是通过系统库从内部调用的。它是 POSIX.1 标准的一部分，控制 C 链接的工作方式。

主链接必须是外部全局的，它不能内联或静态，因为它是从 libc 内部调用的，通常是从名为 _start 的函数调用的。

例如，glibc 中 _start 的典型实现是：

int _start() {
     __libc_init(argc, argv, __environ);
     exit(main(argc, argv, __environ));
}

各种 libc 实现都会以类似的方式执行此操作。

在 C++ 中，main 函数必须在全局范围内声明（即：:main();再次因为它是从类似 init 的函数调用的，例如上面 *nix 函数上 libc 的 _start 执行后调用...