/******************************************************/
廣告：歡迎大家到友善之臂旅店作客。本店位於費倫大陸劍灣地區，致力於成爲初出茅廬的Gamer們悠閒消遣之地。希望大家以後多多支持！
/******************************************************/
在計算機圖形運算中，常常要將浮點數轉換爲整數，例如在圖像的光柵化階段，就要執行大量的類型轉換，以便將浮點數表示的座標轉化爲整數表示的屏幕座標。Ok，it's so easy：
----------------------------------------------------------------------------------------
//
// 強制類型轉換
// 小數部分將被裁剪掉
//
int_val = (int)float_val;
----------------------------------------------------------------------------------------
嘿嘿，很高興你居然和我一樣單純！這個操作實在是太TINY了，以至於我從來沒想過它是怎麼實現的，直到某天某個傢伙跟我說，不要使用標準C類型轉換，因爲那太慢了！我當時的震驚不下於倒黴的冒險者遇上了龍。
標準C類型轉換最大的優點是，它是獨立於平臺的，無論是在X86上跑，還是在PowerPC上跑，你什麼都不用擔心，編譯器會爲你搞定一切。而這也恰恰是它最大的缺點——嚴重依賴於編譯器的實現。而實際測試表明，編譯器所生成的代碼，其速度實在不盡人意。
一個替代的方法是直接對數據位進行操作。如果你對IEEE浮點數的表示法比較熟悉的話（如果你壓根什麼都不知道，請先查閱文末附錄中的資料），這是顯而易見的。它提取指數和尾數，然後對尾數執行移位操作。代碼如下：
----------------------------------------------------------------------------------------
//
// 將32位浮點數fval轉換爲32位整數並存儲在ival中
// 小數部分將被裁剪掉
//
void TruncToInt32 (int &ival, float fval)
{
ival = *(int *)&fval;
// 提取尾數
// 注意實際的尾數前面還有一個被省略掉的1
int mantissa = (ival & 0x07fffff) | 0x800000;
// 提取指數
// 以23分界，指數大於23則左移，否則右移
// 由於指數用偏移表示，所以23+127=150
int exponent = 150 - ((ival >> 23) & 0xff);
if (exponent < 0)
ival = (mantissa << -exponent);
else
ival = (mantissa >> exponent);
// 如果小於0，則將結果取反
if ((*(int *)&fval) & 0x80000000)
ival = -ival;
}
----------------------------------------------------------------------------------------
該函數有一個BUG，那就是當fval=0時，返回值是2。原因是對於語句mantissa>>exponent，編譯器使用了循環移位指令。解決方法是要麼對0作特殊處理，要麼直接用匯編來實現。
這個函數比標準的C轉換要快，而且由於整個過程只使用了整數運算，可以和FPU並行運行。但缺點是，(1)依賴於硬件平臺。例如根據小尾和大尾順序的不同，要相應地修改函數。(2)對於float和double要使用不同的實現，因爲二者的數據位不同。(3)對於float，只能保留24位有效值，儘管int有32位。
更快的方法是使用FPU指令FISTP，它將棧中的浮點數彈出並保存爲整數：
----------------------------------------------------------------------------------------
//
// 將64位浮點數fval轉換爲32位整數並存儲在ival中
// 小數部分將四捨五入到偶數
//
inline void RoundToIntFPU (int &ival, double fval)
{
_asm
{
fld fval
mov edx, dword ptr [ival]
fistp dword ptr [edx]
}
}
----------------------------------------------------------------------------------------
很好，無論速度還是精度似乎都相當令人滿意。但如果換一個角度來看的話，fistp指令需要6個cycle，而浮點數乘法才僅僅需要3個cycle！更糟的是，當fistp運行的時候，它必須佔用FPU，也就是說，其他的浮點運算將不能執行。僅僅爲了一次類型轉換操作就要付出如此大的代價，光想想就覺得心疼。
當然，它也有很多優點：更快的速度，更精確的數值（四捨五入到偶數），更強的適用性（float和double均可)。要注意的是，FPU默認的四捨五入到偶數（round to even）和我們平常所說的四捨五入（round）是不同的。二者的區別在於對中間值的處理上。考慮十進制的3.5和4.5。四捨五入到偶數是使其趨向於鄰近的偶數，所以舍入的結果是3.5->4，4.5->4；而傳統的四捨五入則是3.5->4，4.5->5。四捨五入到偶數可以產生更精確，更穩定的數值。
除此之外，還有更好，更快的方法嗎？有的，那就是華麗的 Magic Number ！
請看下面的函數：
----------------------------------------------------------------------------------------
//
// 將64位浮點數轉換爲32位整數
// 小數部分將四捨五入到偶數
//
inline void RoundToInt64 (int &val, double dval)
{
static double magic = 6755399441055744.0;
dval += magic;
val = *(int*)&dval;
}
----------------------------------------------------------------------------------------
快，這就是它最偉大的地方！你所需要的僅僅是一次浮點數加法，你還能再奢望些什麼呢？
當然，絕對不要使用莫名其妙的代碼，現在馬上就讓我們來看看它是怎麼變的戲法。
首先，我們要搞清楚FPU是怎樣執行浮點數加法的。考慮一下8.75加2^23。8.75的二進制表示是1000.11，轉化爲IEEE標準浮點數格式是1.00011*2^3。假設二者均是32位的float，它們在內存中的存儲爲：
----------------------------------------------------------------------------------------
符號位(31), 指數(30-23), 尾數(22-0)
8.75: 0, 10000010, 0001 1000 0000 0000 0000 000
2^23: 0, 10010110，0000 0000 0000 0000 0000 000
----------------------------------------------------------------------------------------
FPU所執行的操作是：(1)提升指數較小者的指數，使二者指數相同；(2)將二者的尾數相加；(3)將結果規整爲標準格式。讓我們具體來看看整個過程：
----------------------------------------------------------------------------------------
1，提升8.75的指數，尾數要相應地右移23-3=20位：
8.75 = 1.00011*2^3 = .0000000000000000000100011*2^23
2，將二者相加。必須注意的是，
由於float只有23位尾數，所以8.75的低位被移除掉了：
8.75: 0, 10010110, 0000 0000 0000 0000 0001 000
+
2^23: 0, 10010110，0000 0000 0000 0000 0000 000
=
0, 10010110, 0000 0000 0000 0000 0001 000
3，將規整爲標準格式：
別忘了2^23還有個前導1，所以結果是規整的，無需執行任何操作
----------------------------------------------------------------------------------------
你發現什麼了嗎？不錯，將結果的尾數部分提取出來，正是int(8.75)！是的，magic number的奧妙就在這裏，通過迫使FPU將尾數移位，從而獲得我們需要的結果。
但是別高興得太早，讓我們來看看負數的情況。以-8.75爲例，-8.75加2^23相當於2^23減去8.75，過程如下：
----------------------------------------------------------------------------------------
2^23: 0, 10010110，0000 0000 0000 0000 0000 000
-
8.75: 0, 10010110, 0000 0000 0000 0000 0001 000
=
0, 10010110, 1111 1111 1111 1111 1110 000
----------------------------------------------------------------------------------------
很好，尾數部分正是int(-8.75)=-8的補碼。然而，2^23的前導1在減法過程中被借位了，所以結果的尾數前面並沒有1，FPU將執行規整操作，最後我們得到的是：
----------------------------------------------------------------------------------------
0, 10010110, 1111 1111 1111 1111 1100 000
----------------------------------------------------------------------------------------
功虧一簣！等等，如果將2^23的尾數的最高位置1，那麼在減法過程中不就可以保全前導1了嗎？完全正確，這就是我們需要的。所以最後的magic number是0,10010110,1000 0000 0000 0000 0000 000，也就是1.5*2^23。
然而，我們要清楚這個方法的一些侷限性。首先，在將結果的float值保存爲整數時，我們需要使用某些mask值將22-31位屏蔽掉。其次，float只能保有最多23位的有效值，在將尾數最高位置1後，有效值更是降到了22位，這意味着我們對大於2^23-1的數值無能爲力。
相比之下，如果我們只處理double，那麼所有的問題就都迎刃而解了。首先，double的指數位，符號位和尾數的最高位全部都在高32位，無需屏蔽操作。其次，double有多達52位的尾數，對於32位的int來說，實在是太奢侈了！
用於double的magic number是1.5*2^52=6755399441055744.0，推導過程是一樣的。
根據同樣的原理，我們還可以計算出將float和double轉化爲定點數的magic number。例如對於16-16的定點數，尾數右移的位數比原先轉化爲整數時要少16，所以對於double來說，相應的magic number就是1.5*2^36。如果要轉化爲8-24的定點數，則移位次數要少24，magic number是1.5*2^28。對於其他格式的定點數，以此類推。比起int(float_val*65536)這樣的表達式，無論是速度還是精度都要優勝得多。
另外，不得不再次重申的是，對於在最後的結果中被移除掉的數值，FPU會將其四捨五入到偶數。然而，有時我們確實需要像floor和ceil那樣的操作，那該怎麼辦呢？很簡單，將原數加上或減去一個修正值就可以了，如下所示：
----------------------------------------------------------------------------------------
// 修正值
static double magic_delta=0.499999999999;
// 截取到整數
inline void Floor64 (int &val, double dval)
{
RoundToInt64(val,dval-delta);
}
// 進位到整數
inline void Ceil64 (int &val, double dval)
{
RoundToInt64(val,dval+delta);
}
----------------------------------------------------------------------------------------
這個世界上沒有免費的午餐。我們獲得了速度，相對應地，也必須付出一些代價，那就是可移植性。上述方法全都基於以下幾個假設：(1)在x86上跑；(2)符合IEEE的浮點數標準；(3)int爲32位，float爲32位，double爲64位。侷限性其實是蠻大的，相比之下，int_val=(int)float_val就要省事多了。當然，你也可以使用條件編譯。
最後，讓我們來看兩組實際的測試數值。這份報告來自於Sree Kotay和他的朋友Herf：
----------------------------------------------------------------------------------------
平臺：Pentium IV/1.2
64位浮點數到32位整數的轉換：
int(f)： 2772.65 ms
fistp： 679.269 ms
magic number： 622.519 ms
64位浮點數到16-16定點數的轉換：
int(f*65536)： 2974.57 ms
fistp： 3100.84 ms
magic number： 606.80 ms
floor函數：
ANSI floor： 7719.400 ms
magic number： 687.177 ms
----------------------------------------------------------------------------------------
平臺：Pentium D/3.2
64位浮點數到32位整數的轉換：
int(f)： 1948.470 ms
fistp： 523.792 ms
magic number： 333.033 ms
64位浮點數到16-16定點數的轉換：
int(f*65536)： 2163.56 ms
fistp： 7103.66 ms
magic number： 335.03 ms
floor函數：
ANSI floor： 3771.55 ms
magic number： 380.25 ms
----------------------------------------------------------------------------------------
性能的差距實在令人驚訝，不是嗎？我想說的是，寫編譯器的傢伙絕對不是傻瓜（恐怕比你我都要聰明得多），他們當然知道所有這些優秀的算法。但爲什麼編譯器的表現會如此糟糕呢？其中一個理由是，爲了使浮點數運算儘可能精確和迅速，IEEE在算法的選擇上有很多的限制。而另一方面，IEEE的舍入規則（四捨五入到偶數）儘管從維持浮點數的連貫性上來看非常棒，但卻不符合ANSI C在浮點數到整數的類型轉換上的說明（截尾）。於是，編譯器不得不做一大堆的工作來保證行爲的正確性（符合標準）。這在大部分情況下都不是什麼問題——除非你在寫圖形/聲音/多媒體之類的代碼。
剛剛在我的賽揚1.1G上實際測試了一下。編譯器是VC2003，使用PerformenceCounter來計算時間，在DEBUG模式下，C標準轉換/FISTP/MagicNumber三種方法所耗費時間的比約爲5/3/2。但在優化全開的RELEASE模式下，標準C類型轉換的速度卻是遙遙領先於所有其他的方法！也不知道是我的測試方法有問題，還是該贊VS厲害。
--------------------------------------------------------------------------------------
參考文獻和相關資源可到鄙人的小店下載：http://greatsorcerer.go2.icpcn.com/info/float2int.html
1，What Every Computer Scientist Should Know About Floating-Point Arithmetic by David Goldberg（PDF）：
這篇論文囊括了關於浮點數的所有東西，正如其名字所示，任何想要了解浮點數的人都必讀的文獻。（其中關於精度的討論實在令我受益非淺。）
2，Let's Get to The Floating Point by Chris Hecker（PDF）：
早期的關於浮點數的文章，寫得非常棒，值得一看。
3，IEEE Standard 754 for Binary Floating Point Arithmetic by Prof.W.Kahan（PDF）：
關於IEEE754標準的說明。
4，IA64 Floating Point Operations and the IEEE Standard for Binary Floating Point Arithmetic（PDF）：
關於IA64的浮點數實現。
5，Know Your FPU: Fixing Floating Fast by Sree Kotay
