코드 계약 / 어설 션 : 중복 검사 란 무엇입니까?

나는 사용하는 언어로 주장, 계약 또는 수표를 작성하는 것을 좋아하는 팬입니다. 나를 조금 귀찮게하는 한 가지는 중복 검사를 처리하기위한 일반적인 관행이 무엇인지 확실하지 않다는 것입니다.

상황 예 : 먼저 다음 함수를 작성합니다

void DoSomething( object obj )
{
  Contract.Requires<ArgumentNullException>( obj != null );
  //code using obj
}

몇 시간 후에 첫 번째 함수를 호출하는 다른 함수를 작성합니다. 모든 것이 메모리에서 여전히 DoSomething최신 상태 이므로 계약을 복제하지 않기로 결정합니다. 왜냐하면 null 객체를 이미 확인 해야한다는 것을 알기 때문입니다.

void DoSomethingElse( object obj )
{
  //no Requires here: DoSomething will do that already
  DoSomething( obj );
  //code using obj
}

명백한 문제 : DoSomethingElse이제 DoSomethingobj가 null이 아닌지 확인하는 데 달려 있습니다. 따라서 DoSomething더 이상 확인하지 않기로 결정하거나 다른 함수를 사용하기로 결정하면 obj가 더 이상 확인되지 않을 수 있습니다. 결국이 구현을 작성하게됩니다.

void DoSomethingElse( object obj )
{
  Contract.Requires<ArgumentNullException>( obj != null );
  DoSomething( obj );
  //code using obj
}

상황이 커지면 동일한 물체를 여러 번 검사 할 수 있고 복제의 형태이며 우리 모두가 그렇게 좋지 않다는 것을 제외하고는 항상 안전하고 걱정할 필요가 없습니다.

이와 같은 상황에 대한 가장 일반적인 관행은 무엇입니까?

개인적으로 null을 얻지 못하면 실패하는 함수에서 null을 확인하고 그렇지 않은 함수는 null을 검사합니다.

따라서 위의 예제에서 doSomethingElse ()가 obj를 역 참조 할 필요가 없으면 obj를 null로 확인하지 않습니다.

DoSomething ()이 obj를 역 참조하면 null을 확인해야합니다.

두 함수가 모두 역 참조하면 둘 다 확인해야합니다. 따라서 DoSomethingElse가 obj를 역 참조하면 null을 확인해야하지만 DoSomething은 다른 경로에서 호출 될 수 있으므로 여전히 null을 확인해야합니다.

이렇게하면 코드를 상당히 깨끗하게 유지하고 검사가 올바른 위치에 있는지 확인할 수 있습니다.

큰! Code Contracts for .NET 에 대해 알게되었습니다 . 코드 계약은 평균 어설 션보다 훨씬 뛰어나며 정적 검사기 가 가장 좋은 예입니다. Visual Studio Premium 이상이 설치되어 있지 않으면이 기능을 사용하지 못할 수도 있지만 코드 계약을 사용하려는 경우에는 그 의도를 이해하는 것이 중요합니다.

계약을 함수에 적용하면 문자 그대로 계약 입니다. 이 기능은 계약에 따라 작동하며 계약에 정의 된 대로만 사용됩니다.

주어진 예제에서 DoSomethingElse()함수는 DoSomething()null이 전달 될 수 있으므로에 지정된대로 계약에 따라 실행되지 않으며 정적 검사기는이 문제를 나타냅니다. 이 문제를 해결하는 방법은에 동일한 계약을 추가하는 것 DoSomethingElse()입니다.

이제 이것은 중복이 있음을 의미하지만 두 기능에 걸쳐 기능 을 노출 시키려면 이 중복이 필요 합니다. 이러한 함수는 비공개이지만 클래스의 다른 위치에서도 호출 할 수 있으므로 주어진 호출에서 인수가 null이되지 않도록하는 유일한 방법은 계약을 복제하는 것입니다.

이것은 왜 왜 행동을 두 가지 기능으로 나누 었는지 재고해야합니다. 한 장소에서만 호출되는 기능을 분할해서는 안된다는 것이 나의 의견 ( 일반적인 신념과는 달리 )이었다 . 계약을 적용함으로써 캡슐화를 공개함으로써 이것은 더욱 분명해진다. 내 대의에 대한 추가 주장을 찾은 것 같습니다! 감사합니다! :)