我可以传递前向声明的枚举的值吗？

Question

向前传递声明的结构或类时，必须通过引用或指针将其传递给函数。

但是，前向声明的枚举可以做什么？它是否也必须通过引用或指针传递？或者，可以带值传递吗？

下一个示例使用 g++ 4.6.1 编译良好：

#include <iostream>

enum class E;

void foo( const E e );


enum class E
{
  V1,
  V2
};

void foo( const E e )
{
  switch ( e )
  {
    case E::V1 :
      std::cout << "V1"<<std::endl;
      break;
    case E::V2 :
      std::cout << "V2"<<std::endl;
      break;
    default:
      ;
  }
}

int main()
{
  foo( E::V1);
  foo( E::V2);
}

构建：

g++ gy.cpp -Wall -Wextra -pedantic -std=c++0x -O3

是否符合上述标准，或者是否使用了扩展？

Answer 1

一个声明的枚举，即使你没有指定枚举器（标准称之为opaque-enum-declaration）是一个完整的类型，所以它可以在任何地方使用。

为了完整起见，这里引用 §7.2 第 3 段的一段话：

opaque-enum-declaration 要么是对枚举的重新声明 在当前范围内或新枚举的声明中。 [注意： opaque-enum-declaration 声明的枚举已修复 基础类型并且是完整类型。枚举器列表可以是 在稍后的重新声明中提供了枚举说明符。 ——尾注 ]

opaque-enum-declaration 的语法，来自同一 §7.2 的第一段：

不透明枚举声明：

enum-key attribute-specifier-seq_opt标识符 enum-base_opt;