Рассмотрим этот код:
typedef enum Type1
{
val11,
val12
} Type1;
typedef enum Type2
{
val21,
val22
} Type2;
Type1 type1 = val11;
if ( type1 == val22 )
std::cout << "foo";
Visual Studio 2015 не выдает никаких предупреждений (даже с параметром /Wall). Однако type1 и val22 не одного типа. Это нормально или это ошибка Visual Studio?
if (type1 == 1) 30.11.2016 int. 30.11.2016 enum class. 30.11.2016 warning: comparison between ‘Type1 {aka enum Type1}’ and ‘enum Type2’ [-Wenum-compare]. 18.06.2017 Насколько мне известно, компилятор не обязан выдавать предупреждение при сравнении перечислений разных типов. В стандарте не нашел. Для классических перечислимых типов существует неявное преобразование типов в 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;
}
