Исключение инициализации по умолчанию Исключение

Question

Предположим, что у нас есть класс (назовем его classs) конструктором по умолчанию, который может вызвать какое-то исключение. Мне нужно использовать объект этого класса в функции следующим образом:

try{ 
    classs c; 
} catch(bad_init& b){ 
    //log 
} 
//if the class initialized succesfully 
//do some with c 

Но c объявлен в блок определения области try «s и, следовательно, не видна в области видимости функции. Как я могу это сделать?

Я не хочу обертывать тело всей функции, потому что есть какой-то код, бросающий другой вид исключения.

Answer 1

Вы не можете сделать это напрямую. Пока c имеет объем, код имеет право предположить, содержит ли живой объект типа classs. Если конструктор генерирует исключение, c не будет инициализирован и не может быть сохранен.

Правильный способ сделать это - обернуть весь объем c в блоке try. В конце концов, код, который использует c, не может сделать ничего значимого, если c не удалось инициализировать. Если какой-либо другой код позже в этом блоке может отбросить другие исключения, и вы не захотите их поймать, просто не разрешите им распространять стек обычно.

Если вы не можете использовать этот подход по какой-то причине, вы можете прибегнуть к чему-то вроде boost::optional и отсроченной INIT:

boost::optional<classs> c; 
try { 
    c = classs(); 
} catch (bad_init&) { 
} 

Или сделать что-то подобное вручную с std::aligned_storage, размещение new и условный вызов деструктора.

Answer 2

обходной путь заключается в использовании std::unique_ptr:

std::unique_ptr<A> a; 
try{ 
    a = std::make_unique<A>(); 
} catch(bad_init& b){ 
    //log 
} 
if (a){ 
//do 
} 

Answer 3

Я бы просто поймать исключение на уровне вызывающего абонента. Не нужно усложнять ситуацию.

void functionThatThrows() 
{ 
    classs c; 
    // do something with c 
} 

void callerThatCatches() 
{ 
    try { 
     functionThatThrows(); 
    } catch(...) { 
     // handle exception 
    } 
} 

Answer 4

Самый простой способ просто расширить блок TRY, пока вам больше не нужен ваш объект:

try{ 
    classs c; 
    //if the class initialized succesfully 
    //do some with c 
} catch(bad_init& b){ 
    //log 
}