0
Microsoft Code Contracts (.net 4)을 사용하여 부작용이없는 것으로 메서드를 선언 할 수 있습니까?마이크로 코드 계약을 사용하여 부작용으로 코드를 선언하십시오.
Microsoft Code Contracts (.net 4)을 사용하여 부작용이없는 것으로 메서드를 선언 할 수 있습니까?마이크로 코드 계약을 사용하여 부작용으로 코드를 선언하십시오.
[Pure] 속성이 원하는 것일 수 있습니다. 귀하의 방법에 그것을 첨부하면 Code Contracts는 어떤 주 변경 사항도 포함하지 않는다고 가정합니다. 그것은 실제로 강제하거나 아무것도 확인하지 않습니다, 그냥 시스템에 그 가정을하게 알려줍니다, 그래서 당신이 적절하게 그것을 사용하고 있는지 확인하십시오.
http://msdn.microsoft.com/en-us/library/dd264808.aspx의 "Preconditions"섹션을 살펴 보셨습니까? – Intermernet