정말 C #에서 CodeContracts를 좋아하려고합니다. 드디어 .NET 3.5 / 4.0 프레임 워크에 추가 된 모든 새로운 기능을 활용하고 있습니다. 지난 며칠 동안 저는 CodeContracts와 함께 일해 왔으며 정말 좋아하기 위해 열심히 노력하고 있습니다. 다른 사람들이 C #에서 CodeContracts 구현에 대해 어떻게 생각하는지 궁금합니다. 특히, 사람들은 인터페이스를위한 Contract 클래스, Contract Invariants 등을위한 계약 메소드를 어떻게 구성하고 있습니까? 계약서가 제공하는 유효성 검사가 마음에 듭니다. 언뜻보기에는 멋져 보입니다. 몇 줄만하면 코드를 실행하기 전에 멋진 빌드 검사를받을 수 있습니다. 불행히도 코드 계약이 C #으로 구현되는 방식이 계약을 문서..