在我设计的小型硬件设备上运行的某些项目中，我遇到了这个问题。有一个包含许多服务的通用项目。其中一些服务使用枚举作为参数来获得附加的类型检查和安全性。我需要能够在使用这些服务的项目中扩展这些枚举。
正如其他人提到的，c ++不允许您扩展枚举。但是，您可以使用具有enum class的所有优点的名称空间和模板来模拟enum。
枚举类具有以下优点：
- 转换为已知的整数类型。
- 是值类型
- 默认情况下为constexpr，在小型处理器上不占用宝贵的RAM
- 由enum :: value定义范围并可以访问
- 适用于个案陈述
- 当用作参数时需要提供类型安全性，并且需要显式转换
现在，如果将一个类定义为枚举，则无法在类声明中创建该枚举的constexpr实例，因为该类尚未完成，并且会导致编译错误。同样，即使这可行，您以后也无法在另一个文件/子项目中轻松扩展枚举的值集。
现在，名称空间没有这种问题，但是它们不提供类型安全性。
答案是首先创建一个模板化的基类，该基类允许不同基数的枚举，这样我们就不会浪费我们不使用的东西。
template <typename TYPE>
class EnumClass {
private:
TYPE value_;
public:
explicit constexpr EnumClass(TYPE value) :
value_(value){
}
constexpr EnumClass() = default;
~EnumClass() = default;
constexpr explicit EnumClass(const EnumClass &) = default;
constexpr EnumClass &operator=(const EnumClass &) = default;
constexpr operator TYPE() const {return value_;}
constexpr TYPE value() const {return value_;}
};
然后，对于每个要扩展和模拟的枚举类，我们创建一个名称空间和一个Type，如下所示：
namespace EnumName {
class Type :public Enum<uint8_t> {
public:
explicit constexpr Type(uint8_t value): Enum<uint8_t>(value){}
constexpr Enum() = default;
}
constexpr auto Value1 = Type(1);
constexpr auto Value2 = Type(2);
constexpr auto Value3 = Type(3);
}
然后，在代码中，如果以后包含原始EnumName，则可以执行以下操作：
namespace EnumName {
constexpr auto Value4 = Type(4U);
constexpr auto Value5 = Type(5U);
constexpr auto Value6 = Type(6U);
constexpr std::array<Type, 6U> Set = {Value1, Value2, Value3, Value4, Value5, Value6};
}
现在您可以 像这样使用枚举：
#include <iostream>
void fn(EnumName::Type val){
if( val != EnumName::Value1 ){
std::cout << val;
}
}
int main(){
for( auto e :EnumName::Set){
switch(e){
case EnumName::Value1:
std::cout << "a";
break;
case EnumName::Value4:
std::cout << "b";
break;
default:
fn(e);
}
}
}
因此，我们有一个案例说明，枚举比较，参数类型安全性及其所有可扩展性。请注意，该集合是constexpr，不会最终在小型微型计算机上使用宝贵的RAM（在Godbolt.org上验证过的位置。：-）。作为奖励，我们可以迭代一组枚举值。