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

2022-10-29,,,,

在前面对glog分别做了两次学习,请看C++的开源平台日志库glog学习研究(一)、C++的开源跨平台日志库glog学习研究(二)--宏的使用,这篇再做个扫尾工作,算是基本完成了。

编译期断言

动态断言在调试过程中是一个很重要的手段,而且我们使用的也比较多。相应的,静态断言,也即是编译期断言随着模板编程、元编程的发展,也表现出了动态断言所没有的优势:在编译期完成断言检查,而不是等到运行时!

比如在glog的源码中,有如下代码(logging.h line 908):

 template <bool>
struct CompileAssert {
}; #define GOOGLE_GLOG_COMPILE_ASSERT(expr, msg) \
typedef google::glog_internal_namespace_::CompileAssert<(bool(expr))> msg[bool(expr) ? : -]

先给出一个简单的测试用例:

 GOOGLE_GLOG_COMPILE_ASSERT(, must_be_true1);       //ok
GOOGLE_GLOG_COMPILE_ASSERT(->,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<>  msg[];

否则,一旦第一个参数expr为false,那么就是:

google::glog_internal_namespace_::CompileAssert<>  msg[-];

好吧,因为数组大小在C++中是不能为负的!这样就保证了宏能够在编译期完成检查。

编译期检查、编译器断言是很有用的一个功能,尤其是在C++的模板编程、元编程中,其作用不可小觑。当然,也有一定的缺点,比如对于动态变化的值,却无法使用编译期断言而只能使用动态断言:

 void test(int i)
{
assert(i>); //ok
GOOGLE_GLOG_COMPILE_ASSERT(i>, must_be_true); //error
}

在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学习研究(三)--杂项的相关教程结束。

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

下载本文的Word格式文档,以方便收藏与打印。