主函数

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

C++ 语言

 

基本概念

语言关键词

字符集与编码

翻译阶段

注释

main() 函数

标点

名字和标识符

类型

基础类型

对象

作用域

对象生存期

存储期与连接

定义和单一定义规则（ODR）

名字查找

有限定名字查找

无限定名字查找

“如同”规则

未定义行为

内存模型

 

程序应当含有一个名字是 main 的全局函数（主函数），它被指定为程序的启动点。它应当有下列形式之一：

int main() { 函数体 }	(1)
int main(int argc, char* argv[]) { 函数体 }	(2)
/* 其他由实现定义的形式，返回类型是 int */	(3)

argc	-	非负数，表示从程序运行的环境传递给程序的实参个数。
argv	-	指针，指向包含 argc + 1 个指针的数组的首元素。数组末元素是空指针，如果它前面有任何元素，那么它们指向空终止多字节字符串，表示从执行环境传递给程序的若干参数。如果 argv[0] 不是空指针，或等价地 argc > 0，那么它指向表示用于调用程序的名称的字符串，或空字符串。
函数体	-	主函数的函数体

名字 argc 和 argv，以及形参的类型的表示方式没有限制：int main(int ac, char** av) 同样合法。

主函数的一种常见的由实现定义的形式还有（除 argc 和 argv 之外的）第三个参数，它的类型是 char**，指向指向执行环境变量的指针数组。

解释

在程序启动时，主函数在初始化具有静态存储期的非局部对象之后被调用。它是程序在有宿主 (hosted) 环境（即有操作系统）中所指定的入口点。自立程序（启动加载器，操作系统内核，等等）的入口点由实现定义。

双形参形式的主函数的形参允许从执行环境中传递任意的多字节字符串（它们通常被称为命令行参数），各个指针 argv[1] .. argv[argc - 1] 指向对应的每个字符串的第一个字符。指针 argv[0] 指向一个空终止多字节字符串的开头字符，该字符串表示用于执行该程序自身的名字（当执行环境不支持时是空字符串 ""）。这些字符串是可修改的：比如可以用 std::strtok 来使用它们，虽然对它们的修改并不会被传回给执行环境。由 argv 所指向的数组的大小至少是 argc + 1，它的最后一个元素 argv[argc] 保证是一个空指针。

主函数具有几项特殊性质：

1) 不能在程序的任何地方使用它

a) 尤其不能递归调用它

b) 不能取它的地址

2) 不能预定义，不能重载：实际上，名字 main 在全局命名空间中对函数保留（虽然可以用作类、命名空间、枚举和非全局命名空间中的任何实体的名字，但不能在任何命名空间中将名字是“main”的实体声明为具有 C 语言链接）。

3) 不能定义为被弃置（=delete;），或 (C++11 起)声明为具有任何语言链接、constexpr (C++11 起)、consteval (C++20 起)、inline 或 static。

4) 主函数的函数体不需要包含 return 语句：当控制达到主函数体的末尾而未遇到返回语句时，它的效果是执行 return 0;。

5) 执行返回（或当到达主函数体的末尾时的隐式返回）与先正常离开函数（这将销毁具有自动存储期的对象），然后用和 return 相同的实参来调用 std::exit等价。（std::exit 随即销毁静态对象并终止程序）

6) 主函数的返回类型不能被推导（不允许 auto main() {...}）。

(C++14 起)

7) 主函数不能是协程。

(C++20 起)

注解

如果以函数 try 块定义主函数，那么它捕捉不到（由隐含的 std::exit 所销毁的）静态对象的析构函数所抛出的异常。

将操作系统命令行上给定的参数转换成由 argv 所指代的多字节字符数组的方式，可能涉及到由实现定义的处理过程：

• 分析 C++ 命令行参数 MSDN
• Shell 介绍 POSIX

示例

演示如何通知程序：从哪里获得输入，向哪里写入结果。
一种可能的调用方式：./convert table_in.dat table_out.dat

运行此代码

#include <iostream>
#include <iomanip>
#include <cstdlib>
 
int main(int argc, char *argv[])
{
    std::cout << "argc == " << argc << '\n';
 
    for (int ndx{}; ndx != argc; ++ndx)
        std::cout << "argv[" << ndx << "] == " << std::quoted(argv[ndx]) << '\n';
    std::cout << "argv[" << argc << "] == "
              << static_cast<void*>(argv[argc]) << '\n';
 
    /*...*/
 
    return argc == 3 ? EXIT_SUCCESS : EXIT_FAILURE; // 可选返回值
}

可能的输出：

argc == 3
argv[0] == "./convert"
argv[1] == "table_in.dat"
argv[2] == "table_out.dat"
argv[3] == 0

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
CWG 1003	C++98	受支持的 main 形参名被过度限制	支持所有合法的形参名
CWG 1886	C++98	主函数可以声明为具有语言链接	已禁止
CWG 2479	C++20	主函数可以声明为 consteval	已禁止