枚举支持继承

Question

我经常遇到这样一种情况，我们创建了一个作用于某个枚举的类，但后来我们派生并且我们希望在不更改基类的情况下为枚举添加更多值。

我从 2009 年就看到了这个问题： Base enum class inheritance

但是，我知道在 C++11、14、17 中对枚举进行了许多更改。 这些更改是否允许将枚举从基类扩展到派生类？

class Base 
{ 
   enum State {STATE_1, STATE_2, STATE_3}; 
};

class Derived : public Base 
{ 
   enum State {STATE_4};
}; 

...我们希望派生有一个枚举来描述它可以处于的状态，它们是：STATE_1、STATE_2、STATE_3 和 STATE_4。我们真的不想更改基类中的枚举，因为其他派生类可能不具备处于 STATE_4 的能力。我们也不想创建一个新的枚举，因为我们已经在 Base 中有一个用于 State 的枚举。

我们是否仍然使用静态 const 值来代替 8 年后实现这一目标？

class Base 
{ 
   static int STATE_1= 0;
   static int STATE_2= 1;
   static int STATE_3= 2; 
};

class Derived : public Base 
{ 
   static int STATE_4= 3; 
};

Answer 1

不，C++ 不允许这种事情。 Base::Color 是与 Derived::Color 完全不同的类型，与它们的连接为零。这与任何其他嵌套类型没有什么不同；基类中定义的嵌套类型未连接到派生类中定义的嵌套类型。

枚举也不能相互继承。

无论如何，这类事情往往与良好的 OOP 做法背道而驰。毕竟，如果派生类引入了一个新的枚举器，那么基类将如何处理呢？不同的派生类实例会如何处理呢？

如果Base 定义了对枚举的操作，那么Base 定义了它所操作的枚举的整体，并且从它派生的每个类都应该能够处理所有这些选项。否则，您的虚拟界面有问题。

Answer 2

为什么不直接使用命名空间对枚举进行分组？

namespace my_codes {
   enum class color { red, green, blue } ;
   enum class origin { server, client } ;
} // my_codes

用法可能是

struct my_signal {
     my_codes::color  flag ;
     my_codes::origin  source ;
} ;

但要注意：“过度杀伤是我最大的恐惧......” :) 我不会喜欢一些带有枚举的命名空间的深层层次结构和这样的......