C++枚举(Enum)不符合预期：总是初始化为第一个值的问题

核心原因：变量遮蔽与拷贝构造函数的误匹配 #

当你在main函数中写item a{a};时，发生了两个关键问题：

1. 变量名遮蔽（Name Shadowing）
   在C++的函数局部作用域中，变量的名字在其声明符结束后就会进入当前作用域。也就是说，当编译器处理item a{a};的初始化器{a}时，这里的a已经指向你正在声明的item对象，而不是全局枚举item_type中的a——局部变量的名字遮蔽了外部枚举值的名字。

2. 误调用拷贝构造函数
   你定义的item类有一个接受item_type的构造函数，但编译器会自动生成默认的拷贝构造函数（item(const item&)）。当初始化器中的a是item类型时，编译器会优先匹配拷贝构造函数，而不是你定义的构造函数。
   用一个尚未构造完成的对象来拷贝构造自己，这属于C++中的未定义行为——标准不规定这种情况的运行结果，但实际中栈上未初始化的成员往往会被填充为0（或随机值，这里恰好每次都是0），所以你会看到0 0的输出。

为什么编译器不报错？ #

• 变量遮蔽是合法的C++语法，局部变量遮蔽外部名字是允许的，编译器不会因此报错（仅部分编译器会在高警告等级下提示）。
• 拷贝构造函数的调用本身是合法的，虽然用未初始化对象作为参数属于未定义行为，但C++标准不要求编译器对未定义行为报错——未定义行为的处理权在编译器手中，很多情况下编译器只会静默通过，除非你开启了严格的警告选项（比如-Wall -Wextra），此时会收到类似“使用未初始化变量”的警告。

正确写法的原理 #

当你使用item a{item_type::a};时，通过item_type::a明确指定了枚举值的作用域，避免了名字遮蔽问题。此时编译器会匹配你定义的item(item_type)构造函数，正确将type成员初始化为枚举值a（即0），同理b会被初始化为1，所以输出符合预期。

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