5、C11标准（下）：匿名结构体/联合体、static_assert、noreturn函数说明符、对齐支持（alignas/alignof）

好，咱们接着聊C11。上一章我们讲了多线程和原子操作，那都是硬核的并发内容。这一章相对轻松一些，但实用性一点都不差。匿名结构体/联合体、静态断言、noreturn说明符、还有对齐控制——这几个特性，说白了就是C语言在“补课”，把一些工程中早就该有的东西给补上了。

我个人习惯把这一章叫做“工程便利性增强包”。为什么这么说？你想想看，写嵌入式或者系统软件的时候，你是不是经常遇到“这个结构体嵌套好深，取个成员要写三层路径”、“这个函数明明不会返回，编译器还老警告”、“我想让这个变量按16字节对齐，还得用编译器扩展”……这些痛点，C11一次性给你解决了。

5.1 匿名结构体与匿名联合体

先说说匿名结构体和联合体。这个特性，我在做网络协议栈解析的时候经常用。

什么叫匿名？就是不写名字。结构体或联合体没有名字，直接嵌套在父结构体里。这样一来，子成员的访问路径就“上提”了一层，代码清爽很多。

// 传统写法
struct ip_header {
    uint8_t version_ihl;
    uint8_t tos;
    uint16_t total_length;
    struct {
        uint16_t id;
        uint16_t flags_fragment;
    } identification;  // 必须有个名字
};

// 访问时：pkt->identification.id

// C11匿名写法
struct ip_header {
    uint8_t version_ihl;
    uint8_t tos;
    uint16_t total_length;
    struct {
        uint16_t id;
        uint16_t flags_fragment;
    };  // 没有名字！匿名！
};

// 访问时：pkt->id  直接访问！

看到了吗？少写一层。别小看这个变化，当你的结构体嵌套三四层的时候，每个成员前面都要加一堆前缀，代码又长又丑。匿名之后，直接访问子成员，就像它们是父结构体的成员一样。

联合体也一样。我记得有一次做变体消息解析，一个消息体可能是A类型也可能是B类型，但开头几个字段是一样的。用匿名联合体，代码结构特别清晰：

struct message {
    uint32_t msg_id;
    uint64_t timestamp;
    union {
        struct {
            uint32_t x;
            uint32_t y;
        };  // 匿名结构体
        struct {
            float latitude;
            float longitude;
        };  // 匿名结构体
    };  // 匿名联合体
};

// 使用：msg.x 或 msg.latitude，取决于消息类型

5.2 static_assert：编译时的“安全锁”

接下来是static_assert。这个我太喜欢了。说白了，就是在编译阶段做断言检查，如果条件不满足，编译直接失败，并给出错误信息。

为什么要这个？你想想看，有些错误越早发现越好。比如你依赖某个结构体的大小是64字节，结果因为对齐或者成员顺序变了，大小变成了68字节。这种错误运行时很难排查，但用static_assert，编译时就给你卡住了。

#include <assert.h>  // C11中static_assert是宏，定义在这里

struct config_block {
    uint32_t magic;
    uint32_t version;
    uint8_t  data[56];
};

// 编译时检查：config_block必须正好64字节
static_assert(sizeof(struct config_block) == 64, 
              "config_block must be exactly 64 bytes");

我曾经在一个嵌入式项目里吃过这个亏。当时定义了一个通信协议的结构体，要求严格按1字节对齐，大小是32字节。后来有人加了一个字段，忘了调整对齐属性，结构体变成了36字节。两边通信直接对不上，查了整整两天。从那以后，我每个关键结构体后面都加一句static_assert，再也没出过这种问题。

static_assert的语法很简单：

static_assert(常量表达式, 字符串字面量);

常量表达式必须在编译时就能求值。不能是变量，不能是运行时才能确定的值。字符串字面量就是编译失败时显示的错误信息。

C23对这个做了改进，第二个参数（错误信息）可以省略了。但在C11里，两个参数都是必须的。

5.3 noreturn函数说明符

noreturn，顾名思义，告诉编译器：这个函数永远不会返回。典型的例子就是exit()、abort()、还有那些无限循环的任务函数。

为什么要加这个？因为编译器不知道这个函数不返回，它会假设函数调用之后代码还会继续执行，然后给出一些“unreachable code”之类的警告，或者做一些不合理的优化。

#include <stdnoreturn.h>  // noreturn宏定义在这里

noreturn void fatal_error(const char *msg) {
    fprintf(stderr, "FATAL: %s\n", msg);
    abort();  // 不会返回
}

void process(void) {
    if (some_bad_condition) {
        fatal_error("something went wrong");
    }
    // 编译器知道这里只有条件不满足时才会执行
    // 不会报 unreachable code 警告
}

嗯，这里要注意：noreturn只是一个承诺。如果你声明了noreturn，但函数实际上返回了，那行为是未定义的。编译器可能会基于“这个函数不会返回”的假设做优化，结果函数却返回了，那后面的代码就全乱套了。

另外，noreturn在函数声明和定义处都要写。只写一处，编译器可能会忽略。

5.4 对齐支持：alignas和alignof

最后说说对齐。这个在底层编程里太重要了。不同的硬件平台对数据对齐有不同的要求，有些CPU访问未对齐的数据会直接崩溃，有些虽然能访问但性能会下降很多。

C11引入了两个关键字：_Alignas 和 _Alignof。为了方便使用，头文件 <stdalign.h> 把它们定义为 alignas 和 alignof。

• alignof：查询一个类型的对齐要求。返回一个size_t值。
• alignas：指定一个变量或结构体成员的对齐方式。

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

// 查询int的对齐要求
printf("Alignment of int: %zu\n", alignof(int));  // 通常是4

// 指定16字节对齐
alignas(16) float buffer[1024];  // buffer按16字节对齐

// 结构体对齐
struct alignas(64) cache_line {
    uint8_t data[64];
};  // 整个结构体按64字节对齐

为什么需要手动控制对齐？我举几个实际场景：

1. SIMD指令：像SSE、AVX这些指令，要求数据按16字节或32字节对齐。不对齐的话，要么用慢速的未对齐加载指令，要么直接崩溃。
2. DMA传输：很多DMA控制器要求缓冲区按特定边界对齐，比如4字节、8字节、甚至64字节。
3. 缓存行对齐：在多核编程中，把频繁访问的数据放在同一个缓存行里会导致“伪共享”。用alignas(64)可以让不同线程的数据分到不同缓存行。

还有一个细节：alignas 可以叠加使用，编译器会取最大的那个对齐值。比如：

alignas(16) alignas(32) int x;  // 实际按32字节对齐

但说实话，我很少这么写。一般明确指定一个值就够了。

5.5 知识体系总览

这一章的内容，我用一张图来总结。四个特性，各自解决不同的问题，但目标一致：让C语言更安全、更高效、更好用。

这四个特性，单独看都不复杂，但组合起来，能让你的代码质量上一个台阶。我个人的建议是：

• 匿名结构体/联合体：在嵌套深、访问频繁的场景下使用，但别滥用，过度匿名会让代码结构不清晰。
• static_assert：能加就加，尤其是那些跨平台、跨编译器的代码。编译时检查是性价比最高的防御手段。
• noreturn：只用在真正不返回的函数上，比如错误处理、任务循环。别为了消除警告而乱用。
• 对齐控制：底层编程必备。如果你不做嵌入式、内核、高性能计算，可能用得不多，但一旦需要，它就是救命稻草。

好了，C11的内容到这里就结束了。下一章我们进入C17和C23，看看C语言在现代化道路上又迈出了哪些步子。

---