以前看過(guò)很長(zhǎng)時(shí)間的boost,記得上面有STATIC_ASSERT
在loki庫(kù)中也有類似的宏
1 LOKI_STATIC_CHECK(expr, msg)
其中expr代表要斷言的表達(dá)式
當(dāng)其為假,則讓程序無(wú)法通過(guò)編譯
其實(shí)現(xiàn)很簡(jiǎn)單
利用模板特化:
1 template<int> struct CompileTimeError;
2 template<> struct CompileTimeError<true> {};
當(dāng)表達(dá)式為真則使用模板特化形式
注意其模板在這里僅僅做前向引用
再看具體的宏:
1 #define LOKI_STATIC_CHECK(expr, msg) \
2 { Loki::CompileTimeError<((expr) != 0)> ERROR_##msg; (void)ERROR_##msg; }
使用代碼塊(statement block)
聲明一個(gè)編譯時(shí)錯(cuò)誤對(duì)象
(具體原因在于當(dāng)條件為假則模板對(duì)象沒有具體實(shí)現(xiàn),拋出一個(gè)未定義完全的對(duì)象)
9 D:\Dev-Cpp\prj\test\main.cpp aggregate `Loki::CompileTimeError<0> ERROR_wo' has incomplete type and cannot be defined
對(duì)于其宏的實(shí)現(xiàn)在我看來(lái)
(void)ERROR_##msg;這句是多余的(不知道這句的作用是什么??誰(shuí)能告訴我)