序言
switch(nValue)
{
case X:
...
case Y:
...
default:
ASSERT_FOR_DEFAULT(nValue);
}
ASSERT_FOR_DEFAULT
是一个宏,它将显示一个(自定义)断言对话框,以报告命中“default-case”。是的,这个宏用于运行时断言,而不是用于编译时断言。但是,我只需要它,任何常量值(编译时)都不能传递给这个宏。
问题:
以下应该在编译时失败:
ASSERT_FOR_DEFAULT(5);
是的,程序员可以在任何地方使用它,而不仅仅是default
switch-case
的情况。他也可以使用switch
中未使用的任何表达式。但那不是问题。只需要只将非常量传递给这个宏。
没有为此宏编写任何重要内容,只需假设它是ASSERT
/ assert
。
我尝试过使用模板(使用其他SFINAE / static-asserts!),数组(如strcpy_s
),拥有YES
,NO
类型的结构,以及不使用的模板。但找不到解决方案!
我正在使用VC2008。我知道static_assert
,decltype
等,但不能使用C ++ 0x。
编辑(解决方案):
#define STATIC_ASSERT(expr) {int array[!!(expr)]; expr;}
template <class T>
bool noConstAllowed(T&);
int noConstAllowed(...);
#define ASSERT_FOR_DEFAULT_VALUE(val) \
{ \
STATIC_ASSERT(sizeof(noConstAllowed(val))==sizeof(bool)); \
}
int main()
{
int test=10;
ASSERT_FOR_DEFAULT_VALUE(test);
ASSERT_FOR_DEFAULT_VALUE(2);
ASSERT_FOR_DEFAULT_VALUE(test+2); //FAILS, but okay for me!
}
感谢Arne Mertz提出这个可爱的建议。我从中得出了解决方案。
所有noConstAllowed
类型都会重载T&
,如果传递了常量值,则会调用另一个重载。两者都有不同的返回类型,因此检查大小。模板化版本返回bool
,它满足传递的任何变量的断言,并且对任何常量或表达式都失败(因为返回类型为int
)。
答案 0 :(得分:3)
您可以重新定义宏,以便它获取参数的地址 - 对于文字而言应该失败。但是,这不会阻止您传递常量变量,例如
const static int FIVE = 5;
ASSERT_FOR_DEFAULT(FIVE); // still works.
禁止将所有种常量传递给宏调用一个通过非const引用获取参数的函数:
template <class T> void noConstAllowed(T&){};
#define ASSERT_FOR_DEFAULT_VALUE(val) \
{ \
(void*)&(val); /* no literals*/ \
noConstAllowed(val); /* no constants at all */ \
switchHitDefaultDialog(val, __FILE__, __LINE__); \
}
我想你使用像 FILE 这样的东西或其他位置宏,或者你会把它变成一个函数。你好,你只需要使用两条线中的一条。