new 예외 처리

출처: https://devmachine.blog.me/207239711

[C++] new 연산자의 예외 처리에 대한 오해와 진실

※ 대부분의 C++ 개발자들은 new 연산자에 대한 올바른 예외 처리를 하고있지만, 아직까지 잘못된 방법을 사용하시는 분들도 종종 있는것 같아서 간단하게 정리해서 올려봅니다.

 

 

new 연산자의 예외 처리에 대한 오해

  

얼마전에 누군가가 작성한 소스에 다음과 같은 코드가 포함되어 있는 것을 발견하였습니다. 약 100MB 정도의 메모리를 할당한 다음 메모리 할당에 실패하였을 경우, 이에 대한 예외 처리를 하는 코드였죠.

 

 

char* ptr;
ptr = new char[100 * 1024 * 1024];
if (!ptr)
{
    ...
}

 

 

얼핏 보면 이 코드는 전혀 문제가 없어보이지만, 사실 아주 큰 문제점을 가지고 있는 코드입니다. 왜냐하면 new 연산자가 실패한다고 하더라고 절.대.로. if 블록 안으로 진입하지 않기 때문이죠. 만약 이 코드를 보고도 전혀 이상한 점을 느끼지 못하셨다면...잠시 반성의 시간을 가지도록 합시다. ^^; (사실 new 연산자에 의한 메모리 할당이 실패하는 일은 거의 없기 때문에 위와 같은 코드에 대한 검증 없이 무심코 넘어가 버리는 경우가 많습니다.)

 

C++ 표준에 따르면 new 연산자의 메모리 할당이 실패할 경우 std::bad_alloc 타입의 예외를 발생시키도록 되어있습니다. 결국 위 코드에서도 메모리 할당에 실패하면 ptr 변수에 NULL이 리턴되는 것이 아니라 std::bad_alloc 타입의 예외가 발생하고, 이 예외는 어디에서도 처리되지 않아 프로그램이 비정상적으로 종료되겠죠. 그렇다면 new 연산자의 메모리 할당이 실패했을 경우의 예외 처리를 제대로 구현하려면 어떻게 해야할까요?

 

 

new 연산자의 올바른 예외 처리 방법

  

1. try-catch

 

당연한 얘기지만 가장 먼저 생각해 볼 수 있는 방법은 try-catch 구문을 이용하여 예외를 처리해주는 방법입니다. new 연산자를 사용하는 코드를 try 블럭으로 묶어주고, catch 구문에서 std::bad_alloc 타입의 예외를 처리하도록 구현하면 되겠죠.

 

 

char* ptr;
try
{
    ptr = new char[0x7ffffffe];
}
catch (std::bad_alloc e)
{
    cout << e.what() << endl;
}

 

 

참고로 MFC 환경에서는 std::bad_alloc 타입이 아닌 CMemoryException 타입의 예외를 발생시키기 때문에(operator new가 오버로드 되어있습니다) 아래와 같이 구현하셔야 합니다. 

 

 

char* ptr;
try
{
    ptr = new char[0x7ffffffe];
}
catch (CMemoryException* e)
{
    ...
}

 

 

2. new(std::nothrow)

 

'나는 try-catch 구문을 이용한 예외 처리 스타일이 영 맘에 들지 않는다' 하는 분들을 위한 방법입니다. new 대신 new(std::nothrow) 를 사용하면, 메모리 할당에 실패했을때 예외를 발생시키지 않고 NULL을 리턴하게 됩니다(이것 역시 C++ 표준에 명시되어 있습니다). 결국 new(std::nothrow) 를 사용할 경우에는 맨 위에서 작성했던 잘못된 코드와 유사한 스타일로 예외 처리를 구현할 수 있습니다.

 

 

char* ptr;
ptr = new(std::nothrow) char[0x7ffffffe];
if (!ptr)
{
    ...
}

[출처] [C++] new 연산자의 예외 처리에 대한 오해와 진실|작성자 데브머신