目录

一、assert

1.禁用boost.assert

2.release版本下使用boost.assert

二、static_assert

三、lightweight_test

1.测试断言

2.测试元编程

        C/C++提供的assert宏只支持有限的正确性验证，所以boost在这方面进行了改进： boost.assert 库增强了原始的运行时的 assert 宏， static_assert 库提供了静态断言（编译期诊断），而lightweight_test 和 test 库则构建了完整的单元测试框架。

一、assert

        boost.assert提供了BOOST_ASSERT和BOOST_ASSERT_MSG两种形式，BOOST_ASSERT等同于C/C++提供的assert宏，断言表达式为真；BOOST_ASSERT_MSG在断言失败时可输出描述字符串。如果断言的表达式为真，那么断言成立，程序继续执行，否则断言会引发一个异常。

        正常情况下，BOOST_ASSERT和BOOST_ASSERT_MSG以及C/C++提供的assert宏仅在debug模式下生效，在release下不会进行编译，不会影响到运行效率。

#include 
void TestAssert()
{
    int a = 10;
    int* p = &a;
    
    BOOST_ASSERT(*p==11); //Assertion failed:*p==11, file D:FCJProjectVSProgramboostStudyboostStudyStudyTest.cpp, line 8
    assert(*p == 11);//Assertion failed: *p==11, file D:FCJProjectVSProgramboostStudyboostStudyStudyTest.cpp, line 9

    BOOST_ASSERT_MSG(*p == 11, "failed"); //Assertion failed: (*p==11)&&("failed"),file D:FCJProjectVSProgramboostStudyboostStudyStudyTest.cpp, line 11
}

1.禁用boost.assert

        在头文件前定义宏#define BOOST_DISABLE_ASSERTS后，即便在debug模式下，boost.assert将自动生效。但C/C++标准下的assert宏不会受影响。

2.release版本下使用boost.assert

        在头文件 前定义宏#define BOOST_ENABLE_ASSERT_HANDLER后，boost.assert的行为将发生改变：它将不再等同于 assert 宏，断言的表达式无论是在debug模式下还是在 release 模式下，都将被求值。如果断言失败，会发生一个断言失败的函数调用 boost:: assertion_failed 或assertion_failed_msg ——这相当于提供了一个错误处理 handler(注意：这两个函数需要自己实现) 。

namespace boost {
    void assertion_failed(char const* expr, char const* function, char const* file, long line);
    void assertion_failed_msg(char const* expr, char const* msg, char const* function, char const* file, long line);
}

void boost::assertion_failed(char const* expr, char const* function, char const* file, long line)
{
}

void boost::assertion_failed_msg(char const* expr, char const* msg, char const* function, char const* file, long line)
{
    std::cout << "expr:" << expr
        << " ,msg:" << msg
        << " ,function:" << function
        << " ,file:" << file
        << " ,line:" << line << std::endl;
}

二、static_assert

        C/C++标准下的assert宏和boost.assert宏是用于运行时的断言，它们是程序员的好帮手，应该在程序中被广泛应用。但有些时候，运行时的断言太晚了，程序已经发生了无可挽回的错误。
static_assert 库把断言的诊断时刻由运行期提前到编译期，让编译器检查可能发生的错误，这样
能够更好地增加程序的正确性，它模拟实现了C ++ 标准里的 static_assert 关键字。

        boost.static_assert提供了BOOST_STATIC_ASSERT和BOOST_STATIC_ASSERT_MSG两种形式，无论debug模式还是release模式都生效。如果编译器不支持C++标准的新关键字static_assert，那么BOOST_STATIC_ASSERT_MSG类似于BOOST_STATIC_ASSERT，字符串消息功能会失效。

#include 
void TestStaticAssert()
{
    const bool is_succeed = false;
    BOOST_STATIC_ASSERT(is_succeed);//断言失败

    BOOST_STATIC_ASSERT_MSG(is_succeed,"is_succeed is false");
}

三、lightweight_test

1.测试断言

        lightweight_test 是一个轻量级的单元测试框架，只提供最基本的单元测试功能，不支持测试用例、测试套件的概念，但因为它简单小巧，所以它适用于要求不高或快速的测试工作（不适用于大多数实际的软件开发项目）。

        lightweight_test 不需要编译，也不需要特定的入口函数，测试断言可以用在程序里的任何地方，就像使用 assert 一样，如果断言失败，就会增加内部的错误计数，lightweight_test 提供函数 boost.report_errors ( ) 来输出测试结果，在测试结束时，我们必须调用 report_errors( )，否则会发生 BOOST_ASSERT 断言错误。

lightweight_test常用测试断言

函数	含义
BOOST_TEST ( e )	断言表达式成立
BOOST_TEST_NOT ( e )	断言表达式不成立
BOOST_ERROR ( s )	直接断言失败 , 输出错误消息 s
BOOST_TEST_EQ ( e1 , e2 )	断言两个表达式相等
BOOST_TEST_NE ( e1 , e2 )	断言两个表达式不等
BOOST_TEST_CSTR_EQ ( e1 , e2 )	断言两个 C 字符串相等
BOOST_TEST_CSTR_NE ( e1 , e2 )	断言两个 C 字符串不相等
BOOST_TEST_THROWS ( e , ex )	断言表达式 e 抛出异常 ex

#include 
void TestLightWeightTest()
{
    std::shared_ptr p = std::make_shared(10);
    BOOST_TEST(*p == 10);
    BOOST_TEST(p.unique());
    BOOST_TEST_EQ(p.use_count(), 1);
    BOOST_TEST_NE(*p, 10);//*p等于10，断言失败

    std::cout << boost::report_errors() << std::endl;
    //D:FCJProjectVSProgramboostStudyboostStudyStudyTest.cpp(40) : test '*p != 10' ('10' != '10') failed in function 'void __thiscall StudyTest::TestLightWeightTest(void)'
    //1 errors detected.
    //1
}

2.测试元编程

#define BOOST_TEST_TRAIT_TRUE(type) ( ::boost::detail::test_trait_impl(#type, (void(*)type)0, true, __FILE__, __LINE__, BOOST_CURRENT_FUNCTION) )
#define BOOST_TEST_TRAIT_FALSE(type) ( ::boost::detail::test_trait_impl(#type, (void(*)type)0, false, __FILE__, __LINE__, BOOST_CURRENT_FUNCTION) )

        这两个宏的效果与 BOOST_STATIC_ASSERT 类似，但它们判断的是 type::value ，而不是type本身，所以宏的参数 type 应该是能够返回bool值的元函数。还需要特别注意：由于内部实现的原因， type 必须要使用圆括号包围（宏展开为一个模板函数的参数）。

#include 
void TestLightWeightTest()
{
    BOOST_TEST_TRAIT_TRUE((std::is_integral));
    BOOST_TEST_TRAIT_TRUE((std::is_function));//int不是函数，断言失败

    std::cout << boost::report_errors() << std::endl;
    //D:FCJProjectVSProgramboostStudyboostStudyStudyTest.cpp(43) : predicate '(std::is_function)'[struct std::is_function] test failed in function 'void __thiscall StudyTest::TestLightWeightTest(void)' (should have been true)
    //1 errors detected.
    //1
}