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++ 关键词
语言链接
提供以不同程序语言编写的模块间的链接。
extern 字符串字面量 { 声明序列(可选) }
|
(1) | ||||||||
extern 字符串字面量 声明
|
(2) | ||||||||
1) 将语言说明 字符串字面量 应用到声明于 声明序列 中的所有函数类型,具有外部链接的函数名,和具有外部链接的变量。
2) 将语言说明 字符串字面量 应用到单一声明或定义。
字符串字面量 | - | 所要求的语言链接的名字 |
声明序列 | - | 声明的序列,可以包含嵌套的链接说明 |
声明 | - | 一个声明 |
解释
所有函数类型,所有拥有外部链接的函数名,及所有拥有外部链接的变量名,拥有一种称作语言链接的性质。语言链接封装与以另一程序语言编写的模块进行链接的要求的集合:调用约定、名字重整的算法,等等。
仅保证支持二种语言链接:
1) "C++",默认的语言链接。
2) "C",使得以 C 程序语言编写的函数进行链接,以及在 C++ 程序中定义能从 C 模块调用的函数成为可能。
extern "C" { int open(const char *pathname, int flags); // C 函数声明 } int main() { int fd = open("test.txt", 0); // 从 C++ 程序调用 C 函数 } // 此 C++ 函数能从 C 代码调用 extern "C" void handler(int) { std::cout << "Callback invoked\n"; // 它能使用 C++ }
因为语言链接是每个函数类型的一部分,故函数指针也要维持语言链接。函数类型的语言链接(它表示调用约定)和函数名的语言链接(它表示名字重整)是彼此独立的:
extern "C" void f1(void(*pf)()); // 声明一个具有 C 链接的函数 f1, // 它返回 void 并接受指向返回 void 且不接受形参的 C 函数的指针 extern "C" typedef void FUNC(); // 声明 FUNC 为返回 void 且不接受形参的 C 函数类型 FUNC f2; // 名字 f2 拥有 C++ 链接,但其类型是 C 函数 extern "C" FUNC f3; // 名字 f3 拥有 C 链接且其类型是 C 函数 void(void) void (*pf2)(FUNC*); // 名字 pf2 拥有 C++ 链接,且其类型是“指向返回 void 并接受 // 一个‘指向返回 void 且不接受形参的 C 函数的指针’类型参数的 C++ 函数的指针 extern "C" { static void f4(); // 函数 f4 的名字拥有内部链接(无语言) // 但函数的类型拥有 C 语言链接 }
在同一命名空间中具有相同名字和相同形参列表的两个函数,不能拥有两个不同的语言链接(然而需要注意,形参的链接可容许这种重载,例如 std::qsort 和 std::bsearch 的情况)。类似地,同一命名空间中的两个变量不能拥有两种不同的语言链接。
"C" 链接的特殊规则
1) 当类成员的声明和成员函数类型的声明出现于 "C" 语言块中时,其链接仍保持为 "C++"。
2) 当两个拥有同一无限定名字的函数声明于不同命名空间,且都拥有 "C" 语言链接时,两个声明表示同一函数。
3) 当两个拥有 "C" 语言链接和相同名字的变量出现于不同命名空间时,它们表示同一变量。
4) 一个 "C" 变量和一个 "C" 函数不能拥有相同的名字,无关乎它们定义于同一或不同命名空间。
注解
语言链接只能出现在命名空间作用域。
语言说明的花括号不建立作用域。
当语言说明发生嵌套时,有效的是最内层的说明。
函数可在带语言说明的声明之后,进行不带链接说明的重声明,第二个声明将重复使用首个声明的语言链接。反之则不行:若首个声明无语言链接,则假定其为 "C++",而以其他语言链接重声明则是错误。
直接包含于语言链接说明之中的声明,被处理为如同它含有 extern 说明符,用以确定所声明的名字的链接以及它是否为定义。
extern "C" int x; // 声明且非定义 // 上一行等价于 extern "C" { extern int x; } extern "C" { int x; } // 声明及定义
extern "C"
使得在 C++ 程序中包含(include)含有 C 库函数的声明的头文件成为可能,但如果与 C 程序共用相同的头文件,必须以适当的
#ifdef 隐藏 extern "C"
(其在 C 中不被允许),通常为 __cplusplus:
#ifdef __cplusplus extern "C" int foo(int, int); // C++ 编译器所见 #else int foo(int, int); // C 编译器所见 #endif
引用
- C++14 standard (ISO/IEC 14882:2014):
- 7.5 Linkage specifications [dcl.link]
- C++11 standard (ISO/IEC 14882:2011):
- 7.5 Linkage specifications [dcl.link]