为什么我没有警告枚举比较不匹配

Why am I getting no warning for enum comparison mismatch?

本文关键字：枚举 比较 不匹配 警告 为什么      更新时间：2023-10-16

考虑此代码：

typedef enum Type1
{
    val11,
    val12
} Type1;
typedef enum Type2
{
    val21,
    val22
} Type2;
Type1 type1 = val11;
if ( type1 == val22 )
    std::cout << "foo";

Visual Studio 2015不会发出任何警告（即使使用/墙）。但是，type1和val22的类型不是相同的类型。这是正常的还是视觉工作室错误？

据我所知，

在比较不同类型的枚举时，编译器没有义务发出警告。我在标准中找不到它。对于经典的枚举类型，存在隐式类型转换为int，因此生成的代码是完全合法的。从语义上讲，比较不同类型的枚举通常是不正确的，因此，由于C 我们有范围的枚举结构，因此不允许隐式转换。（请参阅下面的代码）。

#include <iostream>
using namespace std;
enum UE1 // This is an unscoped enumeration (since C)
{
    val11,
    val12
};
enum UE2 // This is an unscoped enumeration too
{
    val21, // have to use different names for enumeration constants
    val22
};
enum class SE1 // This is an scoped enumeration (since C++11)
{
    val1,
    val2
};
enum class SE2
{
    val1, // can use the same names for the constants
    val2  // because they are in the different scope
};
int main(int, char**)
{
    if (val11 == val22) // implicit conversion from an enum to int is available
        cout << "UE::val11 is equal to UE::val22" << endl;
    if (static_cast<int>(SE1::val1) == static_cast<int>(SE2::val1)) // have to apply explicit conversion
        cout << "SE1::val1 is equal to SE2::val1" << endl;
    if (SE1::val1 == SE2::val1) // error!!! Cannot make implicit conversions from a scoped enumeration.
        cout << "SE1::val1 is equal to SE2::val1" << endl;
    return 0;
}
相关文章：