alignof 运算符 (C++11 起)

 

C++

编译器支持

独立式和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11 起)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11 起)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

通用主题
预处理器 注释	关键字 转义序列
流程控制
条件执行语句
if	switch
迭代语句（循环）
for range-for (C++11 起)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
Lambda 函数表达式
inline 说明符
动态异常规范 (直至 C++17*)
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++ 历史

 

表达式

通用
值类别 求值顺序 常量表达式 主表达式	Lambda 表达式 (C++11 起) Requires 表达式 (C++20) 包索引表达式 (C++26) 潜在求值表达式
字面量
整数字面量 浮点字面量 布尔字面量 字符字面量	转义序列 字符串字面量 空指针字面量 (C++11 起) 用户定义字面量 (C++11 起)
运算符
赋值运算符 自增和自减 算术运算符 逻辑运算符 比较运算符 成员访问运算符 其他运算符 new-表达式 delete-表达式 throw 表达式	alignof sizeof sizeof... (C++11 起) typeid noexcept (C++11 起) 折叠表达式 (C++17) 运算符的替代表示 优先级和结合性 运算符重载 默认比较 (C++20)
转换
隐式转换 显式转换 常用算术转换     用户定义转换	const_cast static_cast dynamic_cast reinterpret_cast

 

查询类型的对齐要求。

语法

alignof( type-id )

返回 std::size_t 类型的值。

解释

返回 对齐，以字节为单位，type-id 指示的类型的任何实例所要求的对齐，type-id 或是完整对象类型，或是元素类型完整的数组类型，或是这些类型之一的引用类型。

如果类型是引用类型，则运算符返回被引用类型的对齐；如果类型是数组类型，则返回元素类型的对齐要求。

注解

有关 alignof 返回值的含义和属性，见对齐。

关键字

alignof

示例

运行此代码

#include <iostream>
 
struct Foo
{
    int   i;
    float f;
    char  c;
};
 
// Note: alignas(alignof(long double)) below can be
// simplified to alignas(long double) if desired.
struct alignas(alignof(long double)) Foo2
{
    // put your definition here
}; 
 
struct Empty {};
 
struct alignas(64) Empty64 {};
 
#define SHOW(expr) std::cout << #expr << " = " << (expr) << '\n'
 
int main()
{
    SHOW(alignof(char));
    SHOW(alignof(int*));
    SHOW(alignof(Foo));
    SHOW(alignof(Foo2));
    SHOW(alignof(Empty));
    SHOW(alignof(Empty64));
}

可能的输出

alignof(char) = 1
alignof(int*) = 8
alignof(Foo) = 4
alignof(Foo2) = 16
alignof(Empty) = 1
alignof(Empty64) = 64

缺陷报告

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

DR	应用于	已发布行为	正确行为
CWG 1305	C++11	type-id 不能表示对具有未知边界但元素类型完整的数组的引用 但元素类型完整的数组	允许

参考

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

• 7.6.2.6 Alignof [expr.alignof]

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

• 7.6.2.5 Alignof [expr.alignof]

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

• 8.3.6 Alignof [expr.alignof]

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

• 5.3.6 Alignof [expr.alignof]

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

• 5.3.6 Alignof [expr.alignof]

参见

对齐要求	限制对象可以分配的地址
alignas (C++11 起)	指定变量的存储应按特定量对齐 (说明符)
alignment_of (C++11)	获取类型的对齐要求 (类模板)
C 文档 关于 _Alignof, alignof 运算符