C ++에 '최종'구성이없는 이유는 무엇입니까?

C ++에서의 예외 처리는 try / throw / catch로 제한됩니다. Object Pascal, Java, C # 및 Python과 달리 C ++ 11에서도 finally구문이 구현되지 않았습니다.

"예외 안전 코드"에 대해 언급 한 많은 C ++ 문헌을 보았습니다. Lippman은 예외 안전 코드가 Primer의 범위를 넘어서는 중요하지만 진보 된 어려운 주제라고 썼다. 이는 안전한 코드가 C ++의 기본이 아니라는 것을 암시하는 것으로 보인다. Herb Sutter는 그의 뛰어난 C ++에서 10 개의 챕터를 주제에 전념합니다!

그러나 "예외 안전 코드"를 작성하려고 할 때 발생하는 많은 문제는 finally구문이 구현 되면 상당히 잘 해결 되어 프로그래머가 예외가 발생하더라도 프로그램을 복원 할 수 있도록 보장합니다 안전하고 안정적이며 누출이없는 상태, 리소스 할당 지점 및 잠재적으로 문제가있는 코드에 가깝습니다. 매우 숙련 된 Delphi 및 C # 프로그래머로서 try.를 사용합니다.이 언어로 된 대부분의 프로그래머와 마찬가지로 마침내 코드에서 광범위하게 차단됩니다.

C ++ 11에서 구현 된 모든 '벨과 휘파람'을 고려할 때 '마지막'이 아직 존재하지 않는다는 사실에 놀랐습니다.

그렇다면 왜 finally구조가 C ++로 구현되지 않았습니까? 프로그래머가 '예외 안전 코드'를 작성하도록 돕는 것은 그리 어렵거나 진보 된 개념이 아니며 먼 길을 간다.

@ Nemanja의 답변에 대한 추가 논평으로 (Stroustrup을 인용하기 때문에 실제로 얻을 수있는만큼 좋은 답변입니다) :

그것은 실제로 C ++의 철학과 관용구를 이해하는 문제입니다. 영속 클래스에서 데이터베이스 연결을 여는 조작의 예를 들어 예외가 발생하면 해당 연결을 닫아야합니다. 이것은 예외 안전 문제이며 예외가있는 모든 언어 (C ++, C #, Delphi ...)에 적용됩니다.

try/ 를 사용하는 언어 finally에서 코드는 다음과 같습니다.

database.Open();
try {
    database.DoRiskyOperation();
} finally {
    database.Close();
}

간단하고 간단합니다. 그러나 몇 가지 단점이 있습니다.

• 언어에 결정 론적 소멸자가 없으면 항상finally 블록 을 작성해야 합니다. 그렇지 않으면 리소스가 누출됩니다.
• 경우는 DoRiskyOperation하나의 메소드 호출보다 더 - 나는에서 할 약간의 가공이있는 경우 try차단 - 다음 Close작업이 괜찮은 조금 멀리에서 끝나게 수 있습니다 Open작업. 획득 한 바로 옆에 정리를 쓸 수 없습니다.
• 획득해야 할 리소스가 여러 개인 경우 예외 안전 방식으로 해제하면 여러 계층의 깊이 try/ finally블록으로 끝날 수 있습니다 .

C ++ 접근 방식은 다음과 같습니다.

ScopedDatabaseConnection scoped_connection(database);
database.DoRiskyOperation();

이것은 finally접근법 의 모든 단점을 완전히 해결합니다 . 자체 단점이 있지만 상대적으로 작습니다.

• ScopedDatabaseConnection수업을 직접 작성해야 할 좋은 기회가 있습니다 . 그러나 4 ~ 5 줄의 코드만으로 매우 간단한 구현입니다.
• 여기에는 여분의 로컬 변수를 만드는 것이 포함됩니다. "파괴자를 정리하기 위해 소멸자에 의존하는 클래스를 지속적으로 만들고 파괴하는 것에 대한 의견을 바탕으로 팬이 아닙니다." 여분의 지역 변수와 관련된 추가 작업 중 하나. 좋은 C ++ 디자인은 이러한 종류의 최적화에 많이 의존합니다.

개인적으로 이러한 장단점을 고려할 때 RAII가보다 바람직한 기술이라고 생각합니다 finally. 귀하의 마일리지가 다를 수 있습니다.

마지막으로 RAII는 C ++에서 잘 확립 된 관용구이고 개발자가 수많은 Scoped...클래스 를 작성해야하는 부담을 덜기 위해 이러한 종류의 결정적 정리를 용이하게하는 ScopeGuard 및 Boost.ScopeExit 와 같은 라이브러리가 있습니다 .

에서 C가 제공 ++하지 않는 이유는 "마지막으로"구성? 에서 비얀 스트로브 스트 룹의 C ++ 스타일과 기술 자주 묻는 질문 :

C ++은 거의 항상 더 나은 대안을 지원하기 때문에 "자원 획득은 초기화"기술 (TC ++ PL3 섹션 14.4)입니다. 기본 아이디어는 로컬 객체의 소멸자가 리소스를 해제 할 수 있도록 로컬 객체로 리소스를 나타내는 것입니다. 그렇게하면 프로그래머가 리소스를 해제하는 것을 잊을 수 없습니다.

C ++에없는 이유는 C ++에 필요하지 finally않기 때문입니다. finally예외가 발생했는지 여부에 관계없이 일부 코드를 실행하는 데 사용되며 거의 항상 일종의 정리 코드입니다. C ++에서이 정리 코드는 관련 클래스의 소멸자에 있어야하며 소멸자는 항상 finally블록 처럼 호출 됩니다. 정리에 소멸자를 사용하는 관용구를 RAII 라고 합니다.

C ++ 커뮤니티 내에서 '예외 안전'코드에 대해 더 많은 이야기가있을 수 있지만 예외가있는 다른 언어에서도 거의 동일하게 중요합니다. '예외 안전'코드의 요점은 호출하는 함수 / 메소드에서 예외가 발생하면 코드가 어떤 상태로 유지되는지 생각하는 것입니다.
C ++에서는 '예외 안전'코드가 약간 더 중요합니다. C ++에는 예외로 인해 분리 된 개체를 처리하는 자동 가비지 수집 기능이 없기 때문입니다.

예외 안전이 C ++ 커뮤니티에서 더 논의되는 이유는 아마도 C ++에서는 언어에 기본 안전망이 적기 때문에 무엇이 잘못 될 수 있는지 더 잘 알아야한다는 사실에서 비롯된 것입니다.

다른 사람들은 RAII를 해결책으로 논의했습니다. 완벽하게 좋은 솔루션입니다. 그러나 그것이 왜 그들이 finally원하는 것이기 때문에 추가하지 않은 이유 를 실제로 다루지 는 않습니다 . 이에 대한 대답은 C ++의 디자인과 개발에 더 근본적입니다. C ++의 개발 과정에서 관련된 사람들은 많은 소란없이 다른 기능을 사용하여 달성 할 수있는 디자인 기능의 도입에 강하게 저항했으며 특히 도입이 필요한 경우 이전 코드를 호환하지 않을 수있는 새로운 키워드 RAII는 매우 기능적인 대안을 제공하고 finally실제로 finallyC ++ 11에서 직접 롤백 할 수 있기 때문에 호출 할 필요가 거의 없습니다.

Finally소멸자의 생성자에 전달 된 함수를 호출 하는 클래스 를 작성하기 만하면됩니다. 그런 다음이 작업을 수행 할 수 있습니다

try
{
    Finally atEnd([&] () { database.close(); });

    database.doRisky();
}

그러나 대부분의 네이티브 C ++ 프로그래머는 일반적으로 깔끔하게 디자인 된 RAII 객체를 선호합니다.

try / catch 블록을 사용하지 않더라도 "트랩"패턴을 사용할 수 있습니다.

필요한 범위에 간단한 개체를 넣습니다. 이 객체의 소멸자에 "완료"논리를 넣으십시오. 무엇이든, 스택이 풀리면 오브젝트의 소멸자가 호출되고 사탕을 얻습니다.

글쎄, finallyLambdas를 사용하여 일종의 roll-your-own 을 사용할 수 있습니다.

{
    FILE *file = fopen("test","w");

    finally close_the_file([&]{
        cout << "We're closing the file in a pseudo-finally clause." << endl;
        fclose(file);
    });
}

이 기사를 참조 하십시오 .

RAII가의 상위 집합이라는 주장에 동의하지 않습니다 finally. RAII의 아킬레스 건은 간단합니다. 예외입니다. RAII는 소멸자로 구현되며 C ++에서는 소멸자를 버리는 것이 항상 잘못되었습니다. 즉 정리 코드가 필요할 때 RAII를 사용할 수 없습니다. finally반면에 구현 된 경우 finally블록 에서 버리는 것이 합법적이지 않다고 믿을 이유가 없습니다 .

다음과 같은 코드 경로를 고려하십시오.

void foo() {
    try {
        ... stuff ...
        complex_cleanup();
    } catch (A& a) {
        handle_a(a);
        complex_cleanup();
        throw;
    } catch (B& b) {
        handle_b(b);
        complex_cleanup();
        throw;
    } catch (...) {
        handle_generic();
        complex_cleanup();
        throw;
    }
}

finally우리가 쓸 수 있다면 :

void foo() {
    try {
        ... stuff ...
    } catch (A& a) {
        handle_a(a);
        throw;
    } catch (B& b) {
        handle_b(b);
        throw;
    } catch (...) {
        handle_generic();
        throw;
    } finally {
        complex_cleanup();
    }
}

그러나 RAII를 사용하여 동등한 동작을 얻는 방법은 없습니다.

누군가 C ++ 에서이 작업을 수행하는 방법을 알고 있다면 대답에 매우 관심이 있습니다. 예를 들어, 특정 기능이나 무언가가있는 단일 클래스에서 모든 예외를 상속받는 것과 같이 의존하는 것에 만족합니다.