En cualquier lenguaje, las excepciones no se generan de forma espontánea, sino que es el propio código el que se encarga de lanzarlas.
Así, por ejemplo, new
lanza una excepción cuando no se puede realizar la reserva solicitada. Simplificando bastante, este sería un posible ejemplo de implementación de new
:
int* new(unsigned int numElementos)
{
int* ptr = (int*)malloc(sizeof(int)*numElementos);
if(ptr == nullptr)
throw std::bad_alloc();
return ptr;
}
En el caso del ejemplo que has puesto, el acceso a un puntero no inicializado no llama a ningún elemento de la librería estándar que pueda generar excepciones. Aquí entra en juego el Sistema Operativo. Los Sistemas Operativos modernos son capaces de monitorizar el acceso a memoria y lanzan errores cuando se intenta acceder a memoria para la cual no se tiene acceso. Debido a que la responsabilidad de provocar un fallo radica en el Sistema Operativo, la solución a aplicar para controlar estos accesos es dependiente del Sistema Operativo sobre el que va a correr la aplicación.
- Como norma general, en Windows este tipo de errores pueden capturarse usando
__try
y __except
. Más información aquí
- En Linux el error se puede capturar escuchando la señal SIGSEV. Una posible solución en este caso, con la idea de gestionar excepciones, es capturar la señal y lanzar la correspondiente excepción:
Ejemplo Windows:
#include <iostream>
#include <windows.h>
#include <excpt.h>
int filter(unsigned int code, struct _EXCEPTION_POINTERS *ep)
{
if (code == EXCEPTION_ACCESS_VIOLATION)
return EXCEPTION_EXECUTE_HANDLER;
return EXCEPTION_CONTINUE_SEARCH;
}
int main()
{
int* ptr = 0;
__try
{
*ptr = 10;
}
__except(filter(GetExceptionCode(), GetExceptionInformation()))
{
std::cout << "Access Violation\n";
}
}
Ejemplo de SIGSEV:
class SigSevException : public std::exception
{
public:
SigSevException () noexcept
: std::exception()
m_what("Segmentation Fault")
{}
SigSevException (const SigSevException &) noexcept = default;
SigSevException& operator= (const SigSevException &) noexcept = default;
virtual ~SigSevException() = default;
const char* what() const noexcept override
{
return m_what.c_str();
}
private:
std::string m_what;
};
void SignalSIGSEV(int signal)
{
std::cerr << "señal SIGSEV lanzada";
throw SigSevException();
}
int main()
{
signal(SIGSEGV , SignalHandler);
try
{
int* ptr;
*ptr = 85;
}
catch(const std::exception& exc)
{
std::cout << exc.what();
}
}
Un saludo.