亚洲——在线,亚洲性视频网站,国产综合自拍

loki技法(1).靜態斷言

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

1 LOKI_STATIC_CHECK(expr, msg)

其中expr代表要斷言的表達式
當其為假,則讓程序無法通過編譯
其實現很簡單
利用模板特化:

1 template<int> struct CompileTimeError;
2 template<> struct CompileTimeError<true> {};

當表達式為真則使用模板特化形式
注意其模板在這里僅僅做前向引用
再看具體的宏:

1 #define LOKI_STATIC_CHECK(expr, msg) \
2 { Loki::CompileTimeError<((expr) != 0)> ERROR_##msg; (void)ERROR_##msg; }

使用代碼塊(statement block)
聲明一個編譯時錯誤對象
(具體原因在于當條件為假則模板對象沒有具體實現,拋出一個未定義完全的對象)

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

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

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

Comments

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

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

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

只是猜想。回復更多評論
# re: loki技法(1).靜態斷言
ccsdu2009
Posted @ 2010-04-09 08:24
@欲三更
恩這個很有可能回復更多評論
# re: loki技法(1).靜態斷言
螞蟻終結者
Posted @ 2010-04-10 13:06
見過另外一種比較簡潔的實現：
#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自定義錯誤信息！回復更多評論
# re: loki技法(1).靜態斷言[未登錄]
ccsdu2009
Posted @ 2010-04-10 19:01
@螞蟻終結者
boost里面有這個東西
typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];
(void) sizeof(type_must_be_complete);
delete x; 回復更多評論
# re: loki技法(1).靜態斷言
主打歌
Posted @ 2010-09-06 23:10
讓boost, c++設計新思維統統去見鬼吧。看哥的靜態斷言的巧妙實現吧。

可以在下列范圍內使用（已經在vc,gcc中測試）：
在名字空間域中使用；
在函數域中使用；
在類域中使用；
在類模板中使用。
在函數模板中使用。

比boost強大的是關鍵是還能支持c語言，不使用模版使得編譯時間大大縮短！！還能夠打印自定義的錯誤信息（我想這比啥都強）。
注意：gcc 的c編譯器居然允許0除以0的結果作為數組長度。此時只有警告，但是程序啟動就會立即產生浮點數異常，退出。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

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

刷新評論列表

只有注冊用戶登錄后才能發表評論。




網站導航: 博客園 IT新聞 BlogJava 博問 Chat2DB 管理

青青草原综合久久大伊人导航_色综合久久天天综合_日日噜噜夜夜狠狠久久丁香五月_热久久这里只有精品

導航

常用鏈接

留言簿(26)

隨筆分類(335)

隨筆檔案(379)

文章檔案(2)

XYZ

程序員

積分與排名

最新隨筆

最新評論

閱讀排行榜

評論排行榜