Punteros

Manipulación segura de punteros.

Funciones

La librería sewer proporciona macros y funciones para la manipulación "segura" de punteros. Por "seguro" entendemos el hecho de que el SDK detectará el acceso indebido a un puntero justamente antes de que se produzca una violación de segmento. ¿Que sentido tiene detectar accesos indebidos a memoria, si el programa va a fallar de todos modos? La detección previa juega un papel muy importante al ejecutar tests automatizados. Antes del inevitable cierre del proceso, dejará un apunte en el registro de ejecución log.txt, indicando el motivo del cierre.

• Utiliza ptr_get para obtener el contenido de un puntero.

1 2 3 4 5 6 7 8

// v2 = NULL // Segmentation fault V2Df v1 = *v2; // "v2 is NULL in file::line" // will be record in log.txt // and then, Segmentation fault V2Df v1 = ptr_get(v2, V2Df);

ptr_get ()

Acceso al contenido del puntero (dereferencia), verificando previamente que no sea NULL.

void
ptr_get(type *ptr,
        type);

1
2
3
4
5
6

void compute(const V2Df *v1, const V2Df *v2)
{
    /* Safer than t = *v1; */
    V2Df t = ptr_get(v1, V2Df);
    ...
}

ptr_dget ()

Accede al contenido de un doble puntero, invalidándolo posteriormente.

void
ptr_dget(type **ptr,
         type);

1
2
3
4
5
6
7
8
9

Ctrl *create(Model **model, View **view)
{
    Ctrl *ctrl = heap_new(Ctrl);
    ctrl->model = ptr_dget(model, Model);
    ctrl->view = ptr_dget(view, View);
    // *model = NULL
    // *view = NULL
    return ctrl;
}

ptr_dget_no_null ()

Igual que ptr_dget, pero el contenido del double puntero (*dptr) no puede ser NULL.

void
ptr_dget_no_null(type **ptr,
                 type);

1
2
3
4
5
6
7
8

Ctrl *create(Model **model, View **view)
{
    // *model and *view can't be NULL
    Ctrl *ctrl = heap_new(Ctrl);
    ctrl->model = ptr_dget_no_null(model, Model);
    ctrl->view = ptr_dget_no_null(view, View);
    return ctrl;
}

ptr_assign ()

Asigna el contenido de un puntero a otro, si el destino no es NULL.

void
ptr_assign(dest,
           src);

ptr_destopt ()

Destruye un objeto, si no es NULL.

void
ptr_destopt(FPtr_destroy func_destroy,
            type dptr,
            type);

1
2
3
4
5
6

cassert_no_null(dptr);
if (*dptr != NULL)
{
    func_destroy(*dptr);
    *dptr = NULL;
}

ptr_copyopt ()

Copia el objeto si no es NULL.

void
ptr_copyopt(FPtr_copy func_copy,
            type ptr,
            type);

1
2
3
4

if (ptr != NULL)
    return func_copy(ptr);
else
    return NULL;