boost.BOOST_STATIC_ASSERT源码整理和使用说明

Source

#include <boost/config.hpp>

#include <boost/detail/workaround.hpp>

 

//

namespace kimi_boost

{

       //这个模板类只有声明,没有定义

       //注意:这里没有{}

       //所以如果定义这个类型的对象将会失败

       template <bool> struct STATIC_ASSERTION_FAILURE2;

 

       //一个true类型的完全特化,并且带定义

       template <> struct STATIC_ASSERTION_FAILURE2<true>{};

 

       template<int x> struct static_assert_test2{};

 

#ifdef BOOST_STATIC_ASSERT

#undef BOOST_STATIC_ASSERT

 

 

#define BOOST_STATIC_ASSERT(B) typedef static_assert_test2< sizeof(STATIC_ASSERTION_FAILURE2< (bool)( B ) >) > nothing##__COUNTER__

 

#endif //BOOST_STATIC_ASSERT

}

 

Test code

void static_assert_test()

{

       using namespace kimi_boost;

 

       BOOST_STATIC_ASSERT(1);

       BOOST_STATIC_ASSERT(1 == 1);

       BOOST_STATIC_ASSERT(true);

       BOOST_STATIC_ASSERT(0); //compile error

 

       STATIC_ASSERTION_FAILURE2<true> asd;

       STATIC_ASSERTION_FAILURE2<false> asd2;

}

Output

Compile time error