asm 声明

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

通用主题
预处理器 注释	关键字 转义序列
流程控制
条件执行语句
if	switch
迭代语句 (循环)
for 范围 for (C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
Lambda 函数表达式
inline 说明符
动态异常规范 (在 C++11 中弃用*)
noexcept 说明符 (C++11)
异常
throw 表达式 try 块	catch 处理程序
命名空间
命名空间声明	命名空间别名
类型
基本类型 枚举类型 函数类型	类/结构体类型 联合体类型
说明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
存储期说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔 - 整数 - 浮点
字符 - 字符串 - nullptr (C++11)
用户定义 (C++11)
实用工具
属性 (C++11)
类型
typedef 声明
类型别名声明 (C++11)
转型
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
类特有函数属性
虚函数 override 说明符 (C++11)   final 说明符 (C++11)	explicit (C++11) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 形参包 (C++11)
杂项
内联汇编	C++ 的历史

 

声明

概述 声明语法 decl-specifier-seq 声明符 冲突的声明 说明符 typedef inline virtual 函数说明符 explicit 函数说明符 friend constexpr (C++11) consteval (C++20) constinit (C++20) 存储类说明符 翻译单元局部 (C++20) class/struct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile 形参包索引说明符 (C++26)     详述类型说明符 属性 (C++11)

声明符 引用 指针 数组 块声明 简单声明   →结构化绑定声明 (C++17) 别名声明 (C++11) 命名空间别名定义 using 声明 using 指令 static_assert 声明 (C++11) asm 声明 不透明枚举声明 (C++11) 其他声明 命名空间定义 函数声明 类模板声明 函数模板声明 显式模板实例化 (C++11) 显式模板特化 链接规范 属性声明 (C++11) 空声明

 

asm-declaration 提供了在 C++ 程序中嵌入汇编语言源代码的能力。此声明是有条件支持的，并且(自 C++11 起)实现定义的，这意味着它可能不存在，即使实现提供了它，(自 C++11 起)它也没有固定的含义。

语法

attr (可选) asm ( string-literal ) ;		(直到 C++26)
attr (可选) asm ( balanced-token-seq ) ;		(自 C++26 起)

attr	-	(自 C++11 起) 任意数量的 属性
string-literal	-	与 字符串字面量 中相同，包括原始字符串字面量
balanced-token-seq	-	括号、方括号和花括号平衡的标记序列；对 balanced-token-seq 及其含义的任何限制都是实现定义的

解释

balanced-token-seq 通常是表示用汇编语言编写的短程序的字符串字面量，每当执行此声明时，该程序就会被执行。不同的 C++ 编译器对于 asm 声明有非常不同的规则，以及与周围 C++ 代码交互的不同约定。

与其他 块声明 一样，此声明可以出现在块内（函数体或其他复合语句），并且，与所有其他声明一样，此声明也可以出现在块外。

注意

特性测试宏	值	Std	特性
__cpp_constexpr	201907L	(C++20)	constexpr 函数中的平凡默认初始化和asm 声明

关键字

asm

示例

演示了 GCC/Clang 编译器提供的两种内联汇编语法。此程序仅在 Linux 下的 x86_64 平台上正常工作。

运行此代码

#include <iostream>
 
extern "C" int func(int x);
// the definition of func is written in assembly language
// raw string literal could be very useful
asm(R"(
.globl func
    .type func, @function
    func:
    .cfi_startproc
    movl %edi, %eax /* x is in RDI, see x86-64 calling convention */
    addl $1, %eax
    ret
    .cfi_endproc
)");
 
int main()
{
    int n = func(0110);
    // formerly non-standard inline assembly, made comforming by P2361R6
    asm ("leal (%0,%0,4),%0"
         : "=r" (n)
         : "0" (n));
    std::cout << "73*5 = " << n << std::endl; // flush is intentional
 
    // standard inline assembly
    asm ("movq $60, %rax\n" // the exit syscall number on Linux
         "movq $2,  %rdi\n" // this program returns 2
         "syscall");
}

输出

73*5 = 365

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

DR	应用于	已发布行为	正确行为
CWG 195	C++98	需要支持所有 asm 声明	改为有条件支持
CWG 2262	C++11	属性不能应用于 asm 声明	允许

参考

• C++26 标准 (ISO/IEC 14882:2026)

• 9.10 asm 声明 [dcl.asm]

• C++23 标准 (ISO/IEC 14882:2024)

• 9.10 asm 声明 [dcl.asm]

• C++20 标准 (ISO/IEC 14882:2020)

• 9.10 asm 声明 [dcl.asm]

• C++17 标准 (ISO/IEC 14882:2017)

• 10.4 asm 声明 [dcl.asm]

• C++14 标准 (ISO/IEC 14882:2014)

• 7.4 asm 声明 [dcl.asm]

• C++11 标准 (ISO/IEC 14882:2011)

• 7.4 asm 声明 [dcl.asm]

• C++03 标准 (ISO/IEC 14882:2003)

• 7.4 asm 声明 [dcl.asm]

• C++98 标准 (ISO/IEC 14882:1998)

• 7.4 asm 声明 [dcl.asm]

参见

• C++ ABI

C 文档 关于 内联汇编

外部链接

1.	GCC 内联汇编 HOWTO
2.	GCC 内联 ASM — Locklessinc.com
3.	IBM XL C/C++ 内联汇编
4.	Intel C++ 内联汇编
5.	Visual Studio 内联汇编器
6.	Sun Studio 12 Asm 语句
7.	用于基于 Itanium 的 HP-UX 的内联汇编
8.	X86 调用约定 — Wikipedia