在使用 Code Contracts 時，程式會加上很多驗證的程式，可能是前置條件、可能是後置條件、也有可能是些不變性的驗證，因此很多人對於程式效能上都有相當的疑慮。 但其實 Code Contracts 在使用上有很大的彈性，因為它底層是透過 CCRewrite 去將驗證的程式插入至正確的位置，所以它可以在專案屬性那邊將驗證檢查給直接抽掉。因此在 Release 時就可以只保留前置條件做參數的驗證，甚至是整個抽掉，這部分就比以往利用 if-throw 來驗證要來的有彈性，也不會有多餘的效能耗費。 雖然無效能耗費，但如果是開發 DLL ，那抽掉 Code Contracts 後 Release，使用該 DLL 的程式就無法享有 Code Contracts 所帶來的好處，這不是我們所樂見的。故 Code Contracts 提供了 Contract Reference Assembly 功能，在抽掉 Code Contracts 的同時，可將 Code Contracts 抽至另外ㄧ個獨立的組件，連同對應的設定提示也可一併帶到組件的 XML 中，別的組件在引用時就仍可享有 Code Contracts 所帶來的好處。 {% img /images/posts/ContractReferenceAssembly/1.png %} 這個功能在 .Net Framework 中就有被廣泛使用。可以看到 .Net Framework 這邊就有提供許多的 Contract Reference Assembly 。 {% img /images/posts/ContractReferenceAssembly/2.png %} 反組譯可以看到裡面只有存放 Code Contracts 的部分。 {% img /images/posts/ContractReferenceAssembly/3.png %}