Boost学习笔记 BOOST_STATIC_ASSERT

 

Boost中提供了一个编译时断言宏BOOST_STATIC_ASSERT，这个宏很简单，但里面也有一些值得学习的地方。

首先来看看真正做事的代码

template <bool x> struct STATIC_ASSERTION_FAILURE;

 

template <> struct STATIC_ASSERTION_FAILURE<true> { enum { value = 1 }; };

 

template<int x> struct static_assert_test{};

注意这里定义了一个模板STATIC_ASSERTION_FAILURE;利用模板的偏特化对true的时候给出了一个特化版本，而对于当false的时候并没有定义。这就是实现编译时断言的关键所在。其实你可以直接使用

STATIC_ASSERTION_FAILURE;但是直接使用不方便。应为它是一个类。

STATIC_ASSERTION_FAILURE<false> ;如果想这样它是不会断言失败的。你必须

STATIC_ASSERTION_FAILURE<false> obj;要明确定义一个对象编译器才会明确告诉你，你断言错了。而且这样的模板形式显然不符合我们使用断言宏的习惯。所以boost给出了一个方便的宏的形式。还有个问题

template<int x> struct static_assert_test{};有什么用？一会儿就会看到。

下面看看平时真正使用的那个宏

#define BOOST_STATIC_ASSERT( B ) /

   typedef ::boost::static_assert_test</

      sizeof(::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >)>/

         BOOST_JOIN(boost_static_assert_typedef_, __COUNTER__)

这个宏是针对VC的，关于这个一会儿再解释。

首先当然从最里面开始剖析sizeof(::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >)，首先要知道sizeof()实际上是工作再编译期的，它会检查::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >的大小，如果B = false，由于没有定义关于false的特化版本，sizeof()不能取得它的大小所以不能编译通过。还要注意一点这里用的typedef，typedef也是再编译是工作的，而且在运行是不占用资源。

然后看最后一句BOOST_JOIN(boost_static_assert_typedef_, __COUNTER__)，也就是被定义的类型名。

在这里的作用就是boost_static_assert_typedef_##__COUNTER__也就是

boost_static_assert_typedef___COUNTER__。注意了，这里__COUNTER_其实也是一个宏，一个VC专有的宏，每使用它一次它就会增加1，比如说你说第10次使用它，那么它就会变成

boost_static_assert_typedef_9(最开始___COUNTER__为0)，但这又有什么用呢，编译错误时它可以告诉你是第几个BOOST_STATIC_ASSERT出了问题，但在我的编译器上显然不做不到，应为我的编译器会直接找出问题的关键所在：显示:STATIC_ASSERTION_FAILURE出错。对于其他编译器这里用的时__LINE__，这个标准宏，它表示在文件中所在的行。

最后有一点就是BOOST_STATIC_ASSERT是放在全局命名空间中的，所以使用的时候不用加boost::限定名。