Каков стандартный согласованный способ решить, что будет возвращено чем () из класса, унаследованного от std :: system_error, без дублирования данных?

Я использую класс, унаследованный от std::system_error для обработки ошибок, и я хотел бы контролировать, что возвращается, когда what() называется. Причина: стандарт (как C ++ 11, так и проект C ++ 1y CD — N3690, ссылки на него приведены ниже) не указывает, как именно строка, возвращаемая what() должен выглядеть так: просто укажите в §19.5.6.2 (14):

Примечание. Возвращенный NTBS может быть содержимым what_arg + ": " +
code.message(), — конец примечания

так что это должно считаться зависимым от реализации. (Кстати, не должно быть code().message() вместо code.message()?)

Итак, вопрос: как я могу точно определить строку, которая what() возвращается, если я хочу быть стандартным и не полагаться на реализацию (т.е. хочу быть переносимым)?

Для тех, кто предпочитает код:

class my_class : public std::system_error {
public:
my_class(std::error_code ec, std::string const & what_arg)
: system_error(ec, /* this string is not required to be equal to what is returned by what() */)
{
// ok, try it here
// but what is the name of the member storing the string?
}
const char * what() const noexcept
{
// ok, try it here
// but how to access what_arg in its unaltered form?
}
};

Хорошо, тривиальное решение, которое мне не нравится, может быть следующим:

class my_class : public std::system_error {
std::string my_what;
public:
my_class(std::error_code ec, std::string const & what_arg)
: system_error(ec, what_arg),
my_what( /* construct my what string */ )
{ }
const char * what() const noexcept
{ return my_what.c_str(); }
};

поскольку std::exception::what() Виртуальный, он будет работать, но есть ли более элегантный способ без использования каких-либо деталей реализации? Мне не нравится идея хранить две строки: одну в std::system_error а другой в my_what,

Корень проблемы: std :: runtime_error — который является родительским классом std :: system_error — имеет точное требование в §1.9.2.6 (3), постусловии конструктора:

strcmp(what(), what_arg.c_str()) == 0

Который, в случае std::system_error становится следующим в §19.5.6.2 (2):

string(what()).find(what_arg) != string::npos

Кто-нибудь знает, почему стандарт так старается включить code().message() в what()? Обратите внимание, что code() возвращает объект кода ошибки, так что любой может включить code().message() в строке в любое время (даже в то время, когда ловится исключение этого класса).

Если требование std::system_error был такой же, как std::runtime_errorЯ мог бы просто написать:

class my_class : public std::system_error {
public:
my_class(std::error_code ec, std::string const & what_arg)
: system_error(ec, /* build my what string here */ )
{ }
};

Есть ли элегантное и портативное решение?

ОБНОВИТЬ:
Многие комментарии ниже утверждают, что сообщения об ошибках определяются реализацией. Я понимаю это, я просто хочу формат строка, возвращаемая what()Я не хочу, чтобы он был побайтовым эквивалентом во всех системах. Подумайте только о том, что я хочу записать его или передать третьему лицу, и оно должно соответствовать некоторому фиксированному формату (что не соответствует стандарту).

UPDATE2:
Я считаю, что std :: system_error не только для ошибок ОС или STL. Я могу (и предполагаю) извлечь из него свои собственные классы и использовать их для сообщений об ошибках. Что если я пишу API низкого уровня? Кстати, почему запрещено использовать его в API высокого уровня?

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