[C++] noexcept Keyword

저번에 정리했던 friend, explicit에 이어 noexcept라는 새로운 키워드에 대해서 정리해보려 합니다.

 

noexcept은 어떤 의미를 가지고 있냐,,, 말 그대로 함께 작성된 함수에서 예외를 발생시키지 않겠다는 뜻을 가지고 있습니다.

 

해당 키워드를 사용했을 때 이점은

1. 유저와 컴파일러에게 힌트를 줄 수 있습니다.

2. 코드를 간결하게 만들 수 있습니다.

3. 컴파일러 최적화를 가능하게 만들어줍니다. 

 

예제와 함께 보겠습니다.

#include <iostream>
#include <stdexcept>
using namespace std;

int funcA() noexcept {
    // ...e
    return 0;
}

int main() {

    try {
        funcA();
    }catch (char c) {
      std::cout << "Catch char!" << std::endl;
    } catch (...) {
        std::cout << "Default exception catch!" << std::endl;
    }
    std::cout << "Program ends without exception" << std::endl;

    return 0;
}

funcA에서 에러를 던질 수는 없지만 정상적으로 작동되는 모습을 볼 수 있습니다.

 

그런데 만약 noexception 키워드를 사용했는데 Exception을 throw하면 발생하면 어떻게 될까요

 

#include <iostream>
#include <stdexcept>
using namespace std;

int funcA() noexcept {
    // ...
    throw runtime_error("Exception!");
    return 0;
}

int main() {

    try {
        funcA();
    }catch (char c) {
      std::cout << "Catch char!" << std::endl;
    } catch (...) {
        std::cout << "Default exception catch!" << std::endl;
    }
    std::cout << "Program ends without exception" << std::endl;

    return 0;
}

 

libc++abi: terminating due to uncaught exception of type std::runtime_error: Exception!

해당 오류는 예외가 처리되지 않고 프로그램이 비정상적으로 종료되었기 때문에 뜬다고 합니다.

 

noexception 때문에 예외가 제대로 처리되지 않은 것 같네요.