std::assume_aligned

语言支持
类型支持（基本类型、 RTTI 、类型特征）
库功能特性测试宏 (C++20)
动态内存管理
程序工具
错误处理
协程支持 (C++20)
变参数函数
launder (C++17)
initializer_list (C++11)
source_location (C++20)
三路比较 (C++20)
three_way_comparablethree_way_comparable_with (C++20)(C++20)
strong_ordering (C++20)
weak_ordering (C++20)
partial_ordering (C++20)
common_comparison_category (C++20)
compare_three_way_result (C++20)
compare_three_way (C++20)
strong_order (C++20)
weak_order (C++20)
partial_order (C++20)
compare_strong_order_fallback (C++20)
compare_weak_order_fallback (C++20)
compare_partial_order_fallback (C++20)
is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

通用工具

(C++11)

(C++14)

关系运算符 (C++20 中弃用)

整数比较函数

(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

(C++20)

swap 与类型运算

常用词汇类型

初等字符串转换

(C++17)

(C++17)

(C++17)

栈踪

(C++23)

(C++23)

定义于头文件 `<memory>`
template< std::size_t N, class T > [[nodiscard]] constexpr T* assume_aligned(T* ptr);		(C++20 起)

告知编译器 ptr 所指向的对象至少对齐到 N 。实现可用此信息生成更高效的代码，但仅会对通过 assume_aligned 的返回值进行的访问做此假设。

若 N 不是 2 的幂则程序为病式。若 ptr 不指向 T 类型对象（忽略每层的 cv 限定）或对象的对齐不至少为 N ，则行为未定义。

ptr 。

不抛出。

为确保程序能从以 assume_aligned 启用的优化受益，最好通过其返回值访问对象：

void f(int* p) {
   int* p1 = std::assume_aligned<256>(p);
   // 用 p1 而非 p ，以确保从对齐假设受益。
   // 然而，若 p 未对齐则程序有未定义行为，无关乎是否使用 p1 。
}

交给程序员确保对齐假设确实成立。调用 assume_aligned 不导致编译器检查或强制这点。