C++20中能否修改强类型枚举的默认值初始化行为？

希望使用MyEnum myValue{};声明变量时，强类型枚举能自动初始化为MyEnum::No，而非语言默认的0值，示例代码如下：

using MyEnumRootType = unsigned int;
using MyEnum = enum class EMyEnum: MyEnumRootType {
  Yes = 0x1,
  No = 0x2
};


int main() {
  const MyEnum myValue{}; // 当前会被初始化为0
  std::cout << static_cast<MyEnumRootType>(myValue);
}

补充尝试：枚举包装器的问题 #

按照建议编写了可复用的模板包装器，已实现默认值初始化，但无法像原生强类型枚举那样直接使用MyEnum::Yes这类成员名，代码如下：

#include <concepts>

using MyEnumRootType = unsigned int;
enum class EMyEnum: MyEnumRootType {
  Yes = 0x1,
  No = 0x2
};

template<typename T>
concept ScopedEnum = std::is_enum_v<T> && !std::is_convertible_v<T, int>;

template<typename Enum, auto DefaultValue>
  requires ScopedEnum<Enum>
class EnumWrapper{
public:
  EnumWrapper(): value_(DefaultValue) {}
  EnumWrapper& operator=(Enum e) { value_ = e; return *this; }
  operator Enum() const { return value_; }
private:
  Enum value_;
};

using MyEnum = EnumWrapper<EMyEnum, EMyEnum::No>;

int main() {
  MyEnum a{};
  MyEnum b = MyEnum::Yes; // 该行无法编译，如何解决？
}

提问：能否在模板中通过类似using enum的声明实现需求？

一、强类型枚举的默认初始化限制 #

C++20及后续标准中，无法直接修改强类型枚举的默认值初始化行为。强类型枚举的值初始化（{}）会将其底层类型置零，这是语言的硬性规定——枚举并非类类型，没有构造函数可供重载来改变这一逻辑。

二、包装器的改进方案：兼容原生枚举的使用方式 #

可以借助C++20的using enum特性，在包装器类中暴露原枚举的所有成员，同时补充必要的构造逻辑，让包装器完全模拟原生强类型枚举的使用体验。修改后的代码如下：

#include <concepts>
#include <iostream>

using MyEnumRootType = unsigned int;
enum class EMyEnum: MyEnumRootType {
  Yes = 0x1,
  No = 0x2
};

template<typename T>
concept ScopedEnum = std::is_enum_v<T> && !std::is_convertible_v<T, int>;

template<typename Enum, auto DefaultValue>
  requires ScopedEnum<Enum>
class EnumWrapper{
public:
  // 暴露底层枚举类型，方便兼容原有代码
  using UnderlyingEnum = Enum;
  // 引入原枚举的所有成员到当前类作用域
  using enum Enum;

  // 默认构造：使用指定的默认值
  EnumWrapper(): value_(DefaultValue) {}
  // 支持直接用原枚举值构造包装器
  EnumWrapper(Enum e): value_(e) {}
  // 支持赋值原枚举值
  EnumWrapper& operator=(Enum e) { value_ = e; return *this; }
  // 隐式转换回原枚举，保持类型兼容性
  operator Enum() const { return value_; }

private:
  Enum value_;
};

using MyEnum = EnumWrapper<EMyEnum, EMyEnum::No>;

int main() {
  MyEnum a{}; // 初始化为EMyEnum::No
  MyEnum b = MyEnum::Yes; // 现在可以正常编译
  MyEnum c = EMyEnum::No; // 也支持直接用底层枚举值赋值

  // 验证输出：分别为2（No的值）和1（Yes的值）
  std::cout << static_cast<MyEnumRootType>(a) << "\n";
  std::cout << static_cast<MyEnumRootType>(b) << "\n";
}

关键修改说明 #

1. using enum Enum;：C++20新增特性，将原强枚举的所有成员（如Yes、No）引入到包装器类的作用域中，让MyEnum::Yes等价于EMyEnum::Yes。
2. 新增原枚举构造函数：允许直接用底层枚举值构造包装器，提升代码兼容性。
3. UnderlyingEnum类型别名：方便在需要时直接访问原枚举类型，避免硬编码底层枚举名。

修改后的包装器既保留了强类型枚举的类型安全性，实现了自定义默认初始化，又完全兼容原生强枚举的使用习惯。

内容的提问来源于stack exchange，提问作者Marcus