виняток c ++: кидання std :: string

Я хотів би створити виняток, коли мої методи C ++ стикаються з чимось дивним і не можуть відновити. Чи нормально кидати std::stringвказівник?

Ось що я з нетерпінням чекав зробити:

void Foo::Bar() {
    if(!QueryPerformanceTimer(&m_baz)) {
        throw new std::string("it's the end of the world!");
    }
}

void Foo::Caller() {
    try {
        this->Bar(); // should throw
    }
    catch(std::string *caught) { // not quite sure the syntax is OK here...
        std::cout << "Got " << caught << std::endl;
    }
}

Так. std::exceptionє базовим класом винятків у стандартній бібліотеці C ++. Можливо, ви захочете уникати використання рядків як класів винятків, оскільки вони самі можуть створювати винятки під час використання. Якщо це станеться, то де ти будеш?

boost має чудовий документ про хороший стиль для винятків та обробки помилок. Це варто прочитати.

Кілька принципів:

1. у вас є базовий клас std :: виняток, ви повинні мати винятки з нього. Таким чином, обробник загальних винятків все ще має певну інформацію.

2. Не кидайте вказівники, а заперечуйте, таким чином обробляється пам’ять для вас.

Приклад:

struct MyException : public std::exception
{
   std::string s;
   MyException(std::string ss) : s(ss) {}
   ~MyException() throw () {} // Updated
   const char* what() const throw() { return s.c_str(); }
};

А потім використовуйте його у своєму коді:

void Foo::Bar(){
  if(!QueryPerformanceTimer(&m_baz)){
    throw MyException("it's the end of the world!");
  }
}

void Foo::Caller(){
  try{
    this->Bar();// should throw
  }catch(MyException& caught){
    std::cout<<"Got "<<caught.what()<<std::endl;
  }
}

Всі ці роботи:

#include <iostream>
using namespace std;

//Good, because manual memory management isn't needed and this uses
//less heap memory (or no heap memory) so this is safer if
//used in a low memory situation
void f() { throw string("foo"); }

//Valid, but avoid manual memory management if there's no reason to use it
void g() { throw new string("foo"); }

//Best.  Just a pointer to a string literal, so no allocation is needed,
//saving on cleanup, and removing a chance for an allocation to fail.
void h() { throw "foo"; }

int main() {
  try { f(); } catch (string s) { cout << s << endl; }
  try { g(); } catch (string* s) { cout << *s << endl; delete s; }
  try { h(); } catch (const char* s) { cout << s << endl; }
  return 0;
}

Вам слід віддавати перевагу від h до f до g. Зауважте, що в найменш бажаному варіанті вам потрібно явно звільнити пам’ять.

Це працює, але на вашому місці я б цього не зробив. Здається, ви не видаляєте дані купи, коли закінчите, а це означає, що ви створили витік пам'яті. Компілятор С ++ дбає про те, щоб дані винятків залишалися живими, навіть коли стек з'являється, тому не відчувайте, що вам потрібно використовувати купу.

До речі, кидати std::stringне найкращий підхід для початку. Якщо ви використовуєте простий обгортковий об’єкт, у вас буде набагато більше гнучкості. stringНаразі це може просто інкапсулювати а , але можливо, в майбутньому ви захочете включити іншу інформацію, наприклад деякі дані, що спричинили виняток, або, можливо, номер рядка (дуже поширений, що). Ви не хочете змінювати всі свої обробки винятків у кожному місці вашої кодової бази, тому вирушайте зараз по дорозі і не кидайте необроблені предмети.

На додаток до того, що, ймовірно, кидає щось, що походить від std :: виняток, ви повинні кидати анонімні тимчасові і ловити за посиланням:

void Foo::Bar(){
  if(!QueryPerformanceTimer(&m_baz)){
    throw std::string("it's the end of the world!");
  }
}

void Foo:Caller(){
  try{
    this->Bar();// should throw
  }catch(std::string& caught){ // not quite sure the syntax is ok here...
    std::cout<<"Got "<<caught<<std::endl;
  }
}

• Вам слід кидати анонімні тимчасові програми, щоб компілятор мав справу з життям об’єкта, що б ви не кидали - якщо ви викинете щось нове з купи, хтось інший повинен звільнити цю річ.
• Вам слід ловити посилання, щоб запобігти нарізуванню об’єктів

.

Детальніше див. У "Ефективний C ++ - 3-е видання" Мейєра або відвідайте https://www.securecoding.cert.org/.../ERR02-A.+Throw+anonymous+temporaries+and+catch+by+reference

Найпростіший спосіб створити виняток у C ++:

#include <iostream>
using namespace std;
void purturb(){
    throw "Cannot purturb at this time.";
}
int main() {
    try{
        purturb();
    }
    catch(const char* msg){
        cout << "We caught a message: " << msg << endl;
    }
    cout << "done";
    return 0;
}

Це друкує:

We caught a message: Cannot purturb at this time.
done

Якщо ви зловите викинутий виняток, виняток міститься, і програма продовжить роботу. Якщо ви не вловите виняток, програма існує та друкує:

This application has requested the Runtime to terminate it in an unusual way. Please contact the application's support team for more information.

Хоча це запитання досить давнє і на нього вже було дано відповідь, я просто хочу додати примітку про те, як правильно обробляти винятки в C ++ 11 :

Використовуйте std::nested_exceptionтаstd::throw_with_nested

На їх думку, їх використання призводить до більш чистого дизайну винятків і робить непотрібним створення ієрархії класів винятків.

Зауважте, що це дозволяє отримати зворотну трасування ваших винятків всередині коду без необхідності відладчика або громіздкого журналювання. Тут і тут описано на StackOverflow , як написати належний обробник винятків, який перезапустить вкладені винятки.

Оскільки ви можете зробити це з будь-яким похідним класом винятків, ви можете додати багато інформації до такого зворотного відстеження! Ви також можете поглянути на мій MWE на GitHub , де зворотний трас виглядатиме приблизно так:

Library API: Exception caught in function 'api_function'
Backtrace:
~/Git/mwe-cpp-exception/src/detail/Library.cpp:17 : library_function failed
~/Git/mwe-cpp-exception/src/detail/Library.cpp:13 : could not open file "nonexistent.txt"