如何限制函数参数仅能传入指定枚举类型的枚举成员值

C 语言环境实现 #

标准C的枚举本质是整数别名，原生不支持强类型校验，也不支持类型.成员的访问形式，可通过结构体封装模拟实现：

1. 封装枚举为不透明结构体，避免直接传入整数

// 头文件部分
typedef enum {
    _MONDAY = 1,
    _TUESDAY,
    _WEDNESDAY,
    _THURSDAY,
    _FRIDAY,
    _SATURDAY,
    _SUNDAY
} _day_internal;

typedef struct {
    _day_internal val;
} day_t;

// 声明所有可用的星期常量
extern const day_t day_monday;
extern const day_t day_tuesday;
extern const day_t day_wednesday;
extern const day_t day_thursday;
extern const day_t day_friday;
extern const day_t day_saturday;
extern const day_t day_sunday;

// 定义宏实现你需要的 day.wednesday 访问形式
#define day (const struct { \
    day_t monday; \
    day_t tuesday; \
    day_t wednesday; \
    day_t thursday; \
    day_t friday; \
    day_t saturday; \
    day_t sunday; \
}){day_monday, day_tuesday, day_wednesday, day_thursday, day_friday, day_saturday, day_sunday}

// 实现文件(.c)部分
const day_t day_monday = {_MONDAY};
const day_t day_tuesday = {_TUESDAY};
const day_t day_wednesday = {_WEDNESDAY};
const day_t day_thursday = {_THURSDAY};
const day_t day_friday = {_FRIDAY};
const day_t day_saturday = {_SATURDAY};
const day_t day_sunday = {_SUNDAY};

2. 定义setDay函数，参数直接用day_t类型

void setDay(day_t input_day) {
    // 可选：加运行时合法性校验
    if (input_day.val < 1 || input_day.val > 7) {
        // 错误处理逻辑，比如返回错误码、打印告警
        return;
    }
    // 正常业务逻辑
}

这个方案的效果：

• 编译器会直接拒绝setDay(1)这类传整数的非法调用，报类型不匹配错误
• 主流IDE会自动提示day的所有成员，直接按你期望的setDay(day.wednesday)写法调用即可

C++ 环境实现（C++11及以上） #

直接用enum class强类型枚举即可，代码更简洁：

// 定义强类型枚举
enum class day_t : int {
    monday = 1,
    tuesday,
    wednesday,
    thursday,
    friday,
    saturday,
    sunday
};

// 定义命名空间实现 day.xxx 的访问形式
namespace day {
    constexpr auto monday = day_t::monday;
    constexpr auto tuesday = day_t::tuesday;
    constexpr auto wednesday = day_t::wednesday;
    constexpr auto thursday = day_t::thursday;
    constexpr auto friday = day_t::friday;
    constexpr auto saturday = day_t::saturday;
    constexpr auto sunday = day_t::sunday;
}

// 函数定义
void setDay(day_t input_day) {
    // 业务逻辑
}

效果完全符合要求：

• 禁止隐式类型转换，传整数会直接编译报错
• IDE会自动提示所有day命名空间下的成员，支持setDay(day.wednesday)写法

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