4. 数据类型定义规范：基础类型重定义、结构体、枚举与联合体

数据类型定义，说白了就是给嵌入式软件搭骨架。骨架歪了，后面再多的业务逻辑也跑不稳。我见过太多项目因为类型定义混乱，导致移植时改得头皮发麻。今天咱们就把这块彻底理清楚。

4.1 基础类型重定义：告别平台依赖

嵌入式开发里，int 在不同编译器下可能是 16 位，也可能是 32 位。你想想看，代码里到处是 int，换个芯片就崩，这谁受得了？

我的习惯是：项目一开始就做一套基础类型重定义，所有代码只使用这些新名字。

/* stdint_types.h */
#ifndef STDINT_TYPES_H
#define STDINT_TYPES_H

/* 无符号整型 */
typedef unsigned char       uint8_t;
typedef unsigned short      uint16_t;
typedef unsigned int        uint32_t;
typedef unsigned long long  uint64_t;

/* 有符号整型 */
typedef signed char         int8_t;
typedef signed short        int16_t;
typedef signed int          int32_t;
typedef signed long long    int64_t;

/* 布尔类型 */
typedef uint8_t             bool_t;
#define TRUE                1
#define FALSE               0

/* 易变类型（寄存器映射专用） */
typedef volatile uint32_t   reg32_t;
typedef volatile uint16_t   reg16_t;
typedef volatile uint8_t    reg8_t;

#endif /* STDINT_TYPES_H */

4.2 结构体定义规范：对齐、填充与封装

结构体是嵌入式数据交换的核心。但很多人只关注成员，忽略了内存布局。我见过最离谱的，一个结构体因为成员顺序不对，凭空多出 6 个字节的填充。

结构体定义三原则：

1. 成员按长度降序排列：从大到小排，减少填充。
2. 显式指定对齐方式：使用 #pragma pack 或 __attribute__((packed))。
3. 预留扩展字段：给未来升级留后路。

/* 错误示范：成员顺序随意 */
typedef struct {
    uint8_t     id;         /* 1 字节 */
    uint32_t    timestamp;  /* 4 字节 */
    uint16_t    value;      /* 2 字节 */
    /* 实际占用：1 + 3填充 + 4 + 2 + 2填充 = 12 字节 */
} SensorData_Bad;

/* 正确示范：按长度降序 */
typedef struct {
    uint32_t    timestamp;  /* 4 字节 */
    uint16_t    value;      /* 2 字节 */
    uint8_t     id;         /* 1 字节 */
    uint8_t     reserved;   /* 1 字节，显式填充 */
    /* 实际占用：4 + 2 + 1 + 1 = 8 字节，无隐式填充 */
} SensorData_Good;

/* 通信专用结构体：强制 1 字节对齐 */
typedef struct __attribute__((packed)) {
    uint8_t     cmd;
    uint16_t    param;
    uint32_t    data;
} CanMessage_t;

4.3 枚举类型定义规范：显式赋值与范围控制

枚举在嵌入式里常用来表示状态机、错误码、命令字。但默认枚举值从 0 开始，一旦中间插入新值，后面所有值都会变。你想想看，如果固件和上位机都依赖这些值，升级时就是灾难。

我的做法：所有枚举必须显式赋值，并且预留无效值。

/* 状态机枚举 */
typedef enum {
    STATE_IDLE      = 0,
    STATE_INIT      = 1,
    STATE_RUNNING   = 2,
    STATE_ERROR     = 3,
    STATE_MAX       = 4   /* 用于边界检查 */
} SystemState_t;

/* 错误码枚举 */
typedef enum {
    ERR_OK          = 0,
    ERR_TIMEOUT     = 1,
    ERR_CRC         = 2,
    ERR_INVALID_PARAM = 3,
    ERR_UNKNOWN     = 0xFF /* 预留未知错误 */
} ErrorCode_t;

4.4 联合体使用场景：内存复用与协议解析

联合体在嵌入式里最大的价值，就是让同一块内存有不同的解读方式。说白了，就是给数据穿不同的马甲。

典型场景一：寄存器位操作

/* 联合体：既可以按字节访问，也可以按位访问 */
typedef union {
    uint8_t     byte;
    struct __attribute__((packed)) {
        uint8_t enable    : 1;
        uint8_t mode      : 2;
        uint8_t interrupt : 1;
        uint8_t reserved  : 4;
    } bits;
} ControlReg_t;

/* 使用示例 */
ControlReg_t reg;
reg.byte = 0x00;        /* 整字节清零 */
reg.bits.enable = 1;    /* 只置位使能位 */
reg.bits.mode = 2;      /* 设置模式 */

典型场景二：协议数据包解析

/* 联合体：接收缓冲区直接映射到结构体 */
typedef union {
    uint8_t         raw[64];        /* 原始字节流 */
    struct __attribute__((packed)) {
        uint8_t     header;
        uint16_t    length;
        uint8_t     payload[60];
        uint16_t    crc;
    } fields;
} PacketBuffer_t;

/* 使用示例 */
PacketBuffer_t rx_buf;
/* 假设 DMA 已经填充了 rx_buf.raw */
uint16_t pkt_len = rx_buf.fields.length; /* 直接解析 */

4.5 知识体系结构图

下面这张图总结了数据类型定义的核心关系，你可以把它贴在工位旁边。

4.6 类型定义规范检查清单