asm 声明

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

技术规范

符号索引

外部库

 

C++ 语言

一般主题
预处理器 注释	关键词 转义序列
流程控制
条件执行语句
if	switch
重复语句（循环）
for 范围 for (C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
lambda 函数表达式
inline 说明符
动态异常说明 (C++17 前*)
noexcept 说明符 (C++11)
异常
throw 表达式 try 块	处理块
命名空间
命名空间声明	命名空间别名
类型
基础类型 枚举类型 函数类型	类/结构体类型 联合体类型
说明符
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++ 的历史

 

声明

概览 声明语法 声明说明符序列 声明符 有冲突的声明 说明符 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 声明 笼统 enum 声明 (C++11) 其他声明 命名空间定义 函数声明 类模板声明 函数模板声明 显式模板实例化 (C++11) 显式模板特化 链接说明 属性声明 (C++11) 空声明

 

汇编（asm）声明 给予在 C++ 程序中嵌入汇编语言源代码的能力。此声明受条件性支持且 (C++11 起)由实现定义，意思是它可以不存在，而且即使实现有所提供，它也 (C++11 起)并不拥有固定的含义。

语法

属性 (可选) asm ( 字符串字面量 ) ;		(C++26 前)
属性 (可选) asm ( 平衡记号序列 ) ;		(C++26 起)

属性	-	(C++11 起) 任意数量的属性
字符串字面量	-	与字符串字面量相同，包括原始字符串字面量
平衡记号序列	-	记号的序列，其中圆括号、方括号和花括号平衡出现；平衡记号序列上的任何约束和其含义均由实现定义

解释

平衡记号序列 通常是以汇编语言编写的短程序，该程序会在执行这条声明时执行。不同的 C++ 编译器的汇编声明规则有巨大差异，和与周围的 C++ 代码之间交互的约定也不同。

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

注解

功能特性测试宏	值	标准	功能特性
__cpp_constexpr	201907L	(C++20)	constexpr 函数中的平凡默认初始化和汇编声明

关键词

asm

示例

这里演示 GCC/Clang 等编译器提供的两种内联汇编语法。此程序只在 x86-64 上的 Linux 下正确工作。

运行此代码

#include <iostream>
 
extern "C" int func(int x);
// func 的定义以汇编语言书写
// 原始字符串字面量可以很有用
asm(R"(
.globl func
    .type func, @function
    func:
    .cfi_startproc
    movl %edi, %eax /* x 在 RDI 中，见 x86-64 调用约定 */
    addl $1, %eax
    ret
    .cfi_endproc
)");
 
int main()
{
    int n = func(0110);
    // 之前是非标准的内联汇编，但被 P2361R6 认可
    asm ("leal (%0,%0,4),%0"
         : "=r" (n)
         : "0" (n));
    std::cout << "73*5 = " << n << std::endl; // 冲洗缓冲区是有意的
 
    // 标准内联汇编
    asm ("movq $60, %rax\n" // Linux 上的“退出”的系统调用序号
         "movq $2,  %rdi\n" // 此程序返回 2
         "syscall");
}

输出：

73*5 = 365

缺陷报告

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

缺陷报告	应用于	出版时的行为	正确行为
CWG 195	C++98	需要支持所有的 asm 声明	只需要条件性支持
CWG 2262	C++11	不能将属性应用到 asm 声明	可以应用

引用

• C++26 标准（ISO/IEC 14882:2026）：

• 9.10 The asm declaration [dcl.asm]

• C++23 标准（ISO/IEC 14882:2024）：

• 9.10 The asm declaration [dcl.asm]

• C++20 标准（ISO/IEC 14882:2020）：

• 9.10 The asm declaration [dcl.asm]

• C++17 标准（ISO/IEC 14882:2017）：

• 10.4 The asm declaration [dcl.asm]

• C++14 标准（ISO/IEC 14882:2014）：

• 7.4 The asm declaration [dcl.asm]

• C++11 标准（ISO/IEC 14882:2011）：

• 7.4 The asm declaration [dcl.asm]

• C++03 标准（ISO/IEC 14882:2003）：

• 7.4 The asm declaration [dcl.asm]

• C++98 标准（ISO/IEC 14882:1998）：

• 7.4 The asm declaration [dcl.asm]

参阅

• C++ ABI

外部链接

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