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

在前面对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) ? 1 : -1]

 

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

GOOGLE_GLOG_COMPILE_ASSERT(1, must_be_true1);       //ok
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++的模板编程、元编程中，其作用不可小觑。当然，也有一定的缺点，比如对于动态变化的值，却无法使用编译期断言而只能使用动态断言：

void test(int i)
{
    assert(i>0);        //ok
    GOOGLE_GLOG_COMPILE_ASSERT(i>0, 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++编码规范中文版。这里就不再介绍了。