久久亚洲AV成人无码,久久久久久A亚洲欧洲AV冫 ,国内精品久久久久久久coent

loki技法(1).靜態(tài)斷言

以前看過很長時間的boost,記得上面有STATIC_ASSERT
在loki庫中也有類似的宏

1 LOKI_STATIC_CHECK(expr, msg)

其中expr代表要斷言的表達(dá)式
當(dāng)其為假,則讓程序無法通過編譯
其實(shí)現(xià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)
聲明一個編譯時錯誤對象
(具體原因在于當(dāng)條件為假則模板對象沒有具體實(shí)現(xiàn),拋出一個未定義完全的對象)

9 D:\Dev-Cpp\prj\test\main.cpp aggregate `Loki::CompileTimeError<0> ERROR_wo' has incomplete type and cannot be defined

對于其宏的實(shí)現(xiàn)在我看來
(void)ERROR_##msg;這句是多余的(不知道這句的作用是什么??誰能告訴我)

posted on 2010-04-01 21:44 ccsdu2009 閱讀(2552) 評論(13) 編輯收藏引用

Comments

# re: loki技法(1).靜態(tài)斷言
ccsdu2009
Posted @ 2010-04-01 21:53
說實(shí)話我感覺這個設(shè)計的很巧妙
聯(lián)合使用模板特化和前向聲明來
回復(fù) 更多評論
# re: loki技法(1).靜態(tài)斷言
OwnWaterloo
Posted @ 2010-04-01 22:57
為了讓編譯器輸出的錯誤信息更容易理解一些：
LOKI_STATIC_CHECK(sizeof(char)==1, bad_compiler );

如果斷言失敗，輸出的就是：
ERROR_bad_compiler 是一個不完全類型的object。
回復(fù) 更多評論
# re: loki技法(1).靜態(tài)斷言
OwnWaterloo
Posted @ 2010-04-01 22:57
《modern c++ design》是loki作者寫的介紹該庫的書。
回復(fù) 更多評論
# re: loki技法(1).靜態(tài)斷言
陳梓瀚(vczh)
Posted @ 2010-04-02 11:17
前提是msg是英文…… 回復(fù) 更多評論
# re: loki技法(1).靜態(tài)斷言
萌萌
Posted @ 2010-04-02 11:59
的確很好。

回復(fù) 更多評論
# re: loki技法(1).靜態(tài)斷言
欲三更
Posted @ 2010-04-09 02:54
我猜想如果沒有(void)ERROR_##msg;這句，編譯器會把前面的變量定義優(yōu)化掉從而斷言失效？

只是猜想。回復(fù) 更多評論
# re: loki技法(1).靜態(tài)斷言
ccsdu2009
Posted @ 2010-04-09 08:24
@欲三更
恩這個很有可能回復(fù) 更多評論
# re: loki技法(1).靜態(tài)斷言
螞蟻終結(jié)者
Posted @ 2010-04-10 13:06
見過另外一種比較簡潔的實(shí)現(xiàn)：
#define static_assert(expr) typedef char __static_assert__[(expr) ? 1 : -1];

如：

static_assert(sizeof(int) == 1);

編譯錯誤為："the size of an array must be greater than zero"

不過不能夠像上面那樣用msg自定義錯誤信息！回復(fù) 更多評論
# re: loki技法(1).靜態(tài)斷言[未登錄]
ccsdu2009
Posted @ 2010-04-10 19:01
@螞蟻終結(jié)者
boost里面有這個東西
typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];
(void) sizeof(type_must_be_complete);
delete x; 回復(fù) 更多評論
# re: loki技法(1).靜態(tài)斷言
主打歌
Posted @ 2010-09-06 23:10
讓boost, c++設(shè)計新思維統(tǒng)統(tǒng)去見鬼吧。看哥的靜態(tài)斷言的巧妙實(shí)現(xiàn)吧。

可以在下列范圍內(nèi)使用（已經(jīng)在vc,gcc中測試）：
在名字空間域中使用；
在函數(shù)域中使用；
在類域中使用；
在類模板中使用。
在函數(shù)模板中使用。

比boost強(qiáng)大的是關(guān)鍵是還能支持c語言，不使用模版使得編譯時間大大縮短！！還能夠打印自定義的錯誤信息（我想這比啥都強(qiáng)）。
注意：gcc 的c編譯器居然允許0除以0的結(jié)果作為數(shù)組長度。此時只有警告，但是程序啟動就會立即產(chǎn)生浮點(diǎn)數(shù)異常，退出。g++工作正常。vc的c編譯器工作正常。
#define JOIN(x,y) x ## y
#define JOIN_1(x,y) JOIN(x, y)
#define JOIN_2(x,y) JOIN_1(x, y)

/*It's the begin of all error message.*/
#define ERRORMSG_BEGIN ATTENTION__The_assertion_error_is__

/*
*To fetch a error if testnum==0||testnum==false, by divide 0.
*Cast to int to avoid warning caused by bool division.
*/
#define IF_ERROR(testnum) (((int)(testnum))/((int)(testnum)))

/*
*The errormsg only support following characters: [a-zA-Z0-9] and '_'.
*Because it's a part of variable's name.
*Example:STATIC_ASSERT(sizeof(int) <= sizeof(short), The_sizeof_int_is_larger_than_short__)
*For above example, (Most) compilers can print error include following message:
ATTENTION__The_assertion_error_is__The_sizeof_int_is_larger_than_short__234
*The number in the end is the linenumber of the position of the macro been called.
*/
#ifndef NDEBUG
#ifndef _MSC_VER
#define STATIC_ASSERT(testnum, errormsg) static char JOIN_2(JOIN_1(ERRORMSG_BEGIN,errormsg),__LINE__)[IF_ERROR(testnum)];
#else
#define STATIC_ASSERT(testnum, errormsg) static char JOIN_1(ERRORMSG_BEGIN,errormsg)[IF_ERROR(testnum)];
#endif
#else
#define STATIC_ASSERT(testnum, errormsg)
#endif

//有看不懂英文的請留言咨詢。回復(fù) 更多評論
# re: loki技法(1).靜態(tài)斷言
主打歌
Posted @ 2010-09-06 23:12
我的blog
http://user.qzone.qq.com/41656955 回復(fù) 更多評論
# re: loki技法(1).靜態(tài)斷言
永遠(yuǎn)在一起
Posted @ 2010-12-15 22:09
這讓我想到了《Imperfect C++》里面的靜態(tài)段元，比如說判斷一個類是不是POD類，兩個類型是不是擁有同一個基類，或者兩個類的大小是不是一樣等等。不過這些靜態(tài)斷言在開發(fā)中真的有作用么，作為一名學(xué)生，我還是挺懷疑的。回復(fù) 更多評論
# re: loki技法(1).靜態(tài)斷言
lambda
Posted @ 2014-12-05 17:20
沒有(void)ERROR_##msg;這句，編譯器會提示ERROR_##msg變量沒有使用的Warning信息, 回復(fù) 更多評論

刷新評論列表

只有注冊用戶登錄后才能發(fā)表評論。
【推薦】100%開源！大型工業(yè)跨平臺軟件C++源碼提供，建模，組態(tài)！



網(wǎng)站導(dǎo)航: 博客園 IT新聞 BlogJava 博問 Chat2DB 管理

導(dǎo)航

常用鏈接

留言簿(26)

隨筆分類(335)

隨筆檔案(379)

文章檔案(2)

XYZ

程序員

積分與排名

最新隨筆

最新評論

閱讀排行榜

評論排行榜