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++ 关键词
inline 说明符
inline 说明符,在用于函数的 声明说明符序列 时,将函数声明为一个 内联(inline)函数。
完全在 class/struct/union 的定义之内定义的函数,无论它是成员函数还是非成员 friend 函数,均为隐式的内联函数。
声明有 constexpr 的函数是隐式的内联函数。 弃置的函数是隐式的内联函数:其(弃置)定义可出现在多于一个翻译单元中。 |
(C++11 起) |
inline 说明符,在用于具有静态存储期的变量(静态类成员或命名空间作用域变量)的 声明说明符序列 时,将变量声明为内联变量。 声明为 constexpr 的静态成员变量(但不是命名空间作用域变量)是隐式的内联变量。 |
(C++17 起) |
描述
内联函数或内联变量 (C++17 起)具有下列性质:
- inline 函数或变量 (C++17 起)的定义必须在其访问它的翻译单元中可达(不一定要在访问点前)。
- 带外部链接的 inline 函数或变量 (C++17 起)(例如不声明为 static )拥有下列额外属性:
- 内联函数或变量 (C++17 起)在程序中可拥有多于一次定义,只要每个定义都出现在不同翻译单元中(对于非静态的内联函数和变量 (C++17 起))且所有定义等同即可。例如,内联函数或内联变量 (C++17 起)可定义于被多个源文件所 #include 的头文件中。
- 它必须在每个翻译单元中均声明为 inline 。
- 它在每个翻译单元中均拥有相同地址。
在内联函数中,
- 所有函数定义中的函数局部静态对象在所有翻译单元间共享(它们都指代相同的定义于某一个翻译单元中的对象)
- 所有函数定义中所定义的类型亦在所有翻译单元中相同。
|
(C++17 前) |
命名空间作用域的内联 const 变量默认具有外部连接(这点不同于非内联非 volatile 的有 const 限定的变量) |
(C++17 起) |
inline
关键词的本意是作为给优化器的指示器,以指示优先采用函数的内联替换而非进行函数调用,即并不执行将控制转移到函数体内的函数调用 CPU 指令,而是代之以执行函数体的一份副本而无需生成调用。这会避免函数调用的开销(传递实参及返回结果),但它可能导致更大的可执行文件,因为函数体必须被复制多次。
因为关键词 inline 的含义是非强制的,编译器拥有对任何未标记为 inline 的函数使用内联替换的自由,和对任何标记为 inline 的函数生成函数调用的自由。这些优化选择不改变上述关于多个定义和共享静态变量的规则。
由于关键词 inline 对于函数的含义已经变为“容许多次定义”而不是“优先内联”,因此这个含义也扩展到了变量。 |
(C++17 起) |
注解
若具有外部连接的内联函数或变量 (C++17 起)在不同翻译单元中的定义不同,则行为未定义。
inline 说明符不能用于块作用域内(函数内部)的函数或变量 (C++17 起)声明
inline 说明符不能重声明在翻译单元中已定义为非内联的函数或变量 (C++17 起)。
隐式生成的成员函数和任何在其首条声明中声明为预置的成员函数,与任何其他在类定义内定义的函数一样是内联的。
若内联函数在不同翻译单元中进行声明,则其默认实参的积累集合必须在每个翻译单元的末尾相同。
在 C 中,内联函数不必在每个翻译单元声明为 inline(至多一个可为非 inline 或 extern inline),函数定义不必相同(但程序行为不能依赖于调用的是哪个函数),且函数局部的静态变量在同一函数的不同定义间不同。
关于内联静态成员的额外规则见静态数据成员 内联变量消除了将 C++ 代码打包为唯头文件的库的主要障碍。 |
(C++17 起) |
示例
// 头文件 #ifndef EXAMPLE_H #define EXAMPLE_H // 包含于多个源文件的函数必须为 inline inline int sum(int a, int b) { return a + b; } #endif // 源文件 #2 #include "example.h" int a() { return sum(1, 2); } // 源文件 #1 #include "example.h" int b() { return sum(3, 4); }