在前面对glog分别做了两次学习,请看C++的开源跨平台日志库glog学习研究(一)、C++的开源跨平台日志库glog学习研究(二)--宏的使用,这篇再做个扫尾工作,算是基本完成了。
动态断言在调试过程中是一个很重要的手段,而且我们使用的也比较多。相应的,静态断言,也即是编译期断言随着模板编程、元编程的发展,也表现出了动态断言所没有的优势:在编译期完成断言检查,而不是等到运行时!
比如在glog的源码中,有如下代码(logging.h line 908):
1 template <bool> 2 struct CompileAssert { 3 }; 4 5 #define GOOGLE_GLOG_COMPILE_ASSERT(expr, msg) 6 typedef google::glog_internal_namespace_::CompileAssert<(bool(expr))> msg[bool(expr) ? 1 : -1]
先给出一个简单的测试用例:
1 GOOGLE_GLOG_COMPILE_ASSERT(1, must_be_true1); //ok 2 GOOGLE_GLOG_COMPILE_ASSERT(-1>0,must_be_true2); //error
上面这两句测试代码中第二句是通不过的,在Windows下visual studio报错:
error C2118: negative subscript
在linux下报错:
错误:数组‘must_be_true’的大小为负
这个错误很明显,也即在GOOGLE_GLOG_COMPILE_ASSERT宏中,如果第一个参数expr为true,那么根据第二个参数msg就可以创建一个含一个CompileAssert对象的数组:
google::glog_internal_namespace_::CompileAssert<1> msg[1];
否则,一旦第一个参数expr为false,那么就是:
google::glog_internal_namespace_::CompileAssert<0> msg[-1];
好吧,因为数组大小在C++中是不能为负的!这样就保证了宏能够在编译期完成检查。
编译期检查、编译器断言是很有用的一个功能,尤其是在C++的模板编程、元编程中,其作用不可小觑。当然,也有一定的缺点,比如对于动态变化的值,却无法使用编译期断言而只能使用动态断言:
1 void test(int i) 2 { 3 assert(i>0); //ok 4 GOOGLE_GLOG_COMPILE_ASSERT(i>0, must_be_true); //error 5 }
在Windows下和linux下分别报错如下:
VisualStudio: error C2975: ‘unnamed-parameter‘ : invalid template argument for ‘google::glog_internal_namespace_::CompileAssert‘, expected compile-time constant expression GCC:错误:‘i’不能出现在常量表达式中
在glog的源码文件目录中,有两个文件:demangle.h和demangle.cc。这两个文件只实现了一个对外接口:
bool Demangle(const char *mangled, char *out, int out_size);
且在整个项目中并没有使用,但其实是很有用的一个功能,为什么这么说?因为这是用于实现解析C++中名字重整后的函数原型。比如对于一个经过编译器名字重整后为_Z1fi的函数,经过解析后得到其原型是f(int),同理,详细请看我之前写的一篇文章:C++中的名字重整技术。
在vlog_is_on.cc的line 69行有一个SafeFNMatch_的函数实现,该函数可以用来实现简单的字符串模糊匹配功能,这里就不再多说了,请参考我之前写的一篇文章:C++实现的字符串模糊匹配。
一个小小的glog库,从代码上也能看出Google的代码规范,比如头文件引用一般次序是C库、C++库、其他库的.h、项目内的.h等,请看Google完整的C++代码规范:Google的C++编码规范中文版。这里就不再介绍了。
C++的开源跨平台日志库glog学习研究(三)--杂项,布布扣,bubuko.com
原文:http://www.cnblogs.com/lizhenghn/p/3720508.html