Je code une petite bibliothèque et j'ai des problèmes avec la conception de la gestion des exceptions. Je dois dire que je suis (encore) confus par cette fonctionnalité du langage C ++ et j'ai essayé de lire autant que possible sur le sujet pour comprendre ce que je devrais faire pour travailler correctement avec les classes d'exception.
J'ai décidé d'utiliser un system_error
type d'approche en m'inspirant de l'implémentation STL de la future_error
classe.
J'ai une énumération contenant les codes d'erreur:
enum class my_errc : int
{
error_x = 100,
error_z = 101,
error_y = 102
};
et une seule classe d'exception (soutenue par un error_category
type de structures et tout le reste nécessaire au system_error
modèle):
// error category implementation
class my_error_category_impl : public std::error_category
{
const char* name () const noexcept override
{
return "my_lib";
}
std::string message (int ec) const override
{
std::string msg;
switch (my_errc(ec))
{
case my_errc::error_x:
msg = "Failed 1.";
break;
case my_errc::error_z:
msg = "Failed 2.";
break;
case my_errc::error_y:
msg = "Failed 3.";
break;
default:
msg = "unknown.";
}
return msg;
}
std::error_condition default_error_condition (int ec) const noexcept override
{
return std::error_condition(ec, *this);
}
};
// unique instance of the error category
struct my_category
{
static const std::error_category& instance () noexcept
{
static my_error_category_impl category;
return category;
}
};
// overload for error code creation
inline std::error_code make_error_code (my_errc ec) noexcept
{
return std::error_code(static_cast<int>(ec), my_category::instance());
}
// overload for error condition creation
inline std::error_condition make_error_condition (my_errc ec) noexcept
{
return std::error_condition(static_cast<int>(ec), my_category::instance());
}
/**
* Exception type thrown by the lib.
*/
class my_error : public virtual std::runtime_error
{
public:
explicit my_error (my_errc ec) noexcept :
std::runtime_error("my_namespace ")
, internal_code(make_error_code(ec))
{ }
const char* what () const noexcept override
{
return internal_code.message().c_str();
}
std::error_code code () const noexcept
{
return internal_code;
}
private:
std::error_code internal_code;
};
// specialization for error code enumerations
// must be done in the std namespace
namespace std
{
template <>
struct is_error_code_enum<my_errc> : public true_type { };
}
Je n'ai qu'un petit nombre de situations dans lesquelles je lève des exceptions illustrées par l'énumération du code d'erreur.
Ce qui précède ne s'est pas bien passé avec l'un de mes critiques. Il était d'avis que j'aurais dû créer une hiérarchie de classes d'exceptions avec une classe de base dérivée de std::runtime_error
parce que le code d'erreur intégré dans la condition mélange les choses - exceptions et codes d'erreur - et il serait plus fastidieux de traiter un point de manutention; la hiérarchie des exceptions permettrait également une personnalisation facile du message d'erreur.
Un de mes arguments était que je voulais rester simple, que ma bibliothèque n'avait pas besoin de lancer plusieurs types d'exceptions et que la personnalisation est également facile dans ce cas car elle est gérée automatiquement - elle error_code
a un error_category
associé qui traduit le code au message d'erreur approprié.
Je dois dire que je n'ai pas bien défendu mon choix, témoignant du fait que j'ai encore des malentendus concernant les exceptions C ++.
Je voudrais savoir si mon design a du sens. Quels seraient les avantages de l'autre méthode par rapport à celle que j'ai choisie car je dois admettre que je ne vois pas cela aussi? Que pourrais-je faire pour m'améliorer?