编译期断言

书中列出三种编译期断言的实现方式，一一列出：

CompileTimeAssertion.h

//第一个版本使用不能建立空数组的性质

#define STATIC_CHECK1(expr) \

{\

	char unnamed[(expr) ? 1 : 0];\

}





//第二个版本使用模板的非类形参，使用为定义类是违法的

template<bool> struct CompileTimeError;//声明一个模板

template<> struct CompileTimeError<true>{};//仅仅对模板参数为true的特化实现

#define STATIC_CHECK2(expr) \

	(CompileTimeError<expr>())





//第三个版本，可以定制消息，但是这个消息必须是合法的c++标识符

template<bool> struct CompileTimeCheck

{

	CompileTimeCheck(...){}//加上后面的{}还可以通过链接，但是仅仅是针对编译，声明就够了

};

template<> struct CompileTimeCheck<false>{};

#define STATIC_CHECK3(expr, msg) \

{\

	struct ERROR_##msg{} unnameError;\

	CompileTimeCheck<expr> unnameCheck(unnameError);\

}

CompileTimeAssertion.cpp

#include <iostream>

#include "CompileTimeAssertion.h"

int main()

{

    /*****************版本1****************/

    {

        STATIC_CHECK1(true);

        //.\CompileTimeAssertion.cpp(5) : error C2466: 不能分配常量大小为 0 的数组

        //.\CompileTimeAssertion.cpp(5) : error C2133: “unnamed”: 未知的大小

        //STATIC_CHECK(false);

    }

    /*****************版本2****************/

    {

        STATIC_CHECK2(true);

        //error C2514: “CompileTimeError<__formal>”: 类没有构造函数

        //STATIC_CHECK2(false);

    }

    /*****************版本3****************/

    {

        STATIC_CHECK3(1 < 3, CompareTwoNumber);

        // error C2440: “初始化”: 无法从“main::ERROR_CompareTwoNumber”转换为“CompileTimeCheck<false>”

        //无构造函数可以接受源类型，或构造函数重载决策不明确

        //STATIC_CHECK3(3 < 1, CompareTwoNumber);

    }

}