std::align

来自cppreference.com
< cpp‎ | memory
 
 
工具库
语言支持
类型支持(基本类型、RTTI)
库功能特性测试宏 (C++20)
动态内存管理
程序工具
协程支持 (C++20)
变参数函数
调试支持
(C++26)
三路比较
(C++20)
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)   
(C++20)
交换类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)

 
动态内存管理
未初始化内存算法
受约束的未初始化内存算法
分配器
垃圾收集器支持
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)
(C++11)(C++23 前)



 
在标头 <memory> 定义
void* align( std::size_t alignment,

             std::size_t size,
             void*& ptr,

             std::size_t& space );
(C++11 起)

给定指针 ptr 指定大小为 space 的缓冲区,返回按指定 alignmentsize 字节数对齐的指针,并减小 space 实参对齐所用的字节数。返回首个对齐的地址。

仅以给定对齐量对齐入缓冲区的所需字节数合适,函数才会修改指针。若缓冲区太小,则函数不做任何事并返回 nullptr

alignment 不是二的幂,则行为未定义。

参数

alignment - 欲求的对齐量
size - 要被对齐的存储的大小
ptr - 指向至少有 space 字节的连续存储的指针
space - 要在其中操作的缓冲区的大小

返回值

ptr 的调整值,或若提供空间太小则为空指针值。

示例

演示使用 std::align 在内存中放置不同类型的对象。

#include <iostream>
#include <memory>
 
template<std::size_t N>
struct MyAllocator
{
    char data[N];
    void* p;
    std::size_t sz;
    MyAllocator() : p(data), sz(N) {}
    template<typename T>
    T* aligned_alloc(std::size_t a = alignof(T))
    {
        if (std::align(a, sizeof(T), p, sz))
        {
            T* result = reinterpret_cast<T*>(p);
            p = (char*)p + sizeof(T);
            sz -= sizeof(T);
            return result;
        }
        return nullptr;
    }
};
 
int main()
{
    MyAllocator<64> a;
    std::cout << "a.data 分配于 " << (void*)a.data
              << " (" << sizeof a.data << " 字节)\n";
 
    // 分配一个 char
    if (char* p = a.aligned_alloc<char>())
    {
        *p = 'a';
        std::cout << "char 分配于 " << (void*)p << '\n';
    }
 
    // 分配一个 int
    if (int* p = a.aligned_alloc<int>())
    {
        *p = 1;
        std::cout << "int 分配于 " << (void*)p << '\n';
    }
 
    // 分配一个 int,对齐于 32 字节边界
    if (int* p = a.aligned_alloc<int>(32))
    {
        *p = 2;
        std::cout << "int 分配于 " << (void*)p << " (32 字节对齐)\n";
    }
}

可能的输出:

a.data 分配于 0x7ffd0b331f80 (64 字节)
char 分配于 0x7ffd0b331f80
int 分配于 0x7ffd0b331f84
int 分配于 0x7ffd0b331fa0 (32 字节对齐)

缺陷报告

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

缺陷报告 应用于 出版时的行为 正确行为
LWG 2377 C++11 要求 alignment 为基础或受支持的扩展对齐值 仅需要为二的幂

参阅

alignof 运算符(C++11) 查询类型的对齐要求
alignas 说明符(C++11) 指定该变量的存储应该按指定量对齐
(C++11)(C++23 中弃用)
定义适于用作给定大小的类型的未初始化存储的类型
(类模板)
告知编译器指针已对齐
(函数模板)