下面的注释与 [basic.start.main]/2 中的 (2.1) 和 (2.2) 段是否矛盾？

Question

[basic.start.main]/2:

实现不应预定义主要功能。这个功能 不得超载。其类型应具有 C++ 语言链接和 它应该有一个声明的 int 类型的返回类型，否则它的 类型是实现定义的。一个实现应允许两者

(2.1) () 返回int 和
(2.2) 一个函数(int,指向char)的指针返回int

作为main的类型 （[dcl.fct]）。在后一种形式中，为了说明，第一个 函数参数称为argc，第二个函数参数是 称为argv，其中argc 是传递给 程序运行环境中的程序。如果argc 是 非零这些参数应通过argv[0] 提供 argv[argc-1] 作为指向以空字符结尾的初始字符的指针 多字节字符串 (NTMBSS) ([multibyte.strings]) 和 argv[0] 应为 指向 NTMBS 的初始字符的指针，它表示 用于调用程序的名称或""。 argc 的值应为 非负的。 argv[argc] 的值应为0。 [ 注意：是 建议在之后添加任何其他（可选）参数 argv。 — 尾注 ]

Answer 1

它规定至少必须允许两个签名； int main() 和 int main(int, char**)。

允许的其他类型是实现定义的。

他们建议，如果您的实现允许main 带有更多 个参数，则将它们添加到该特定签名的int, char** 参数之后。这不是强制的。

实现可以说这是一个有效的main签名：

int main( std::vector<std::string> args )

或者它可能有：

int main( int, char**, system::permission_token )

或其他。

第二个——system::permission_token——这是一个可选参数（即int main(int, char**) 仍然有效），将是注释所建议的。第一种样式仍然是允许的。