C++ 數據類型屬性與限制：善用 <limits> 庫掌握數值邊界

前言：為何關心類型屬性？

C++ 擁有約 10 種整數類型與 3 種以上浮點類型，各自擁有不同的數值範圍、最大位數、精度等屬性。對金融、科學計算、圖形、數位訊號處理等領域，這些屬性至關重要。標準庫 <limits> 提供了系統化、可移植的方式在程式中查詢這些基本屬性。本文將示範如何善用 std::numeric_limits 獲取關鍵資訊。

一、浮點數的「數字噪音」與 epsilon 對策

浮點精度有限，硬體特性導致截斷與捨入。經典案例：

double d1 = 2., d2 = 3.;
d1 /= d2; // 2/3
if (d1 * 10 == (20. / d2)) // 條件本應為真，實則永不執行
    do_equal();

兩邊結果分別為 6.6666666666666661 與 6.6666666666666670，微小差異導致判斷失敗。此即「數字噪音」，多數 Bug 根源。

解決方案：機器 epsilon（epsilon()）

epsilon 為「大於 1 的最小可表示值與 1 之差」，代表該類型最小偏差極限。

#include <iostream>
#include <limits>
using namespace std;
cout << numeric_limits<double>::epsilon() << endl; // 輸出：2.22045e-016

粗略相等判斷取代 ==

if ( ((d1 * 10) - (20.0 / d2)) <= numeric_limits<double>::epsilon() )
    do_equal();

若差值不大於 epsilon，視為相等。若業務允許更大容忍度（如十億分之一），可自訂常數：

const double BILLIONTH = 1. / 1000000000;
if ( ((d1 * 10) - (20.0 / d2)) <= BILLIONTH )
    // ...

記住：epsilon 是最小偏差極限，業務容忍度可更大，不可更小。

二、選擇浮點類型：digits10 告訴你精度上限

標準：在精度無損情況下能表示的最大十進制位數。

cout << numeric_limits<double>::digits10 << endl;      // 15
cout << numeric_limits<long double>::digits10 << endl; // 18
cout << numeric_limits<long>::digits10 << endl;        // 9（整數同樣適用）

若需 16 位十進制精度，double 不夠，long double 可滿足。

三、最大值與最小值：max() 與 min()

cout << numeric_limits<int>::max() << endl; // 2147483647

整數類型 min() 返回最小值（負數）；浮點類型 min() 返回最小正規化正數。若需浮點最小值（負），用 -max() 或 lowest()（C++11）。

四、無限與 NaN：IEC 559 規範下的特殊值

NaN（Not a Number）

非法運算產生的特殊編碼。分「安靜 NaN」（不發訊號）與「發訊號 NaN」。

double d = 0;
if (numeric_limits<double>::has_quiet_NaN)
    d = numeric_limits<double>::quiet_NaN();
else if (numeric_limits<double>::has_signaling_NaN)
    d = numeric_limits<double>::signaling_NaN();
else
    cerr << "NaN for double isn't supported";

無限大

除以零等操作產生。

float f = 0;
if (numeric_limits<float>::has_infinity)
    f = numeric_limits<float>::infinity();
else
    cerr << "infinity for float isn't supported";

五、其他實用屬性速查

六、實戰建議

1. 避免硬編碼魔術數字：用 numeric_limits<T>::max() 替代 INT_MAX 等巨集，增強可移植性與可讀性。
2. 浮點比較永遠用 epsilon 容忍度：絕不直接用 ==。
3. 類型選擇參考 digits10：根據業務精度需求選型，而非習慣性用 double。
4. 邊界測試利用 min()/max()：自動化測試中驗證極值行為。
5. 跨平台開發檢查 is_iec559：確認目標平台浮點行為一致性。

掌握 <limits> 庫，讓你的程式在數值邊界上游刃有餘，告別「在這個平台跑得好好的，換個編譯器就崩了」的噩夢。