팀 isSuccessful에서 오류 코드와 함께 부울 이나 열거 형 을 반환하는 대신 C ++에서 예외를 사용할 수 있도록 설득하려고 합니다. 그러나 나는 그의 비판에 반대 할 수 없다.
이 라이브러리를 고려하십시오.
class OpenFileException() : public std::runtime_error {
}
void B();
void C();
/** Does blah and blah. */
void B() {
// The developer of B() either forgot to handle C()'s exception or
// chooses not to handle it and let it go up the stack.
C();
};
/** Does blah blah.
*
* @raise OpenFileException When we failed to open the file. */
void C() {
throw new OpenFileException();
};개발자가
B()함수를 호출한다고 가정하십시오 . 그는 문서를 확인하고 예외를 반환하지 않는 것을 확인하므로 아무것도 잡으려고 시도하지 않습니다. 이 코드는 프로덕션 환경에서 프로그램을 중단시킬 수 있습니다.개발자가
C()함수를 호출한다고 가정하십시오 . 그는 문서를 확인하지 않으므로 예외를 포착하지 않습니다. 호출이 안전하지 않아 프로덕션 환경에서 프로그램이 중단 될 수 있습니다.
그러나 우리가 이런 식으로 오류를 확인하면 :
void old_C(myenum &return_code);해당 함수를 사용하는 개발자는 해당 인수를 제공하지 않으면 컴파일러에서 경고를 받고 "Aha, 이것이 확인해야하는 오류 코드를 반환합니다."라고 말합니다.
어떤 종류의 계약이 발생하도록 예외를 안전하게 사용하려면 어떻게해야합니까?
4
@Sjoerd 주요 장점은 개발자가 컴파일러에 의해 리턴 코드를 저장하는 함수에 변수를 제공해야한다는 것입니다. 그는 오류가있을 수 있음을 알고이를 처리해야합니다. 컴파일 시간 검사가 전혀없는 예외보다 무한히 좋습니다.
—
DBedrenko
"그는 그것을 처리해야한다"-이것이 일어나는지 점검하는 것은 없다.
—
Sjoerd
@Sjoerd 필요하지 않습니다. 오류가 발생할 수 있으며이를 확인해야 함을 개발자에게 알리는 것으로 충분합니다. 검토자가 오류를 확인했는지 여부에 상관없이 리뷰어도 알 수 있습니다.
—
DBedrenko
Either/ Resultmonad를 사용하여 형식이 안전한
@gardenhead 너무 많은 개발자가 제대로 사용하지 않기 때문에 추악한 코드로 끝나고 기능 자체를 비난하기 시작합니다. Java에서 확인 된 예외 기능은 아름답지만 일부 사람들은 그것을 얻지 못하기 때문에 나쁜 랩을 얻습니다.
—
AxiomaticNexus