Как я могу избежать использования исключений в C++?

Question

Какие методы я могу использовать для исключения исключений на C++, как указано в Google's style guide?

Answer 1

1. не бросать исключения.
2. не следует использовать STL (что в значительной степени опирается на исключения).
3. используйте только new(std::nothrow) или переопределить ::operator new для возврата 0 при ошибке.

Обратите внимание, что, избегая исключений, вы эффективно выбрасываете множество полезных библиотек, включая Boost. В принципе, вам придется программировать все с нуля.

Answer 2

В руководстве по стилю говорится, что они «не используют исключения», а именно: они не бросают их и не называет ничего, что могло бы их выбросить (например, они использовали бы new(std::nothrow) вместо обычного new потому что последний будет бросать bad_alloc, когда он не в состоянии выделить память.

Answer 3

В некоторых компиляторах вы можете отключить обработку исключений. Это может привести к неожиданным результатам с внешним кодом, хотя это не то, что я хотел бы попробовать.

Кроме того, очевидно, первый шаг был бы избежать бросать исключения из вашего собственного кода, вероятно, с либеральным использованием nothrow directive, и попытаться избежать бросать исключения из внешнего (третьей стороны) кода через defensive programming.

Это означает, что ваш код должен постоянно знать о возможных внешних исключительных условиях отказа, таких как нехватка памяти, нехватка места на диске, потеря подключения к Интернету, отказ оборудования и любое количество других обстоятельств что может вызвать код для броска ...

В некоторых случаях вы можете использовать исключительные версии некоторого кода (например, бросать новые или не бросать новые).

Answer 4

Отбрасывание исключений в вашем собственном коде относительно просто: вы просто не используете оператор throw.

Не бросать исключения из ошибки выделения памяти является немного более болезненным: либо вы не используете нормальный new (используйте new(std::nothrow) или malloc или что-то вместо этого), или использовать какой-то нестандартный параметр компилятора, чтобы заставить его сделать что-то нестандартное, когда он не работает (например, немедленно завершите свою программу или верните 0), или вы переопределите operator new, чтобы сделать что-то нестандартное, когда оно не работает.

Если ваш выбранный подход заключается в немедленном прекращении программы, вы можете реализовать это с помощью set_new_handler(), о котором я забыл до тех пор, пока лампочка не напомнила мне.

Это не позволяет справиться с исключениями, генерируемыми библиотеками C++, которые вы не поддерживаете. Как правило, вам придется обернуть библиотечные вызовы в обертке, которая выглядит примерно так:

int DoSomething(int &output, const int input) throw() { 
    try { 
    output = library_do_something(input); 
    return 1; 
    } catch (...) { 
    return 0; 
    } 
} 

The catch (...) уловы все возможные C++ исключением из library_do_something (а также оператора присваивания на output, который не имеет отношения здесь), выбрасывает всю информацию, которую они могут содержать, а затем отображает все эти ошибки до 0.

Обратите внимание, что этот стиль означает, что вы вообще не можете использовать RAII, даже немного, потому что у вас нет возможности сообщить об ошибке в конструкторе. Весь смысл RAII в том, что вы приобретаете все свои ресурсы внутри конструкторов, чтобы они были должным образом выпущены деструктором во время распространения исключения. Но приобретение ресурсов - это то, что может по существу всегда терпеть неудачу. Поэтому вы не можете сделать это внутри конструктора.

Answer 5

Мне интересно узнать, почему нужно избегать исключений на C++ и какой механизм их заменит, чтобы справиться с реальностью неожиданного сбоя, сохраняя при этом приличную структуру.

Несомненно, добавление их в существующую кодовую базу, которая не использует семантику типа RAII, является чрезвычайно дорогостоящей, но если вы делаете разработку зеленого поля, то какую альтернативу вы бы предложили и как оправдать использование некачественных библиотек, которые делают используйте исключения вместо написания собственных исключений бесплатно/без ошибок?