언어 디자인 (예외) : 왜 '시도'할까요?

Question

예외 (C++, Java, Javascript, Python, PHP 등 ...)를 본 언어에서 catch의 범위를 표시하기 위해 항상 try 또는 이와 비슷한 것을 볼 수 있습니다. 그것이 필요한지 궁금합니다. try 블록이없는 설계 문제는 무엇입니까?

예를 들어,이 걸릴 : 나는 대안으로이 상상

try{ 
    try{ 
     do_something_dangerous0(); 
    }catch (SomeProblem p){ 
     handle(p); 
    } 
    try{ 
     do_something_dangerous1(); 
    }catch (SomeProblem p){ 
     handle(p); 
    } 
}catch (SomeOtherProblem p){ 
    handle(p); 
} 

.

do_something_dangerous0(); 

catch (SomeProblem p){ 
    handle(p); 
} 

do_something_dangerous1(); 

catch (SomeProblem p){ 
    //catches from only the second unless the first also threw 
    handle(p); 
} 

catch (SomeOtherProblem p){ 
    //catches from either, because no other block up there would 
    handle(p); 
} 

는 "너무 많은"잡기 블록을 피하려면 새 범위를 만들 수 있습니다

do_something_dangerous2(); 

{ 
    do_something_dangerous3(); 

    catch (SomeProblem p){ 
     //does not catch from do_something_dangerous2() 
     //because if that throws, it won't reach in here 
     handle(p); 
    } 
} 

catch (SomeProblem p){ 
    handle(p); 
} 

catch (SomeOtherProblem p){ 
    handle(p); 
} 

(내이 C 같은 언어에 대해 작동하지 않습니다 이유에 대한 대답 ++ 및 Java를 적어도 아래 답변에 게시되어 있지만 동적 언어에 대한 대답이 없습니다.)

Answer 1

변수 선언이 필요한 언어에는 작동하지 않습니다.

변수의 선언 및 초기화를 포함하여 try 블록의 모든 명령문이 완전히 실행되지 않을 수 있습니다. 블록 범위 지정이있는 언어, 특히 C++, Objective C 및 Java와 같은 변수 선언이 필요한 언어의 경우 catch 블록은 try 블록의 범위를 공유하지 않으므로 try의 로컬 변수에 액세스 할 수 없습니다. try이없는 시스템은 범위 지정 규칙을 벗어납니다.

예를 들어, 유효한 C++ 코드입니다. 이은으로 전환 된 경우

try{ 
    int x = some_func(); 
    int y = some_other_func(); 
}catch(SomeException){ 
    //... 
} 

, 다음

int x = some_func(); 
int y = some_other_func(); 

catch(SomeException){ 
    //... 
} 

, 브레이스 범위 지정 규칙에 따라, x 및 y는 아직 초기화/선언되지 않을 수 있습니다에도 불구하고,에 - 범위 catch 블록에 있습니다 . catch 그 변수 선언이 표시되지 않도록

당신은 범위 지정 규칙을 변경할 수 있습니다,하지만 그건 매우 간단하고 널리 규칙의 주요 합병증은 약 7 자 (try{\n}\n을)에 저장합니다. catch의 범위를 벗어나는 변수 선언을 즉시 할 수 없도록 만들 수 있지만, 어쨌든 try 블록이 없으면 많은 것을 할 수 없습니다. 던져 버릴 수있는 (예전 C와 비슷한) 코드를 실행하기 전에 스코프의 모든 변수를 선언하도록 요구할 수 있지만 코드를 구성하는 데 자유가 없어 읽기가 더 어려워집니다.