执行:
#define CONCATE_(X,Y) X##Y
#define CONCATE(X,Y) CONCATE_(X,Y)
#define UNIQUE(NAME) CONCATE(NAME, __LINE__)
#define MSVC_BUG(MACRO, ARGS) MACRO ARGS
#define NUM_ARGS_2(_1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, TOTAL, ...) TOTAL
#define NUM_ARGS_1(...) MSVC_BUG(NUM_ARGS_2, (__VA_ARGS__))
#define NUM_ARGS(...) NUM_ARGS_1(__VA_ARGS__, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1)
#define VA_MACRO(MACRO, ...) MSVC_BUG(CONCATE, (MACRO, NUM_ARGS(__VA_ARGS__)))(__VA_ARGS__)
#define switch_(X) for(struct { static_assert(not std::is_pointer<decltype(X)>::value, "No Pointers!"); \
const decltype(X)& VALUE_; enum { CASES, DEFAULT, COMPARED } IS_ = CASES; } VAR_{X}; \
VAR_.IS_ != VAR_.COMPARED; \
VAR_.IS_ == VAR_.DEFAULT or (VAR_.IS_ = VAR_.COMPARED))
#define default_ {}} if(VAR_.IS_ == VAR_.COMPARED or VAR_.IS_ == VAR_.DEFAULT or \
((VAR_.IS_ = VAR_.DEFAULT) and false)) \
{ VAR_.IS_ = VAR_.COMPARED; CONCATE(default,__LINE__)
#define case_(...) VA_MACRO(case_, __VA_ARGS__)
#define case_1(X) {}} if(VAR_.IS_ == VAR_.COMPARED or VAR_.VALUE_ == X) \
{ VAR_.IS_ = VAR_.COMPARED; CONCATE(case,__LINE__)
#define case_2(X,OP) {}} if(VAR_.IS_ == VAR_.COMPARED or VAR_.VALUE_ OP X) \
{ VAR_.IS_ = VAR_.COMPARED; CONCATE(case,__LINE__)
Usage:
X x1{"Hello"}, x2{"World"};
switch_(x1)
{{ // <--- MUST
case_("Hello"): std::cout << "Compared 'Hello'\n"; break;
default_: std::cout << "Compared 'Default'\n";
case_(x2): { std::cout << "Compared 'World'\n"; break; }
case_("World"): { std::cout << "Duplicate 'World' again!\n"; break; } // duplicate
}}
Notes:
- 目的
{{ }}
-- 修复一个场景,其中 2 个或多个语句case_
出现时未包含提供的用户{}
。这可能会导致某些语句始终执行,无论哪个语句case_
是真的。
- 更高的
default_
放置,更好的运行时性能。当没有有效案例时,将其放低可能会进行更多比较。
- 重复的案例将被编译,但只有第一个案例将被执行。这个重复的案例问题可以通过生成运行时来修复/检查
abort()
,如果一个人准备好多次检查每个案例。
- 如果一个人准备好放弃冒号的语法糖
:
, i.e. case(X)
代替case(X):
,那么CONCATE
不需要宏。保留冒号通常会给编译器发出未使用标签的警告(-Wunused-label
)
- 该实用程序可以扩展到其他比较,例如
<
, >=
, !=
,或任何此类运营商;为此我们必须添加额外的参数switch_
宏观;例如OP
那必须放在case_
宏为VAR_ OP X
- 对于 C++03 兼容性,请使用
make_pair
在 - 的里面for
声明后循环struct UNIQUE(Type) { enum { ... }; };
- 数组和字符串指针可以与以下实用程序进行比较:
template<typename T>
struct Compare
{
const T& this_;
template<typename T_, size_t SIZE>
bool
operator== (const T_ (&other)[SIZE]) const
{
static_assert(std::is_same<decltype(this_), decltype(other)>::value, "Array size different!");
return ::memcmp(this_, other, SIZE);
}
};
template<>
struct Compare<const char*>
{
const char* const this_;
bool operator== (const char other[]) const { return (0 == ::strcmp(this_, other)); }
};
#define COMPARE(X) Compare<decltype(X)>{X}
Usage: switch_(COMPARE(var)) {{ }}
.
Demo http://ideone.com/oUuGSk