今天看了《C++编程思想》关于编译时断言的一个例子,基础不好颇费功夫,现在将自己的一些理解记录下来,程序如下:
#include <iostream>
using namespace std;
template<bool> struct StaticCheck {
StaticCheck(...);
};
template<> struct StaticCheck<false> {};
#define STATIC_CHECK(expr, msg) { \
class Error_##msg {}; \
sizeof((StaticCheck<expr>(Error_##msg())));\
}
template<class To, class From> To safe_cast(From from) {
STATIC_CHECK(sizeof(From) <= sizeof(To),NarrowingConversion);
return reinterpret_cast<To>(from);
}
int main()
{
void *p = 0;
int i = safe_cast<int>(p);
cout<<"int cast okay"<<endl;
//char c = safe_cast<char>(p);
return 0;
}
首先,程序中定义了一个类模板:StaticCheck,该模板接受一个无类型参数(相比较而言,如果把bool换成class T 就是类型参数),该类模板定义了一个构造函数,构造函数的作用就是生成一个该类的对象,由于该构造函数具有可变参数列表,所以从字面上看,我们可以用任何“原材料”来生成该类的对象。
接着,程序为上面的类模板提供了一个特化版本,该版本用false来特化自己,而且这个特化的类模板中没有定义构造函数,这就意味着我们不能用任何“原材料”来生成与该模板对应的类的对象,举个简单例子:StaticCheck<false> s(...)是不合法的,因为没有相应的构造函数。(不过,不使用原材料倒是可以生成该类的对象,,因为会生成一个默认构造函数,即StaticCheck<false> s()是合法的,言归正传,本程序不考虑这一点)
接着,程序定义了一个宏:STACK_CHECK,该宏接受两个参数,expr说白了不是true就是false,msg是个名字,该宏的作用就是定义一个类,类的名字包含了msg,然后试图把该类的一个对象转换为StaticCheck<expr>类,显然,当expre为true时,可以转换,当expr为false时,无法转换(因为没有相应的构造函数),当无法转换时就会出现编译错误,这就实现了所谓的编译时断言,因为在编译期就可以捕获错误。
最后,程序定义了一个模板函数,在该函数中使用了上面的宏,如果无法转换就编译错误,如果可以转换就返回转换后的结果。其他的细节比较容易理解,这里就不赘述了。
最后补充一点,在第一个没有特化的模板中我们并没有给出构造函数的定义,而是只有一个声明,其实这是无关紧要的,因为编译器只是从字面上理解,有个这个声明就可以骗过编译器,因为我们不会真正生成一个StaticCheck<true>的对象,而那些定义是在生成对象时才会用到的,这里只看名字(看脸的世界)