调试技术、static_assert

 

1.常规的调试方法有

(1) assert, 只在debug模式下有用，在release模式下没用并且不会有额外代码生成。

(2)assert_verify ,和 assert 功能相似，只是即使在release模式下也会计算表达式的值。但是在release模式下，表达式的值为false也不会报错。

 

2.static_assert

static_assert使用了模板元编程技术，是在编译的时候就能检测出问题。如果表达式的值为false，会导致编译失败。

由于是在编译期就要求计算出表达式的值，所以对表达式的要求有一定的限制：比如sizeof 能用在表达式里面。

 

下面是 static_assert的一种实现方式：

//主模板

template<bool> struct StaticAssert;

//特化模板

template<> struct<true> StaticAssert{};

//辅助宏

#defind static_assert(expr) \

    StaticAssert<(expr) != 0>();

 

void main()

{

    static_assert(sizeof(int)==4);//这里不会报错,因为这里有特化之后的StaticAssert定义。

    static_assert(sizeof(int)==2);// 由于没有false的特化类，所以会报错 没有定义的变量类型

}