fork download

copy

#include <iostream>
#include <type_traits>
using namespace std;
 
// должно было быть enum E { A, Q, R };
// не должно быть enum E { X, Y, Z };
enum E { A, B, C, Z };
int R; // случайно определили вне энума
 
int Y;
// для тех имён, которые нигде не определены "по-настоящему", сделаем затычку
namespace last_chance { enum EE { X, Z }; }
 
void checker() {
	using namespace last_chance; // задействуем затычку
 
	// white list
	static_assert( std::is_same<::E, decltype(A)>::value, "A is not defined" );
	static_assert( std::is_same<::E, decltype(Q)>::value, "A is not defined" ); // ERROR
	static_assert( std::is_same<::E, decltype(R)>::value, "A is not defined" ); // ERROR
 
	// black list
	static_assert( !std::is_same<::E, decltype(X)>::value, "X is defined!" );
	static_assert( !std::is_same<::E, decltype(Y)>::value, "Y is defined!" );
	static_assert( !std::is_same<::E, decltype(Z)>::value, "Z is defined!" ); // ERROR
}
 
 
int main() {
	// your code goes here
	return 0;
}

prog.cpp: In function 'void checker()':
prog.cpp:19:44: error: 'Q' was not declared in this scope
  static_assert( std::is_same<::E, decltype(Q)>::value, "A is not defined" ); // ERROR
                                            ^
prog.cpp:19:46: error: template argument 2 is invalid
  static_assert( std::is_same<::E, decltype(Q)>::value, "A is not defined" ); // ERROR
                                              ^
prog.cpp:20:2: error: static assertion failed: A is not defined
  static_assert( std::is_same<::E, decltype(R)>::value, "A is not defined" ); // ERROR
  ^
prog.cpp:25:47: error: template argument 2 is invalid
  static_assert( !std::is_same<::E, decltype(Z)>::value, "Z is defined!" ); // ERROR
                                               ^

Standard output is empty