只允许枚举的子集作为返回值 - 或如何让编译器提醒我?在C++

Only allow a subset of an enum as return value - OR How to get the compiler to alert me ? in C++

本文关键字：编译器 C++ 返回值许枚举枚举子集更新时间：2023-10-16

我的目标

我有多个函数将返回一个大的错误代码列表。某些函数将使用"错误代码列表"的相同且不同的错误代码

例如：
- fun1()只会返回errorcode1或errorcode2（错误代码 2 仅用于此函数）
- fun2() 只会返回 errorcode1 OR errorcode3（但两个函数都使用了错误代码 1）

所需的解决方案应考虑以下几点： -

定义哪个函数可以返回哪些错误代码
如果任何函数尝试返回不适用于此函数的错误代码，则获取编译错误
无论函数返回或抛出什么，都必须可转换为 int（因为这些函数将成为 C API 的一部分）

我的方法

到目前为止，我考虑了使用枚举的选项，但解决方案对我没有吸引力

为每个函数定义一个单独的枚举
为所有函数定义一个全局枚举

为每个函数定义一个单独的枚举

enum errorcodefun1 {errorcode1=1, errorcode2=2};               // OK at least it is expressed what is expected for fun1
errorcodefun1 fun1() {  };  
enum errorcodefun2 {errorcode1_fun2=1, errorcode3_fun2=3  };   // minor problem: not expressing that errorcode1_fun2 is logical same as errorcode1

函数越多（部分使用相同的错误代码），我得到的代码重复就越多。

为所有函数定义一个枚举

enum errorcodes {errorcode1=1, errorcode2=2, errorcode3=3};
errorcode fun1() {... } //do not like because I will get no compilation error if it returns errorcode3. Only errorcode1 and errocode2 is intended
errorcode fun2() {... }

我的问题

我

正在考虑编写一个模拟枚举的类，但到目前为止，我看到了满足我所有需求的解决方案。

你有什么建议或想法来实现我的目标吗？

使用方法 #1 但保持安全并表达枚举成员的等效性怎么样？

enum generic_error {
    ERR_OK,
    ERR_NOMEM,
    ERR_IO,
    ERR_GENERIC
};
enum first_error {
    FIRSTERR_OK = ERR_OK,
    FIRSTERR_NOMEM = ERR_NOMEM
};
enum second_error {
    SECONDERR_OK = ERR_OK,
    SECONDERR_IO = ERR_IO
};
int main()
{
    enum first_error f = FIRSTERR_OK;
    enum second_error s = SECONDERR_OK;
    assert(f == s); // never fires
    return 0;
}

不过，这并不是说这将是特别好的做法...如果我是你，我真的会选择一个常见的错误代码枚举。

使用位掩码。

enum Code : unsigned int
{
    None = 0,
    SomeError= 1,
    AnotherError = 2,
    YetAnotherError = 4
};
unsigned int valid_error_codes_for_func1 = SomeError | YetAnotherError;

只允许枚举的子集作为返回值 - 或 如何让编译器提醒我?在C++