书中列出三种编译期断言的实现方式，一一列出：
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);
}
}
