[c] C 코드에서 오류 처리

CMU의 CERT에는 일반적인 C (및 C ++) 오류 처리 기술 각각을 사용할시기에 대한 권장 사항 이 포함 된 멋진 슬라이드 세트가 있습니다 . 가장 좋은 슬라이드 중 하나는이 의사 결정 트리입니다.

이 flowcart에 대해 개인적으로 두 가지를 변경하려고합니다.

먼저, 때로는 객체가 오류를 나타 내기 위해 반환 값을 사용해야한다는 것을 분명히하고 싶습니다. 함수가 객체에서 데이터를 추출하지만 객체를 변경하지 않으면 객체 자체의 무결성이 위험하지 않으며 반환 값을 사용하여 오류를 나타내는 것이 더 적합합니다.

둘째, C ++에서 예외를 사용하는 것이 항상 적절한 것은 아닙니다 . 예외 처리는 오류 처리에 전념하는 소스 코드의 양을 줄일 수 있고 대부분 함수 시그니처에 영향을 미치지 않으며 콜 스택을 전달할 수있는 데이터가 매우 유연하기 때문에 좋습니다. 반면에 몇 가지 이유로 예외가 올바른 선택이 아닐 수 있습니다.

1. C ++ 예외에는 매우 특정한 의미가 있습니다. 이러한 의미를 원하지 않으면 C ++ 예외가 나쁜 선택입니다. 예외가 발생하면 즉시 처리해야하며, 설계는 오류가 콜 스택을 몇 단계 풀어야하는 경우를 선호합니다.

2. 예외를 던지는 C ++ 함수는 예외를 처리하기 위해 랩핑 할 수 없으며, 적어도 예외의 전체 비용을 지불하지 않으면 예외는 발생하지 않습니다. 오류 코드를 반환하는 함수는 C ++ 예외를 발생시키기 위해 랩핑되어보다 유연합니다. C ++ new은 던지지 않는 변형을 제공하여이 권리를 얻습니다.

3. C ++ 예외는 상대적으로 비싸지 만이 단점은 예외를 현명하게 사용하는 프로그램에 비해 과장된 것입니다. 프로그램은 단순히 성능이 중요한 코드 경로에서 예외를 발생시키지 않아야합니다. 프로그램이 얼마나 빨리 오류를보고하고 종료 할 수 있는지는 중요하지 않습니다.

4. 때로는 C ++ 예외를 사용할 수 없습니다. C ++ 구현에서 문자 그대로 사용할 수 없거나 코드 지침에서이를 금지합니다.

원래의 질문은 멀티 스레드 컨텍스트에 관한 것이기 때문에 로컬 오류 표시기 기술 ( SirDarius 의 답변에 설명되어 있음 )이 원래 답변에서 과소 평가 되었다고 생각합니다 . 스레드 안전하고 호출자가 즉시 오류를 처리하지 않으며 오류를 설명하는 임의의 데이터를 묶을 수 있습니다. 단점은 객체에 의해 유지되어야하며 (어떻게 든 외부와 관련이 있다고 가정) 반환 코드보다 무시하기 쉽다는 것입니다.

답변

#include <setjmp.h>
#include <stdio.h>

jmp_buf x;

void f()
{
    longjmp(x,5); // throw 5;
}

int main()
{
    // output of this program is 5.

    int i = 0;

    if ( (i = setjmp(x)) == 0 )// try{
    {
        f();
    } // } --> end of try{
    else // catch(i){
    {
        switch( i )
        {
        case  1:
        case  2:
        default: fprintf( stdout, "error code = %d\n", i); break;
        }
    } // } --> end of catch(i){
    return 0;
}

#include <stdio.h>
#include <setjmp.h>

#define TRY do{ jmp_buf ex_buf__; if( !setjmp(ex_buf__) ){
#define CATCH } else {
#define ETRY } }while(0)
#define THROW longjmp(ex_buf__, 1)

int
main(int argc, char** argv)
{
   TRY
   {
      printf("In Try Statement\n");
      THROW;
      printf("I do not appear\n");
   }
   CATCH
   {
      printf("Got Exception!\n");
   }
   ETRY;

   return 0;
}