SafeInt 函式
SafeInt 程式庫提供幾個您不需要建立 SafeInt 類別的執行個體就能使用的函式。 如果想要保護單一數學運算防止發生整數溢位，就可以使用這些函式。 如果想要保護多個數學運算，則應建立 SafeInt 物件。 建立 SafeInt 物件比多次使用這些函式更有效率。
這些函式可讓您在兩個不同型別的參數上，比較或執行數學運算，不需要先將它們轉換成相同型別。
這些函式每一個都有兩種範本型別：T 和 U。 每一種型別都可以是布林值、字元或整數型別。 整數型別不一定要帶正負號，且大小從 8 位元到 64 位元均可。
注意
此程式庫的最新版本位於 https://github.com/dcleblanc/SafeInt。
本節內容
| 函式 | 描述 |
|---|---|
| SafeAdd | 可將兩個數字相加並防止溢位。 |
| SafeCast | 可將某個型別的參數轉換成另一種型別。 |
| SafeDivide | 可將兩個數字相除並防止將它們除以零。 |
| SafeEquals、SafeGreaterThan、SafeGreaterThanEquals、SafeLessThan、SafeLessThanEquals、SafeNotEquals | 比較兩個數字。 這些函式可讓您比較兩種不同型別的數字，而不需要變更它們的型別。 |
| SafeModulus | 可在兩個數字上執行模數運算。 |
| SafeMultiply | 可將兩個數字相乘並防止溢位。 |
| SafeSubtract | 可將兩個數字相減並防止溢位。 |
相關章節
| 區段 | 描述 |
|---|---|
| SafeInt | SafeInt 類別。 |
| SafeIntException | SafeInt 程式庫特定的例外狀況類別。 |
SafeAdd
可透過防止溢位的方式將兩個數字相加。
template<typename T, typename U>
inline bool SafeAdd (
T t,
U u,
T& result
) throw ();
參數
t
[in] 要相加的第一個數字。 這必須為類型 T。
u
[in] 要相加的第二個數字。 這必須為類型 U。
result
[out] SafeAdd 儲存結果的參數。
傳回值
如果沒有發生錯誤為 true；發生錯誤則為 false。
SafeCast
可將某個型別的數字轉換成另一種型別。
template<typename T, typename U>
inline bool SafeCast (
const T From,
U& To
);
參數
從
[in] 要轉換的來源數字。 它必須是 T 型別。
目標
[out] 對新數字型別的參考。 它必須是 U 型別。
傳回值
如果沒有發生錯誤為 true；發生錯誤則為 false。
SafeDivide
可透過防止除以零的方式將兩個數字相除。
template<typename T, typename U>
inline bool SafeDivide (
T t,
U u,
T& result
) throw ();
參數
t
[in] 被除數。 這必須為類型 T。
u
[in] 除數。 這必須為類型 U。
result
[out] SafeDivide 儲存結果的參數。
傳回值
如果沒有發生錯誤為 true；發生錯誤則為 false。
SafeEquals
比較兩個數位，以判斷它們是否相等。
template<typename T, typename U>
inline bool SafeEquals (
const T t,
const U u
) throw ();
參數
t
[in] 要比較的第一個數字。 這必須為類型 T。
u
[in] 要比較的第二個數字。 這必須為類型 U。
傳回值
true 如果 t 和 u 相等則為 ，否則 false為 。
備註
因為 == 可讓您比較兩種不同類型的數字，所以此方法會增強 SafeEquals。
SafeGreaterThan
比較兩個數字。
template<typename T, typename U>
inline bool SafeGreaterThan (
const T t,
const U u
) throw ();
參數
t
[in] 要比較的第一個數字。 它必須是 T 型別。
u
[in] 要比較的第二個數字。 它必須是 U 型別。
傳回值
true 如果 t 大於 u，則為 ，否則 false為 。
備註
SafeGreaterThan 可透過讓您比較兩個不同型別的數字，來延伸一般比較運算子。
SafeGreaterThanEquals
比較兩個數字。
template <typename T, typename U>
inline bool SafeGreaterThanEquals (
const T t,
const U u
) throw ();
參數
t
[in] 要比較的第一個數字。 它必須是 T 型別。
u
[in] 要比較的第二個數字。 它必須是 U 型別。
傳回值
true如果 t 大於或等於 u，則為 ，否則false為 。
備註
SafeGreaterThanEquals 可增強標準比較運算子，因為它可以讓您比較兩個不同型別的數字。
SafeLessThan
可判斷某個數字是否小於另一個。
template<typename T, typename U>
inline bool SafeLessThan (
const T t,
const U u
) throw ();
參數
t
[in] 第一個數字。 它必須是 T 型別。
u
[in]第二個數位。 它必須是 U 型別。
傳回值
true如果 t 小於 u，則為 ，否則false為 。
備註
此方法可增強標準比較運算子，因為 SafeLessThan 可以讓您比較兩個不同型別的數字。
SafeLessThanEquals
比較兩個數字。
template <typename T, typename U>
inline bool SafeLessThanEquals (
const T t,
const U u
) throw ();
參數
t
[in] 要比較的第一個數字。 它必須是 T 型別。
u
[in] 要比較的第二個數字。 它必須是 U 型別。
傳回值
true如果 t 小於或等於 u，則為 ，否則false為 。
備註
SafeLessThanEquals 可透過讓您比較兩個不同型別的數字，來延伸一般比較運算子。
SafeModulus
可在兩個數字上執行模數運算。
template<typename T, typename U>
inline bool SafeModulus (
const T t,
const U u,
T& result
) throw ();
參數
t
[in] 除數。 它必須是 T 型別。
u
[in] 被除數。 它必須是 U 型別。
result
[out] SafeModulus 儲存結果的參數。
傳回值
如果沒有發生錯誤為 true；發生錯誤則為 false。
SafeMultiply
可透過防止溢位的方式將兩個數字相乘。
template<typename T, typename U>
inline bool SafeMultiply (
T t,
U u,
T& result
) throw ();
參數
t
[in] 要相乘的第一個數字。 它必須是 T 型別。
u
[in] 要相乘的第二個數字。 它必須是 U 型別。
result
[out] SafeMultiply 儲存結果的參數。
傳回值
如果沒有發生錯誤為 true；發生錯誤則為 false。
SafeNotEquals
判斷兩個數位是否不相等。
template<typename T, typename U>
inline bool SafeNotEquals (
const T t,
const U u
) throw ();
參數
t
[in] 要比較的第一個數字。 它必須是 T 型別。
u
[in] 要比較的第二個數字。 它必須是 U 型別。
傳回值
true 如果 不是 且 u 不相等則為 ，否則 false為 。
備註
因為 != 可讓您比較兩種不同類型的數字，所以此方法會增強 SafeNotEquals。
SafeSubtract
可透過防止溢位的方式將兩個數字相減。
template<typename T, typename U>
inline bool SafeSubtract (
T t,
U u,
T& result
) throw ();
參數
t
[in] 減法中的第一個數字。 它必須是 T 型別。
u
[in] 要從 t 中減去的數字。 它必須是 U 型別。
result
[out] SafeSubtract 儲存結果的參數。
傳回值
如果沒有發生錯誤為 true；發生錯誤則為 false。