如何在C/C++中实现编译时区分同构类型？以烤箱控制为例

针对你提出的问题，这里提供一种兼顾类型安全、代码简洁且无额外内存开销的实现方式：

核心方案：结构体+宏封装 #

利用C语言的类型系统，通过定义不同的结构体类型实现类型隔离，同时用宏简化字段访问，消除冗余语法。

1. 定义独立的类型结构体 #

// 温度类型
typedef struct {
    unsigned int value;
} Temperature;

// 加热功率类型
typedef struct {
    unsigned int value;
} HeatPower;

这两个是完全独立的自定义类型，编译器会直接拦截跨类型的赋值、传参操作，从根源避免误用。

2. 用宏封装字段访问 #

#define TEMP_GET(t) ((t).value)
#define HEAT_GET(h) ((h).value)
#define TEMP_SET(t, v) ((t).value = (v))
#define HEAT_SET(h, v) ((h).value = (v))

通过宏封装后，操作变量的语法和直接使用整数几乎一致：

// 定义并初始化变量
Temperature oven_temp = {180};
HeatPower oven_heat = {5};

// 读取值
if (TEMP_GET(oven_temp) > 200) {
    // 修改值
    HEAT_SET(oven_heat, 3);
}

// 以下代码会触发编译错误（类型不兼容）
// oven_heat = oven_temp;
// void set_heat(HeatPower h); set_heat(oven_temp);

方案优势 #

• 强类型安全：编译器会严格检查类型匹配，误用直接报错；
• 代码简洁：宏封装避免了重复写.value的冗余；
• 无额外内存开销：主流编译器会对单成员结构体做优化，内存占用与unsigned int完全相同；
• 兼容性广：无需依赖C11及以上特性，适配绝大多数编译环境。

进阶优化（C11+） #

如果使用C11及更高版本，可以用_Generic实现统一的取值/赋值宏，进一步简化代码：

#define GET_VAL(x) _Generic((x), \
    Temperature: (x).value, \
    HeatPower: (x).value \
)

#define SET_VAL(x, v) _Generic((x), \
    Temperature: (x).value = (v), \
    HeatPower: (x).value = (v) \
)

使用时无需区分类型：

if (GET_VAL(oven_temp) > 200) {
    SET_VAL(oven_heat, 3);
}

内容的提问来源于stack exchange，提问作者Simone Pernice