Question

我已经读过aliged_alloc的那个人，应该这样使用：

void* aligned_alloc( std::size_t alignment, std::size_t size );

它使用alloc和alignment返回我要指向size的指针。

在我的代码中，我尝试使用它：

int *a = aligned_alloc(1024, 10*sizeof(a));

并

std::cout << alignof(a) << std::endl;

它给了我8。但是我希望结果是1024，因为我的对齐方式是1024。

我不明白什么？

Answer 1

a的对齐方式不是a所指向的内存的对齐方式。 alignof(a)给出的8值是该类型所需的对齐方式，而不是a值的最大对齐方式。

执行alignof(a)时，等同于执行alignof(int *)，在编译器/计算机上对齐必须为8。

Answer 2

_Alignof运算符（alignof宏扩展为该运算符）的计算结果是给定操作数的 type 类型的对齐要求，而不是它指向的内容（（如果是指针）。

它是在编译时求值的，因此，如果操作数是一个指针，则它无法知道它所指向的对象，如果有的话。

C standard中的6.5.3.4p3节规定：

_Alignof运算符产生其操作数类型的对齐要求。不评估操作数，结果是整数常量。当应用于数组类型时，结果是元素类型的对齐要求。

C++ standard的第8.3.6节：

1 alignof表达式产生其操作数类型的对齐要求。操作数应该是表示完整的type-id   对象类型或其数组，或对其中之一的引用   类型。

2 结果是std::size_t类型的积分常数。

3 将alignof应用于引用类型时，结果是引用类型的对齐方式。将alignof应用于数组时   类型，结果是元素类型的对齐方式。

Answer 3

alignof是静态运算符。它会为您提供对象类型的本机对齐方式。 alignof(a)将是int*指针的本机对齐方式，而alignof(*a)将是int的本机对齐方式。

aligned_alloc不是编译时函数。它在运行时分配内存，并且该内存的对齐方式将是指针存储的地址中尾随零的计数的2（最容易/最有效的方法是使用gcc / clang提供的__builtin_ctz*内置函数进行计数）。< / p>

摘要

#include <stdlib.h>
#include <stdio.h>
#include <stdalign.h>

int main()
{
    int *a = (int*)aligned_alloc(1023,1);
    printf("%zu %zu\n", alignof(a), alignof(*a));
    printf("ctz=%u\n",__builtin_ctzll((unsigned long long)a));
    printf("%llu\n",1ull<<__builtin_ctzll((unsigned long long)a));
}

在http://coliru.stacked-crooked.com/a/51606a7d251103a9上运行

通常似乎返回指向2 ^ 12或2 ^ 13对齐的指针，这是可以的，因为这样的过度对齐的指针肯定也对齐了2 ^ 10（== 1024）。

示例输出：

8 4
ctz=12
4096

aligned_alloc行为

3 个答案: