C++的Enum hack

工程师一泽技术 2022年11月14日

0 收藏 969 点赞 5,118 浏览 918 个字

从一个例子开始吧

class Game {
private:
    static const int GameTurn = 10;
    int scores[GameTurn];
};

对于支持类内初始化的C++编译器，这段代码可以编译通过。

但是较老的C++编译器，可能不支持类内初始化，这样我们的静态常量，必须要在类外初始化。如下：

class Game {
private:
    static const int GameTurn;
    int scores[GameTurn];
};const int Game::GameTurn = 10;

如果没有int scores[GameTurn];，这段代码就可以用不支持类内初始化的编译器通过了。

但因为 int scores[GameTurn]; 用到了GameTurn，而GameTurn的值不能确定。所以会报如下错误。

enum_hack.cpp:5: error: array bound is not an integer constant

这种情况下，如果我们仍然不想用硬编码的数字指定数组的大小，就可以考虑这篇文章的主角: enum hack 了。

使用enum hack的技巧，其思想就是把GameTurn定义为一个枚举常量。上面的代码可以写为：

class Game {
private:
    // static const int GameTurn;
    enum {GameTurn = 10};
    int scores[GameTurn];
};// const int Game::GameTurn = 10;

这样代码就可以编译通过了。

《Effective C++》中这样描述enum hack的好处：

enum hack的行为更像#define而不是const，如果你不希望别人得到你的常量成员的指针或引用，你可以用enum hack替代之。（为什么不直接用#define呢？首先，因为#define是字符串替换，所以不利于程序调试。其次，#define的可视范围难以控制，比如你怎么让#define定义的常量只在一个类内可见呢？除非你用丑陋的#undef。
使用enum hack不会导致 “不必要的内存分配”。
enum hack是模板元编程的一项基本技术，大量的代码在使用它。当你看到它时，你要认识它。