Contract.Exists değeri nasıl ekler?

Question

VS2010 ile standart olarak gelen kod sözleşmeleri kitaplığı hakkında bilgi almaya başladım. Çalıştığım bir şey, sözleşme maddelerinin bazılarının gerçekten ne anlama geldiği.

Örneğin, bu iki ifade nasıl farklı? Başka bir deyişle

Contract.Requires(!mycollection.Any(a => a.ID == newID)); 
Contract.Requires(!Contract.Exists(mycollection, a => a.ID == newID)); 

, Contract.Exists benim fonksiyonunu kullanarak veya statik kod analizi sistemi için ya bir geliştirici için, pratik amaçlar içinde ne yapar?

Answer 1

Tamam, cevabı buldum. Kod Sözleşmeleri Kullanım Kılavuzuna göre, bölüm 2.7.2:

"Ayrıca, Contract.Exists yerine System.Linq.Enumerable.Any uzantı yöntemini kullanmak da mümkündür."

Bunlar eşdeğerdir. Varoluş yerine Var'ı kullanacağım, bu yüzden kodumuzun geri kalanıyla tutarlı.

Answer 2

Deklanşör niteliği nedeniyle Contract.Exists'u kullanan sürüm tercih edilir. Bir başka avantaj, çerçevenin bu sözleşmeyi bilmesi ve statik analizde “yakalanma” şansının daha yüksek olmasıdır.