書(shū)中列出三種編譯期斷言的實(shí)現(xiàn)方式，一一列出：

CompileTimeAssertion.h

    //第一個(gè)版本使用不能建立空數(shù)組的性質(zhì)

#define STATIC_CHECK1(expr) \

{\

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

}





//第二個(gè)版本使用模板的非類形參，使用為定義類是違法的

template<bool> struct CompileTimeError;//聲明一個(gè)模板

template<> struct CompileTimeError<true>{};//僅僅對(duì)模板參數(shù)為true的特化實(shí)現(xiàn)

#define STATIC_CHECK2(expr) \

	(CompileTimeError<expr>())





//第三個(gè)版本，可以定制消息，但是這個(gè)消息必須是合法的c++標(biāo)識(shí)符

template<bool> struct CompileTimeCheck

{

	CompileTimeCheck(...){}//加上后面的{}還可以通過(guò)鏈接，但是僅僅是針對(duì)編譯，聲明就夠了

};

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 的數(shù)組

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

        //STATIC_CHECK(false);

    }

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

    {

        STATIC_CHECK2(true);

        //error C2514: “CompileTimeError<__formal>”: 類沒(méi)有構(gòu)造函數(shù)

        //STATIC_CHECK2(false);

    }

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

    {

        STATIC_CHECK3(1 < 3, CompareTwoNumber);

        // error C2440: “初始化”: 無(wú)法從“main::ERROR_CompareTwoNumber”轉(zhuǎn)換為“CompileTimeCheck<false>”

        //無(wú)構(gòu)造函數(shù)可以接受源類型，或構(gòu)造函數(shù)重載決策不明確

        //STATIC_CHECK3(3 < 1, CompareTwoNumber);

    }

}


  

編譯期斷言