联合体与枚举：面试官问我“状态机怎么设计”，靠的就是这两个

上篇聊了struct的内存对齐有人后台说想看struct和class的区别详解。别急后面会专门写。今天聊两个面试里容易被忽视、但实际工程中特别有用的东西联合体union和枚举enum。为什么放一起讲因为在机器人开发里这俩经常搭档出现——特别是设计状态机的时候。讲个面试故事。去年面试一个候选人简历上写着设计过机器人状态机。我问他你的状态机是怎么实现的他说用了一堆if-else状态用int表示0是空闲1是运行2是错误……我问他如果别人接手你的代码看到if (state 3)他知道3是什么意思吗他愣了一下说我写了注释的。我又问如果状态变了比如加了一个新状态4你怎么保证所有用到状态的地方都更新了他没答上来。讲真这种问题我太常见了。不是不会写状态机而是没有用对工具。如果他用的是enum上面两个问题都不存在。联合体union几个变量共享同一块内存先说union因为这个面试考得比enum多。union是什么它把几个不同类型的变量放在同一块内存上同一时刻只有一个变量是有效的。和struct最大的区别struct是每个字段各占各的空间union是所有字段共用一块空间。union Data { int i; float f; char c; };这个union占多少字节答案是4字节——和最大的字段int或float一样大。而如果是struct加上内存对齐至少要12字节。union的内存模型是这样的i、f、c三个变量的起始地址完全相同都是这块4字节内存的开头。你往i写数据f和c的内容就变了因为它们读的是同一块内存。Data d; d.i 65; cout d.c endl; // 输出 A因为65是A的ASCII码这种特性在机器人开发里有什么用场景一协议解析。机器人通信协议里经常有一段原始数据需要按不同类型来解读。比如一个4字节的payload有时候是int有时候是float用union最方便union Payload { int32_t int_val; float float_val; uint8_t bytes[4]; };场景二节省内存。如果你有一个数组每个元素可能是不同类型的数据用union可以省空间。比如一个传感器读数有时是温度float有时是状态码int用union只需要占最大类型的空间。面试的时候面试官问union最爱考的就是union占多少字节和union和struct的区别。记住union共享内存大小等于最大字段struct各占各的大小等于所有字段加padding。枚举enum给状态起个有意义的名字再说enum。enum是什么给一组相关的常量起有意义的名字。没有enum之前大家用int或#define表示状态#define STATE_IDLE 0 #define STATE_RUNNING 1 #define STATE_ERROR 2这种写法有两个问题第一#define没有作用域容易命名冲突第二编译器不知道这些常量是一组的没法做类型检查。用enum就好了enum RobotState { STATE_IDLE, STATE_RUNNING, STATE_ERROR };现在STATE_IDLE、STATE_RUNNING、STATE_ERROR是RobotState类型的值。如果你写RobotState s 5;编译器会报警告——因为5不是一个有效的枚举值。但传统的enum有个坑它会把枚举值暴露到外层作用域。如果你有两个enum都定义了ERROR就会冲突。enum MotorState { IDLE, RUNNING, ERROR }; enum SensorState { IDLE, READY, ERROR }; // 编译错误ERROR重复定义所以C11引入了enum class强类型枚举enum class MotorState { IDLE, RUNNING, ERROR }; enum class SensorState { IDLE, READY, ERROR }; // 没问题 MotorState ms MotorState::ERROR; SensorState ss SensorState::ERROR;现在每个枚举值都在自己的作用域里不会冲突。而且enum class不能隐式转换成int更安全。面试的时候如果你能主动提到enum class和传统enum的区别面试官会觉得你对C11有了解。联合体枚举状态机的经典搭配回到开头那个面试故事。怎么用union和enum设计一个清晰的状态机思路是这样的用enum表示当前状态用union存储不同状态下的数据。enum class RobotState { IDLE, MOVING, SENSING, ERROR }; struct MoveData { double target_x, target_y; double current_speed; }; struct SenseData { float distance; int object_id; }; struct ErrorData { int error_code; char message[64]; }; union StateData { MoveData move; SenseData sense; ErrorData error; }; struct RobotFSM { RobotState state; StateData data; };这样设计的好处是什么第一状态用enum表示语义清晰。if (fsm.state RobotState::MOVING)比if (fsm.state 1)好读一百倍。第二不同状态的数据用union存储节省内存。MOVING的时候不需要SENSING的数据它们共用同一块内存。第三类型安全。如果用enum class编译器会帮你检查状态值的合法性。在机器人开发里这种模式特别常见。ROS2里的很多消息类型本质上就是一个状态标识不同状态对应的数据。你用union和enum来理解它一下就通了。面试中的常见考法总结一下面试中关于union和enum最爱考这几个点union相关union占多少字节union和struct的区别union能不能有构造函数和成员函数C11之后可以但有限制。enum相关enum和enum class的区别enum的底层类型是什么默认是int但可以指定。enum class能不能隐式转成int不能。综合题怎么设计一个状态机这时候你就可以把union和enum的搭配讲出来。我面试的时候如果候选人能把状态机设计讲清楚——enum管状态、union管数据、switch-case管转移——我基本就认定这个人有工程思维。给正在准备面试的你一点建议union和enum单独看都不难。难的是把它们组合起来解决实际问题。我的建议是先把union的内存模型搞清楚能手算union的大小知道union和struct的区别。然后把enum class的用法练熟特别是和传统enum的区别。最后试着自己设计一个简单的状态机——不用复杂机器人的运动状态就行空闲、前进、转弯、停止每个状态带不同的数据。做完这些你对union和enum的理解就不只是课本上的语法了而是真正能用到工程设计里的工具。如果这篇文章对你有帮助欢迎点赞、在看、转发三连。 你的支持是我持续更新的最大动力。「机器人软件开发面试·从入门到精通」连载系列上一篇第9篇 结构体struct——自定义数据类型的第一步 下一篇预告第11篇 指针的本质——内存地址的门牌号比喻有任何问题欢迎评论区留言我会尽量回复。