메서드 몸체가 시작되기 전에 매개변수가 유효한지 검사해야한다. (오류는 가능한 한 빨리 발생한 곳에서 잡아야 한다) 실패 원자성을 어기는 결과를 낳을 수 있다.

• 메서드가 수행되는 중간에 모호환 예외를 던지며 실패할 수 있다.
• 미래의 알 수 없는 시점에 이 메서드와 관련 없는 오류를 낼 수 있다. 

생성자 매개변수의 유효성 검사는 클래스 불변식을 어기는 개체가 만들어지지 않게 하는데 꼭 필요하다.

메서드나 생성자를 작성할 때면 그 매개변수들에 어떤 제약이 있을지 생각해야 한다. 그 제약들을 문서화하고 메서드 코드 시작 부분에서 명시적으로 검사해야한다.