为什么人们在使用const时使用C++中的枚举作为常量？

Question

为什么人们在使用C++中的枚举作为常量const？

Answer 1

Bruce Eckel在Thinking in C++中给出了一个理由:

在旧版本的C++中,static const类内部不受支持.这意味着const对于类中的常量表达式没用.然而,人们仍然想要这样做,所以一个典型的解决方案(通常称为"枚举黑客")是使用enum没有实例的无标记.枚举必须在编译时建立其所有值,它是类的本地值,并且其值可用于常量表达式.因此,您通常会看到:

#include <iostream>
using namespace std;

class Bunch {
  enum { size = 1000 };
  int i[size];
};

int main() {
  cout << "sizeof(Bunch) = " << sizeof(Bunch) 
       << ", sizeof(i[1000]) = " 
       << sizeof(int[1000]) << endl;
}

[编辑]

我认为将Bruce Eckel的网站链接起来会更公平:http://www.mindview.net/Books/TICPP/ThinkingInCPP2e.html.

Answer 2

枚举是不同的类型,所以你可以做类型导向的事情,比如用它们重载:

enum Color { Red,Green,Blue };
enum Size { Big,Little };

void f( Color c ) {
}

void f( Size s ) {
}

int main() {
    f( Red );
    f( Big );
}

Answer 3

枚举意味着一组相关的常量,因此关于关系的附加信息必须在他们手头的问题模型中有用.

Answer 4

处理模板元编程时也有历史原因.有些编译器可以使用枚举中的值,但不能使用静态const int来实例化类.

template <int N>
struct foo
{
    enum { Value = foo<N-1>::Value + N };
};

template <>
struct foo<0>
{
    enum { Value = 0; }
};

现在你可以用更明智的方式做到这一点:

template <int N>
struct foo
{
    static const int Value = foo<N-1>::Value + N;
};

template <>
struct foo<0>
{
    static const int Value = 0;
};

另一个可能的原因是静态const int可能在运行时为它保留了内存,而枚举永远不会为它保留实际的内存位置,并且将在编译时处理.看到这个相关的问题.

Answer 5

使用时,枚举更具描述性.考虑:

int f(int fg, int bg)

与

 int f(COLOR fg, COLOR bg)

此外,枚举提供了更多的类型安全性,因为

• 整数不能隐式转换为枚举类型
• 一种类型的枚举不能隐式转换为另一种类型的枚举

Answer 6

我喜欢可以与枚举一起使用的自动行为,例如:

enum {NONE, START, HEY, HO, LAST};

然后很容易循环直到最后,并且当添加新状态(或任何表示的)时,逻辑适应.

for (int i = NONE; i < LAST; i++)
{
    // Do stuff...
}

添点什么...

enum {NONE, START, HEY, WEE, HO, LAST};

循环适应......

Answer 7

在编译器供应商实现ISO/IEC 14882:1998 C++标准之前,此代码在类范围中定义常量会导致编译错误:

class Foo {
    static const int MAX_LEN = 80;
    ...
};

如果常量是一个整数类型,那么kludgy可以在类中的枚举中定义它:

class Foo {
    enum {
        MAX_LEN = 80
    };
    ...
};