Question

如何以这样一种方式重写此代码，即只要用户通过有效指示，就会始终显示正确的状态（CA，AL等）字符串。

即如何确保编译时枚举方向中的每个enum_types都有一个有效的case语句而不是运行时？

有关。例如。我故意评论了东方的案例陈述。有没有办法在编译时捕获它。

我的直觉是（否）这就是语言提供默认情况的原因，因此这可能是不可能的。但我会把它留给专家。

#include <iostream>
#include <string>

using namespace::std;

typedef enum 
{
    min_dir = -1,
    north,
    south,
    east,
    west,
}directions;

directions get_direction( string user_choice)
{
    if(user_choice == "north")
    {
        return north;
    }
    else if (user_choice == "south")
    {
        return south;   
    }
    else if (user_choice == "east")
    {
        return east;    
    }
    else if (user_choice == "west")
    {
        return west;    
    }
    else 
    {
        return min_dir;
    }
}

int main()
{
    string user_direction;
    cout << "Enter direction\n";
    cin >> user_direction;

    directions my_dir = get_direction(user_direction);
    cout << " Print direction's description\n";

    if( my_dir == min_dir)
    {
        // User passed junk
        return -1;
    }

    switch(my_dir)
    {
    case north:
        cout << "North - New york\n";break;
    case south:
        cout << "South - Alabama\n";break;
//  case east:
//      cout << "East - North Carolina\n";break;
    case west:
        cout << "West - California\n";break;
    default:
        cout << "Should Ideally never get here\n";break;
    }
    system("pause");
    return 0;
}

编辑：这只是一个例子来说明这一点。这是代码在工作。他们在Windows（MSVC）和linux（gcc）中都编译了这个。这只是一个警告吗？我需要更严格的执法。

如果enum没有case语句，我可以编写一些在make过程中会出错的代码吗？

Answer 1

在GCC（g ++）和Clang中，有-Wswitch-enum，如果您case类型的可能值enum，则会switch发出警告{1}结束（即使您有default个案例）。

在MSVC中，有来自警告级别3的可比C4062，但如果您有default语句，则不会发出警告。如果在这种情况下需要警告，则需要启用级别4警告C4061，该警告会在缺少枚举值时生成警告，即使提供了默认情况。

就错误而言：所有编译器都有“将警告视为错误”选项。在GCC和Clang中，它是-Werror;在MSVC中，它是/WX。

Answer 2

如果你使用一个对你的枚举大小的子函数数组并在声明时初始化，那么你可以对数组的大小和枚举数进行static_assert来验证所有成员是否存在。通过在数组中使用仿函数而不是函数指针，您还确定不会将nullptr作为值提供，因为将构造每个仿函数。

typedef enum 
{
    min_dir = -1,
    north = 0,
    south,
    count_dir
}directions;

class GoDir
{
public:
    virtual void operator()() {}
};

class GoNorth : public GoDir
{
public:
    virtual void operator()() {}
};

class GoSouth : public GoDir
{
public:
    virtual void operator()() {}
};

static GoDir actions[count_dir] = {GoNorth(), GoSouth()};
static_assert(sizeof(actions)/sizeof(actions[0]) == count_dir, "Error");

是否有可能在编译期间错误检查case语句选项？

2 个答案: