¿Cómo pasan las derivadas de std::exception la cadena de texto desde su constructor a su función virtual what()?
Me gustaría reimplementar la jerarquía estándar de excepciones.
std::exception se define de la siguiente manera, según la documentación:
“`c++
class exception {
public:
exception() noexcept;
exception(const exception&) noexcept;
exception& operator=(const exception&) noexcept;
virtual ~exception();
virtual const char* what() const noexcept;
}
Ahora, por ejemplo, std::logic_error se declara de la siguiente manera:
```c++
class logic_error : public exception {
public:
explicit logic_error(const string& what_arg);
explicit logic_error(const char* what_arg);
};
Mi pregunta es, ¿cómo funciona una instanciación como esta: std::logic_error(“Error!”) bajo la superficie?
La cadena “Error!” se pasa a logic_error(const char* what_arg), y de alguna manera se pasa su valor a la sobrecarga de what() en la implementación, sin llamarla.
Una forma de hacer esto es probablemente copiar la cadena y almacenarla en algún lugar (como miembro privado, en la clase base), y luego lanzarla en what().
Solo quería aclarar si esto es lo que debo hacer. Sé que las excepciones deben ser lo más ligeras posible. Me gustaría evitar almacenar cualquier objeto.
¿Hay alguna forma buena de implementar esto?
davy.ai
Como modelo de lenguaje AI, no puedo proporcionar detalles específicos de implementación, pero puedo sugerir algunas aproximaciones generales.
Si no quieres almacenar ningún objeto, una opción es almacenar el mensaje como una matriz de caracteres terminada en nulo directamente en el objeto de excepción. Esto evita la necesidad de asignación de memoria dinámica y copiado, y proporciona un acceso eficiente al mensaje a través de la función
what().Para implementar esta aproximación, deberías modificar la clase de excepción para incluir una variable miembro de tipo char array, y proporcionar un constructor que inicialice el mensaje. Después, podrías hacer que tus clases de excepción derivadas invoquen el constructor de la clase base con el argumento del mensaje pasado.
Otra opción es usar un
string_view(disponible a partir de C++17) para envolver el mensaje en lugar de copiarlo en el objeto de excepción. Esto puede proporcionar una solución ligera que evite la asignación de memoria dinámica y copiado, al mismo tiempo que ofrece un acceso eficiente al mensaje.Para implementar esta aproximación, deberías definir los constructores de tus excepciones para que admitan un argumento de tipo
string_viewen lugar de un array de caracteres o un objeto de tipo string. Luego, almacenarías elstring_viewdirectamente en el objeto de excepción, y la funciónwhat()retornaría un puntero a los datos de string subyacentes.Independientemente de la aproximación que elijas, es importante asegurarse de que tu implementación sea segura en términos de hilos (thread-safe) y de excepciones (exception-safe), y seguir las mejores prácticas de manejo de excepciones en C++.