C++ 参考手册
- C++11
- C++14
- C++17
- C++20
- C++ 编译器支持情况表
- 独立与宿主实现
- C++ 语言
- 变量模板(C++14 起)
- 整数字面量
- 聚合初始化
- 比较运算符
- 默认比较(C++20 起)
- 转义序列
- for 循环
- while 循环
- 用户定义转换
- SFINAE
- 主函数
- ASCII 码表
- 标识符
- 类型
- 内存模型
- 对象
- 基本概念
- 表达式
- 声明
- 初始化
- 函数
- 语句
- 类
- 运算符重载
- 模板
- 异常
- 事务性内存
- 占位符类型说明符 (C++11 起)
- decltype 说明符
- 函数声明
- final 说明符 (C++11 起)
- override 说明符(C++11 起)
- 引用声明
- 移动构造函数
- 移动赋值运算符
- 枚举声明
- constexpr 说明符(C++11 起)
- 列表初始化 (C++11 起)
- 构造函数与成员初始化器列表
- using 声明
- nullptr,指针字面量
- 基础类型
- 类型别名,别名模版 (C++11 起)
- 形参包
- 联合体声明
- 字符串字面量
- 用户定义字面量 (C++11 起)
- 属性说明符序列(C++11 起)
- Lambda 表达式 (C++11 起)
- noexcept 说明符 (C++11 起)
- noexcept 运算符 (C++11 起)
- alignof 运算符(C++11 起)
- alignas 说明符 (C++11 起)
- 存储类说明符
- 基于范围的 for 循环 (C++11 起)
- static_assert 声明
- 隐式转换
- 代用运算符表示
- 自增/自减运算符
- 折叠表达式(C++17 起)
- 类模板实参推导(C++17 起)
- 模板形参与模板实参
- if 语句
- inline 说明符
- 结构化绑定声明 (C++17 起)
- switch 语句
- 字符字面量
- 命名空间
- 求值顺序
- 复制消除
- consteval 说明符 (C++20 起)
- constinit 说明符 (C++20 起)
- 协程 (C++20)
- 模块 (C++20 起)
- 约束与概念 (C++20 起)
- new 表达式
- do-while 循环
- continue 语句
- break 语句
- goto 语句
- return 语句
- 动态异常说明
- throw 表达式
- try 块
- 命名空间别名
- 类声明
- cv(const 与 volatile)类型限定符
- 默认初始化
- 值初始化(C++03 起)
- 零初始化
- 复制初始化
- 直接初始化
- 常量初始化
- 引用初始化
- 值类别
- C++ 运算符优先级
- 布尔字面量
- 浮点字面量
- typedef 说明符
- 显式类型转换
- static_cast 转换
- dynamic_cast 转换
- const_cast 转换
- reinterpret_cast 转换
- delete 表达式
- 构造函数与成员初始化器列表
- this 指针
- 访问说明符
- 友元声明
- virtual 函数说明符
- explicit 说明符
- 静态成员
- 默认构造函数
- 复制构造函数
- 复制赋值运算符
- 析构函数
- 类模板
- 函数模板
- 显式(全)模板特化
- 汇编声明
- C++ 的历史
- 作用域
- 生存期
- 定义与单一定义规则(ODR)
- 名字查找
- 有限定的名字查找
- 无限定的名字查找
- 如同规则
- 未定义行为
- 翻译阶段
- 常量表达式
- 赋值运算符
- 算术运算符
- 逻辑运算符
- 成员访问运算符
- 其他运算符
- sizeof 运算符
- typeid 运算符
- 指针声明
- 数组声明
- 语言链接
- 详述类型说明符
- 默认实参
- 变长实参
- 实参依赖查找
- 重载决议
- 重载函数的地址
- 注入类名
- 非静态数据成员
- 非静态成员函数
- 嵌套类
- 派生类
- 空基类优化
- 抽象类
- 位域
- 转换构造函数
- 成员模板
- 模板实参推导
- 部分模板特化
- sizeof... 运算符
- 待决名
- 函数 try 块
- 扩充命名空间 std
- 字母缩写
- RAII
- 三/五/零之法则
- PImpl
- 零开销原则
- 类型
- 隐式转换
- 注释
- C++ 关键词
- 预处理器
- C++ 标准库头文件
- 具名要求
- 功能特性测试 (C++20)
- 工具库
- 类型支持(基本类型、RTTI、类型特性)
- 概念库 (C++20)
- 错误处理
- 动态内存管理
- 日期和时间工具
- 字符串库
- 容器库
- 迭代器库
- 范围库 (C++20)
- 算法库
- 数值库
- 输入/输出库
- 文件系统库
- 本地化库
- 正则表达式库
- 原子操作库
- 线程支持库
- 实验性 C++ 特性
- 有用的资源
- 索引
- std 符号索引
- 协程支持 (C++20)
- C++ 关键词
主函数
程序应当含有一个名为 main
的全局函数,它被指定为程序的启动点。它应当有下列形式之一:
int main () { body }
|
(1) | ||||||||
int main ( int argc, char *argv[]) { body }
|
(2) | ||||||||
/* 其他由实现定义的形式,返回类型为 int */ | (3) | ||||||||
argc | - | 非负数,表示从程序运行的环境传递给程序的实参个数。 |
argv | - | 指针,指向包含 argc + 1 个指针的数组的首元素。数组末元素为空指针,若其前面有任何元素,则它们指向空终止多字节字符串,表示从执行环境传递给程序的若干参数。若 argv[0] 不是空指针,或等价地 argc > 0 ,则它指向表示用于调用程序的名称的字符串,或空字符串。 |
body | - | 主函数的函数体 |
名字 argc
和 argv
是任取的,而且形参的类型的表示方式也是:int main(int ac, char** av) 同样合法。
main()
的一种常见的由实现定义的形式还有(除 argc
和 argv
之外的)第三个参数,类型为 char*[]
,指向指向执行环境变量的指针数组。
解释
main
函数是在程序启动中完成对具有静态存储期的非局部对象的初始化之后被调用的。它是程序在有宿主 (hosted)环境(亦即有操作系统)中所指定的入口点。自立程序(启动加载器,操作系统内核,等等)的入口点则是由实现定义的。
双形参形式的主函数的形参,允许从执行环境中传递任意的多字节字符串(它们通常被称为命令行参数),各个指针 argv[1] .. argv[argc-1]
指向对应的每个字符串的第一个字符。argv[0]
是指向一个表示用于执行该程序自身的名字的空终止多字节字符串的开头字符的指针(或者当执行环境不支持时,为空字符串 "")。这些字符串是可修改的,虽然对它们的修改并不会被传回给执行环境:比如可以用 std::strtok 来使用它们。由 argv
所指向的数组的大小至少为 argc+1
,其最后一个元素 argv[argc]
保证为一个空指针。
main
函数具有几项特殊性质:
1) 不能在程序的任何地方使用它
a) 尤其不能递归调用它
b) 不能取其地址
2) 不能预定义,不能重载:实际上,名字
main
在全局命名空间中对函数保留(虽然可以用作类、命名空间、枚举和非全局命名空间中的任何实体的名字,但不能在任何命名空间中将名为“main”的函数声明为具有 C 语言连接 (C++17 起))。5) 执行返回(或当到达 main 的末尾时的隐式返回),等价于先正常离开函数(这将销毁具有自动存储期的对象),然后用和 return 相同的实参来调用 std::exit。(std::exit 随即销毁静态对象并终止程序)
6) (C++14 起) 主函数的返回类型不能被推导(不允许 auto main() {...)。
注解
如果以函数 try 块定义主函数,则它捕捉不到(由隐含的 std::exit 所销毁的)静态对象的析构函数所抛出的异常。
将操作系统命令行上给定的参数转换为由 argv
所指代的多字节字符数组的方式,可能涉及到由实现定义的处理过程:
- 分析 C++ 命令行参数 MSDN
- Shell 介绍 POSIX