Я использую библиотеку кодов ошибок С++ 11 system_error
, чтобы создать собственный класс ошибок для библиотеки, которую я создаю. Я делал это раньше с boost::error_code
, но я не могу заставить его работать с std::error_code
. Я использую GCC 4.6.
В принципе, я изложил весь код шаблона для создания класса ошибок, error_category и процедур преобразования в пространстве имен STD для преобразования моих пользовательских перечислений в объект std::error_code
:
namespace mylib
{
namespace errc {
enum my_error
{
failed = 0
};
inline const char* error_message(int c)
{
static const char* err_msg[] =
{
"Failed",
};
assert(c < sizeof(err_msg) / sizeof(err_msg[0]));
return err_msg[c];
}
class my_error_category : public std::error_category
{
public:
my_error_category()
{ }
std::string message(int c) const
{
return error_message(c);
}
const char* name() const { return "My Error Category"; }
const static error_category& get()
{
const static my_error_category category_const;
return category_const;
}
};
} // end namespace errc
} // end namespace mylib
namespace std {
inline error_code make_error_code(mylib::errc::my_error e)
{
return error_code(static_cast<int>(e), mylib::errc::my_error_category::get());
}
template<>
struct is_error_code_enum<mylib::errc::my_error>
: std::true_type
{ };
Проблема заключается в том, что неявное преобразование между моими кодами ошибок и объектами std::error_code
, похоже, не работает, поэтому я не могу, например, попробовать и сравнить экземпляр std::error_code
с литералами перечисления:
int main()
{
std::error_code ec1 = std::make_error_code(mylib::errc::failed); // works
std::error_code ec2 = mylib::errc::failed; // doesn't compile
bool result = (ec2 == mylib::errc::failed); // doesn't compile
}
Выражение ec2 == mylib::errc::failed
не будет компилироваться - я должен сказать ec2 == std::make_error_code(mylib::errc::failed)
.
Ошибка, испускаемая компилятором:
In file included from test6.cc:3:0:
/usr/include/c++/4.6/system_error: In constructor ‘std::error_code::error_code(_ErrorCodeEnum, typename std::enable_if<std::is_error_code_enum<_ErrorCodeEnum>::value>::type*) [with _ErrorCodeEnum = mylib::errc::my_error, typename std::enable_if<std::is_error_code_enum<_ErrorCodeEnum>::value>::type = void]’:
test6.cc:70:37: instantiated from here
/usr/include/c++/4.6/system_error:127:9: error: cannot convert ‘mylib::errc::my_error’ to ‘std::errc’ for argument ‘1’ to ‘std::error_code std::make_error_code(std::errc)’
И здесь Идеальная ссылка.
Итак, почему это не работает? Нужен ли мне дополнительный шаблонный код, чтобы позволить mylib::errc::my_error
перечислениям быть неявно конвертируемыми в std::error_code
? Я думал, что специализация std::make_error_code
позаботится об этом?