C++的开源跨平台日志库glog学习研究(三)--杂项

在前面对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.hdemangle.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++编码规范中文版。这里就不再介绍了。

posted @ 2014-05-10 14:10  lizhenghn  阅读(3158)  评论(4编辑  收藏  举报
无觅关联推荐,快速提升流量