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.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++编码规范中文版。这里就不再介绍了。
郑重声明：本站内容如果来自互联网及其他传播媒体，其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享，并不代表本站赞同其观点和对其真实性负责，也不构成任何其他建议。
