我應該對任何方法結果執行Contract.Ensures嗎？

Question

比方說，我有這樣的一個：

[Pure] 
public static TimeSpan Seconds(this int i) 
{ 
    Contract.Ensures(Contract.Result<TimeSpan>() == TimeSpan.FromSeconds(i)); 
    return TimeSpan.FromSeconds(i); 
} 

是那個我保證這種嚴格的方式在合同結果正確，或者它是不必要的？

---

而在這種情況下？

[Pure] 
public static T IfTrue<T>(this bool b, T value) 
{ 
    Contract.Ensures(Contract.Result<T>().Equals(b ? value : default(T))); 
    return b ? value : default(T); 
} 

---

我的問題是：

1. 我說得表明這種精確的合同ensurance什麼時候？
2. 我是否有義務制定如此嚴格的合同保證，爲什麼？
3. 是否可以，我的合同保證重複（在許多情況下在我的申請）return聲明？

Answer 1

想想「合同」這個詞 - 你什麼，在編寫代碼，希望保證到您的來電者（或Requires，你有什麼希望他們保證你）。

對於一些瑣碎的例子，例如您所展示的例子，我想不出多少您想要納入合約。也許第一，我會去：

[Pure] 
public static TimeSpan Seconds(this int i) 
{ 
    Contract.Requires(i>0); 
    Contract.Ensures(Contract.Result<TimeSpan>().TotalSeconds > 0.0); 
    return TimeSpan.FromSeconds(i); 
} 

我會保證我的呼叫者，我會產生積極的結果。很明顯，如果我在這種方法中包含更復雜的數學，那麼可以給出類似的合同。我會對範圍給予保證，但我不能保證計算結果的確切程度（因爲這可能會發生變化）。

Answer 2

方法純度意味着，該方法調用不會導致任何調用者可見的副作用對象狀態。 這就是全部。

當然，純方法可以是公開的，並且可以定義它自己的前後條件。它取決於具體的方法用例。