A“使用” 带有枚举的声明

Question

using 声明似乎不适用于枚举类型：

class Sample{
    public:
        enum Colour {RED, BLUE, GREEN};
}

using Sample::Colour;

不起作用！

我们是否需要为每个枚举类型的枚举器添加一个 using 声明？ 就像下面这样：

using sample::Colour::RED;

Answer 1

要添加到 Steve Lacey 的答案，原始代码的问题是您引用一个成员，但 using 声明本身并不是一个成员声明：

7.3.3/6 有：

类成员的使用声明
应是成员声明。

为了强调这一点，以下示例确实有效：

class Sample
{
public:
  enum Colour { RED,BLUE,GREEN};
};

class Derived : public Sample
{
public:
  using Sample::Colour;  // OK
};

最后，正如 Igor Semenov 指出的那样： ，即使您将枚举定义移动到命名空间中，从而允许 using 声明，using 声明也只会将枚举类型的名称声明到命名空间中（2003标准参考为 7.3.3/2)。

namespace Sample
{
  enum Colour { RED,BLUE,GREEN};
}

using Sample::Colour;
using Sample::BLUE;


void foo ()
{
  int j = BLUE; // OK
  int i = RED;  // ERROR
}

依赖基类型

当编译器解析类模板时，允许部分和显式特化。 它不会在依赖基类中执行任何查找。 因此，以 Sample 作为模板的以下变体无法编译：

template <typename T>
class Sample
{
public:
  enum Colour { RED,BLUE,GREEN};
};

template <typename T>
class Derived : public Sample<T>
{
public:
  using Sample<T>::Colour;  // What kind of entity is Colour?

  Colour foo ()     // Not OK!
  {
  return this->RED;
  }
};

问题是 Derived::Colour 被编译器视为对象 (14.6/2)：

假定模板声明或定义中使用的且依赖于模板参数的名称不会命名类型，除非适用的名称查找找到类型名称或该名称由关键字 typename 限定。

查看名称成为类型的两个条件：

1. 查找 Colour 未找到类型，因为未搜索依赖的基 Sample。
2. 该名称未通过 typename 限定，

因此该示例需要 typename 关键字：

template <typename T>
class Derived : public Sample<T>
{
public:
  using typename Sample<T>::Colour;  // Colour is treated as a typedef-name

  Colour foo ()  // OK
  {
  return this->RED;
  }
};

注意： 1998 版本的标准不允许 typename 与 using 声明一起使用，因此上述修复是不可能的。 请参阅从依赖基类访问类型和CWG11。

Answer 2

类没有定义名称空间，因此“使用”在这里不适用。

另外，您需要公开枚举。

如果您尝试在同一个类中使用枚举，请参阅以下示例：

class Sample {
 public:
  enum Colour { RED, BLUE, GREEN };

  void foo();
}

void Sample::foo() {
  Colour foo = RED;
}

并从类外部访问它：

void bar() {
  Sample::Colour colour = Sample::RED;
}

Answer 3

C++ 标准，7.3.3.1：

在a中指定的成员名称
using-声明是在
声明区域，其中
出现 using 声明。 [ 笔记：
只有指定的名字是这样
宣布； 指定一个枚举
using 声明中的名称不
在中声明其枚举器
using-declaration 的声明式
地区。 ——尾注]

Answer 4

现在，有一个相关的问题： 'using enum' in C++ 20。

看起来 C++20 将可以选择使用 using enum 声明，从而最终允许直接访问枚举类的成员，如下所示 (source)：

enum class fruit {
    orange,
    apple,
};

struct S {
  using enum fruit;             // OK, introduces orange and apple into S
};
void f() {
  S s;
  s.orange;                     // OK, names fruit​::​orange
  S::orange;                    // OK, names fruit​::​orange
}

当然，这意味着在 S 内部，您也可以简单地使用 orange 和 apple 而不是 fruit::orange 和 fruit::apple。