確保集合中的所有項目都相同的代碼合同

Question

如何創建確保集合中的所有項目都相同的後置條件？

我正在考慮使用this solution，但我不確定這是否會導致一些不需要的副作用，或者是否會錯誤地使用代碼合同。

Answer 1

鏈接的代碼似乎是無副作用的，所以我不擔心這一點。我建議將檢查全等條件的代碼放入它自己的（純）函數中，並簡單地調用它。

Contract.Ensures(AllEqual(myEnumeration)); 

這意味着AllEqual需要至少與您的方法本身一樣可見，但我認爲它會使一切更清晰。