¿Es seguro eliminar un puntero NULL?

¿Es seguro eliminar un puntero NULL?

¿Y es un buen estilo de codificación?

deleterealiza la verificación de todos modos, por lo que verificarlo en su lado agrega sobrecarga y se ve más feo. Una muy buena práctica es establecer el puntero en NULL después delete(ayuda a evitar la eliminación doble y otros problemas de corrupción de memoria similares).

También me encantaría si, deletepor defecto, estableciera el parámetro en NULL como en

#define my_delete(x) {delete x; x = NULL;}

(Sé acerca de los valores R y L, pero ¿no sería bueno?)

Del borrador de C ++ 0x Standard.

$ 5.3.5 / 2 - "[...] En cualquiera de las alternativas, el valor del operando de delete puede ser un valor de puntero nulo. [... '"

Por supuesto, nadie 'borraría' un puntero con valor NULL, pero es seguro hacerlo. Idealmente, uno no debería tener un código que borre un puntero NULL. Pero a veces es útil cuando la eliminación de punteros (por ejemplo, en un contenedor) ocurre en un bucle. Dado que la eliminación de un valor de puntero NULL es segura, realmente se puede escribir la lógica de eliminación sin verificaciones explícitas para eliminar el operando NULL.

Por otro lado, C Standard $ 7.20.3.2 también dice que 'gratis' en un puntero NULL no hace ninguna acción.

La función libre hace que el espacio al que apunta ptr se desasigne, es decir, esté disponible para una asignación adicional. Si ptr es un puntero nulo, no se produce ninguna acción.

Si es seguro

No hay daño en eliminar un puntero nulo; a menudo reduce el número de pruebas en la cola de una función si los punteros no asignados se inicializan a cero y luego simplemente se eliminan.

Dado que la oración anterior ha causado confusión, un ejemplo, que no es una excepción segura, de lo que se describe:

void somefunc(void)
{
    SomeType *pst = 0;
    AnotherType *pat = 0;

    …
    pst = new SomeType;
    …
    if (…)
    {
        pat = new AnotherType[10];
        …
    }
    if (…)
    {
        …code using pat sometimes…
    }

    delete[] pat;
    delete pst;
}

Hay todo tipo de liendres que se pueden elegir con el código de muestra, pero el concepto es (espero) claro. Las variables de puntero se inicializan a cero para que las deleteoperaciones al final de la función no necesiten probar si no son nulas en el código fuente; el código de la biblioteca realiza esa verificación de todos modos.

Eliminar un puntero nulo no tiene ningún efecto. No es un buen estilo de codificación necesariamente porque no es necesario, pero tampoco está mal.

Si está buscando buenas prácticas de codificación, considere usar punteros inteligentes en su lugar, por lo que no es necesario delete.

Para complementar la respuesta de ruslik , en C ++ 14 puede usar esta construcción:

delete std::exchange(heapObject, nullptr);

Es seguro a menos que haya sobrecargado el operador de eliminación. si sobrecargó el operador de eliminación y no maneja la condición nula, no es seguro en absoluto.

He experimentado que es no seguro (VS2010) para borrar [] NULL (es decir, la sintaxis de array). No estoy seguro de si esto está de acuerdo con el estándar C ++.

Que es seguro para borrar NULL (sintaxis escalar).