Posted on 2010-03-23 14:40
S.l.e!ep.￠% 閱讀(1352)
評論(2) 編輯 收藏 引用 所屬分類:
C++ 、
Interview
? 確定一個變量是有符號數還是無符號數 收藏
讀《C專家編程》，其中一段講面試，說是微軟曾經有一道面試題：
寫一段代碼，確定一個變量是有符號數還是無符號數？
書上給出了兩個宏：
#define ISUNSIGNED(a) (a>=0 && ~a>=0)
#define ISUNSIGNED(type) ((type)0-1 > 0)
第二個從類型來判斷，沒有問題。
而第一個只能用在K&R C里，在ANSI C里就不行了。
當這個宏被用在int/unsigned int時，沒有任何問題。
但是當使用在char和short上就會出錯。
ANSI C中的整型升級：
char，short int或者int型位段（bit-field），包括它們的有符號或無符號變型，
以及枚舉類型，可以使用在需要int或unsigned int的表達式中，
如果int可以完整地表示源類型的所有值，那么該類型的值就轉換為int，否則轉換為unsigned int。
ANSI C中的尋常算術轉換：
當執行算術運算時，操作數的類型如果不同，就會發生轉換。
數據類型一般朝著浮點精度更高、長度更長的方向轉換，
整型數如果轉換為signed不會丟失信息，就轉換為signed，否則就轉換為unsigned。
這個稱為值保留（value preserving）原則。
所以，無論原先是否有符號，char和short都被轉換成了signed int（整型升級）。
原先unsigned的東西變成了signed，然后再進行取反。
同時，常數0被認為是signed int類型，所以一律被判為有符號數了。
問題是一旦char或者short參與了運算，它們將被首先轉換成int，
在這以后，任何操作都變成徒勞的了，int永遠都是signed。
那么能否在整型升級之前讓signed char/short變成負數呢？至少我現在還沒想到辦法。
偶使用了賴皮方法，無恥地定義了全局變量，還用了變態的逗號表達式……
于是第一個宏就變成下面這個樣子了：
int r, t;
#define ISUNSIGNED(a) (t = a, r = (a>=0 && (a=~a)>=0), a = t, r)
再一想，既然用了全局變量保存a的值，還討論干啥？于是……
int r, t;
#define ISUNSIGNED(a) (t = a, r = ((a=-1) >= 0), a = t, r)
而且這樣做的前提是，假設int是最長的整型類型，并且是有符號的。
本文來自CSDN博客，轉載請標明出處：http://blog.csdn.net/yysdsyl/archive/2007/11/14/1885829.aspx
本文來自CSDN博客，轉載請標明出處：http://blog.csdn.net/rainbow_free/archive/2009/06/17/4275697.aspx