書中列出三種編譯期斷言的實現方式，一一列出：

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);

    }

}


  

編譯期斷言