GCC 中的结构对齐（是否应该在 typedef 中指定对齐？）

Question

抱歉问了一个愚蠢的问题，但是如果我需要确保结构/类/联合的对齐，我应该在 typedef 声明中添加 attribute((aligned(align))) 吗？

class myAlignedStruct{} __attribute__ ((aligned(16)));
typedef myAlignedStruct myAlignedStruct2; // Will myAlignedStruct2 be aligned by 16 bytes or not?

Answer 1

我应该在 typedef 声明中添加属性((aligned(align))) 吗？

不... typedef 只是指定实际类型的假名或别名，它们不作为单独的类型存在以具有不同的对齐方式、打包等。

#include <iostream>

struct Default_Alignment
{
    char c;
};

struct Align16
{
    char c;
} __attribute__ ((aligned(16)));

typedef Align16 Also_Align16;

int main()
{
    std::cout << __alignof__(Default_Alignment) << '\n';
    std::cout << __alignof__(Align16) << '\n';
    std::cout << __alignof__(Also_Align16) << '\n';
}

输出：

1
16
16

Answer 2

接受的答案（“否”）是正确的，但我想澄清其中一个可能具有误导性的部分。我会添加评论，但需要格式化一些代码；因此有了新的答案。

typedef 只是指定的实际类型的假名或别名，它们不作为单独的类型存在以具有不同的对齐、打包等。

这是不正确的，至少对于 GCC（OP 的编译器）和 GHS 是这样。例如，以下编译没有错误，表明对齐可以附加到 typedef。

不正当的排列（大于物体的大小）只是为了震撼和娱乐价值。

#define CASSERT( expr ) { typedef char cassert_type[(expr) ? 1 : -1]; }

typedef __attribute__((aligned(64))) uint8_t aligned_uint8_t;

typedef struct
{
    aligned_uint8_t t;
} contains_aligned_char_t;

void check_aligned_char_semantics()
{
    CASSERT(__alignof(aligned_uint8_t) == 64);
    CASSERT(sizeof(aligned_uint8_t) == 1);
    CASSERT(sizeof(contains_aligned_char_t) == 64);
}