Як викинути std :: винятки зі змінними повідомленнями?

Це приклад того, що я часто роблю, коли хочу додати якусь інформацію до виключення:

std::stringstream errMsg;
errMsg << "Could not load config file '" << configfile << "'";
throw std::exception(errMsg.str().c_str());

Чи є кращий спосіб це зробити?

Ось моє рішення:

#include <stdexcept>
#include <sstream>

class Formatter
{
public:
    Formatter() {}
    ~Formatter() {}

    template <typename Type>
    Formatter & operator << (const Type & value)
    {
        stream_ << value;
        return *this;
    }

    std::string str() const         { return stream_.str(); }
    operator std::string () const   { return stream_.str(); }

    enum ConvertToString 
    {
        to_str
    };
    std::string operator >> (ConvertToString) { return stream_.str(); }

private:
    std::stringstream stream_;

    Formatter(const Formatter &);
    Formatter & operator = (Formatter &);
};

Приклад:

throw std::runtime_error(Formatter() << foo << 13 << ", bar" << myData);   // implicitly cast to std::string
throw std::runtime_error(Formatter() << foo << 13 << ", bar" << myData >> Formatter::to_str);    // explicitly cast to std::string

Стандартні винятки можуть бути побудовані з std::string:

#include <stdexcept>

char const * configfile = "hardcode.cfg";
std::string const anotherfile = get_file();

throw std::runtime_error(std::string("Failed: ") + configfile);
throw std::runtime_error("Error: " + anotherfile);

Зверніть увагу , що базовий клас std::exceptionможе НЕ бути сконструйований таким чином , ; ви повинні використовувати один з конкретних, похідних класів.

Існують різні виключення , такі як runtime_error, range_error, overflow_error, logic_errorі т.д .. Вам потрібно передати рядок в його конструктор, і ви можете об'єднати всі , що ви хочете , щоб ваше повідомлення. Це просто струнна операція.

std::string errorMessage = std::string("Error: on file ")+fileName;
throw std::runtime_error(errorMessage);

Ви також можете використовувати boost::formatтак:

throw std::runtime_error(boost::format("Error processing file %1") % fileName);

Наступний клас може стати дуже зручним:

struct Error : std::exception
{
    char text[1000];

    Error(char const* fmt, ...) __attribute__((format(printf,2,3))) {
        va_list ap;
        va_start(ap, fmt);
        vsnprintf(text, sizeof text, fmt, ap);
        va_end(ap);
    }

    char const* what() const throw() { return text; }
};

Приклад використання:

throw Error("Could not load config file '%s'", configfile.c_str());

Використовувати оператор рядкових літер, якщо C ++ 14 ( operator ""s)

using namespace std::string_literals;

throw std::exception("Could not load config file '"s + configfile + "'"s);

або визначте власне, якщо в C ++ 11. Наприклад

std::string operator ""_s(const char * str, std::size_t len) {
    return std::string(str, str + len);
}

Ваша заява про кидок буде виглядати приблизно так

throw std::exception("Could not load config file '"_s + configfile + "'"_s);

що виглядає красиво і чисто.

Дійсно приємнішим способом було б створення класу (або класів) для винятків.

Щось на зразок:

class ConfigurationError : public std::exception {
public:
    ConfigurationError();
};

class ConfigurationLoadError : public ConfigurationError {
public:
    ConfigurationLoadError(std::string & filename);
};

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

а) Можливо, потрібно знати конкретну причину

} catch (const ConfigurationLoadError & ex) {
// ...
} catch (const ConfigurationError & ex) {

а) інший не хоче знати деталі

} catch (const std::exception & ex) {

Ви можете знайти натхнення на цю тему на https://books.google.ru/books?id=6tjfmnKhT24C Глава 9

Крім того , ви можете надати для користувача повідомлення теж, але будьте обережні - це не безпечно , щоб скласти повідомлення з будь-яким std::stringабо std::stringstreamабо будь-яким іншим способом , який може викликати виключення .

Як правило, немає різниці, розподіляєте ви пам'ять (працюйте з рядками в C ++) в конструкторі винятку або безпосередньо перед викиданням - std::bad_allocвиняток можна кинути перед тим, який ви дійсно хочете.

Отже, буфер, виділений на стеку (як у відповіді Максима), є більш безпечним способом.

Це дуже добре пояснюється на веб- сайті http://www.boost.org/community/error_handling.html

Отже, приємнішим способом було б конкретний тип винятку і уникати складання відформатованого рядка (принаймні, під час перекидання).

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

class MyRunTimeException: public std::runtime_error
{
public:
      MyRunTimeException(const std::string &filename):std::runtime_error(GetMessage(filename)) {}
private:
      static std::string GetMessage(const std::string &filename)
     {
           // Do your message formatting here. 
           // The benefit of returning std::string, is that the compiler will make sure the buffer is good for the length of the constructor call
           // You can use a local std::ostringstream here, and return os.str()
           // Without worrying that the memory is out of scope. It'll get copied
           // You also can create multiple GetMessage functions that take all sorts of objects and add multiple constructors for your exception
     }
}

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

Може, це?

throw std::runtime_error(
    (std::ostringstream()
        << "Could not load config file '"
        << configfile
        << "'"
    ).str()
);

Він створює тимчасовий ostringstream, викликає << операторів за необхідності, а потім ви загортаєте це у круглі дужки та викликаєте функцію .str () на оцінений результат (який є ostringstream) для передачі тимчасової строки std :: string в конструктор runtime_error.

Примітка: ostringstream і string є тимчасовими значеннями r, тому вони виходять із рамки після закінчення цього рядка. Конструктор вашого об’єкта винятку ОБОВ'ЯЗКОВО повинен приймати рядок введення, використовуючи копію або (краще) переміщення семантики.

Додатково: Я не обов'язково вважаю цей підхід "найкращою практикою", але він працює і може бути використаний на дрібниці. Одне з найбільших проблем полягає в тому, що цей метод вимагає виділення купи і тому оператор << може кидати. Ви, мабуть, не хочете, щоб це сталося; однак, якщо ви потрапите в цей стан, у вас, ймовірно, є більше проблем, щоб турбуватися!