我想做的事情如下:
enum E;
void Foo(E e);
enum E {A, B, C};
编译器拒绝它。我在谷歌上快速浏览了一下，共识似乎是“你做不到”，但我不明白为什么。有人能解释一下吗?
澄清2:我这样做是因为我在一个类中有私有方法，它采用所说的枚举，我不希望枚举的值暴露出来-因此，例如，我不希望任何人知道E被定义为
enum E {
FUNCTIONALITY_NORMAL, FUNCTIONALITY_RESTRICTED, FUNCTIONALITY_FOR_PROJECT_X
}
项目X不是我想让我的用户知道的东西。
所以，我想要转发声明枚举，这样我就可以把私有方法放在头文件中，在cpp中内部声明枚举，并将构建的库文件和头分发给人们。
至于编译器——它是GCC。
当前回答
enum不能被前向声明的原因是，如果不知道值，编译器就不能知道enum变量所需的存储空间。c++编译器可以根据包含所有指定值所需的大小指定实际存储空间。如果所有可见的都是前向声明，那么翻译单元就不能知道所选择的存储大小是什么——它可能是char型、int型或其他类型。
ISO c++标准第7.2.5节:
The underlying type of an enumeration is an integral type that can represent all the enumerator values defined in the enumeration. It is implementation-defined which integral type is used as the underlying type for an enumeration except that the underlying type shall not be larger than int unless the value of an enumerator cannot fit in an int or unsigned int. If the enumerator-list is empty, the underlying type is as if the enumeration had a single enumerator with value 0. The value of sizeof() applied to an enumeration type, an object of enumeration type, or an enumerator, is the value of sizeof() applied to the underlying type.
由于函数的调用者必须知道参数的大小才能正确地设置调用堆栈，因此枚举列表中的枚举数必须在函数原型之前知道。
更新:
在c++ 0X中，已经提出并接受了向前声明enum类型的语法。你可参阅前向申报枚举数(修订版3)的建议
其他回答
我只是注意到，原因实际上是，在向前声明后，enum的大小还不知道。你使用一个结构的前向声明来传递一个指针，或者从一个在前向声明的结构定义本身中引用的地方引用一个对象。
向前声明枚举不是很有用，因为人们希望能够按值传递枚举。你甚至不能有指向它的指针，因为我最近被告知一些平台使用不同大小的指针用于char和int或long。所以这一切都取决于枚举的内容。
当前的c++标准明确禁止这样做
enum X;
(在7.1.5.3/1)。但下一个c++标准将于明年发布，允许以下功能，这让我确信问题实际上与底层类型有关:
enum X : int;
它被称为“不透明”枚举声明。您甚至可以在以下代码中按值使用X。并且它的枚举数可以稍后在枚举的重新声明中定义。参见当前工作草案中的7.2。
在GCC中似乎不能前向声明!
这里有一个有趣的讨论。
[我的答案是错误的，但我把它留在这里，因为评论很有用]。
前向声明枚举是非标准的，因为指向不同枚举类型的指针不能保证大小相同。编译器可能需要查看定义才能知道该类型可以使用哪些大小指针。
实际上，至少在所有流行的编译器上，指向枚举的指针的大小是一致的。例如，枚举的前向声明是由Visual c++作为语言扩展提供的。
我对你问题的解决方案是:
1 -使用int代替enums:在CPP文件的匿名命名空间中声明你的int(而不是在头文件中):
namespace
{
const int FUNCTIONALITY_NORMAL = 0 ;
const int FUNCTIONALITY_RESTRICTED = 1 ;
const int FUNCTIONALITY_FOR_PROJECT_X = 2 ;
}
因为你的方法是私有的，所以没有人会乱动数据。你甚至可以进一步测试是否有人发送了无效的数据:
namespace
{
const int FUNCTIONALITY_begin = 0 ;
const int FUNCTIONALITY_NORMAL = 0 ;
const int FUNCTIONALITY_RESTRICTED = 1 ;
const int FUNCTIONALITY_FOR_PROJECT_X = 2 ;
const int FUNCTIONALITY_end = 3 ;
bool isFunctionalityCorrect(int i)
{
return (i >= FUNCTIONALITY_begin) && (i < FUNCTIONALITY_end) ;
}
}
2:像在Java中那样，用有限的const实例化创建一个完整的类。向前声明类，然后在CPP文件中定义它，并只实例化类似枚举的值。我在c++中做了类似的事情，结果并不像预期的那样令人满意，因为它需要一些代码来模拟枚举(复制构造，operator =等)。
3:如前所述，使用私有声明的enum。尽管用户将看到它的完整定义，但它不能使用它，也不能使用私有方法。因此，您通常可以修改枚举和现有方法的内容，而不需要使用您的类重新编译代码。
我猜答案不是3就是1。
定义一个枚举来将类型元素的可能值限制在一个有限的集合内。该限制将在编译时强制执行。
当向前声明你将在以后使用“有限的集合”这一事实时，不会增加任何价值:后续代码需要知道可能的值，以便从中受益。
尽管编译器关心枚举类型的大小，但当转发声明枚举时，枚举的意图就会丢失。
