Contract.Ensures一個OverflowException異常

Question

我有一個簡單的方法，從給定數量的返回指數值：

public int Exp(int num) 
    { 
     return Convert.ToInt32(System.Math.Exp(num)); 
    } 

當運行的Pex我得到的彙總/異常場一定大量的OverflowException異常： 1969057606.

如何使用Contract.Ensure()創建後期條件？ 我嘗試以下，但它不會做任何事情：

Contract.Ensures(Contract.Result<int>() < 2147483647); 

// This is because the max value an int variable can hold is 2147483647 

Answer 1

Contract.Ensures用來斷言一些有關你的類的狀態運行該功能後，或者在這種情況下，函數的結果，無論的意見是什麼。您需要添加合同。需要這樣的e^num < = int.MaxValue，例如，

Contract.Requires<ArgumentOutOfRangeException>(num <= Math.Floor(Math.Log(int.MaxValue))) 

儘管您可能想將最大值計算拉出到常量中。

public static readonly int MAX_EXPONENT = Math.Floor(Math.Log(int.MaxValue)); 
... 
Contract.Requires<ArgumentOutOfRangeException>(num <= MAX_EXPONENT)