나는 C# 4.0이 사후 조건 및 사전 조건을 구현하는 데 사용할 수있는 Code Contract 기능이 있다는 것을 알고 있습니다. 하지만 C# 3.0을 사용하여 구현하고 싶습니다. 내 작품에서이 기능을 사용하려고 실험하고 있습니다. 사후 조건 및 사전 조건을 구현하는 데 attributes을 사용할 수 있습니까?계약으로 C# 3.0에서
조언이 있으십니까?
감사합니다.
Code Contracts을 C# 3 및 .NET 3.5와 함께 사용할 수 있습니다. 가장 큰 차이점은 이미 .NET 4에 핵심 클래스 (도구가 아님)가 내장되어 있다는 것입니다.
전제 조건 및 사후 조건에 단순한 Debug.Assert 명령을 사용하고 수동으로 bool Invariant() 함수를 작성합니다.이 함수는 관련된/중요한 공용 메서드의 진입 및 종료시 Debug.Assert(Invariant())이라고합니다.
수동 작업입니다.하지만 매우 쉽고 빠르게 익숙해집니다. 또한 계약 철학에 의거 한 에펠의 디자인을 아주 가깝게 따라갈 수 있습니다.
Jon에게 감사드립니다. 나는 모양을 가질 것이다. –