¿Cómo invoco la versión de eliminación de nothrow?

Question

tengo el siguiente código, que no se compila:

int *p = new(nothrow) int; 
delete (nothrow) p; //Error 

El error que consigo es:

error C2440: 'eliminar': no ​​se puede convertir de 'const std :: nothrow_t' 'nulo *'

¿Existe una versión nothrow de delete? Si es así, ¿cómo puedo invocarlo?

---

En C++: La referencia completa, se da porque existe pero vi diferentes opiniones en línea, de ahí la confusión.

MSDN también habla de su existencia, pero no pude encontrar cómo se puede usar en el código.

Here, algunas personas dicen que no existe tal cosa.

Answer 1

A std::nothrow_t existe la función de desasignación, pero no se puede llamar con una expresión delete.

La función de desasignación está ahí para completarla. Si una expresión new falla debido a una excepción, el compilador necesita liberar la memoria que asignó a través de operator new con una llamada correspondiente al operator delete. Entonces debe haber un operator delete que acepte un std::nothrow_t, para permitir esto.

(Es decir, en general, una expresión new con la forma new (args...) T va a asignar memoria con una llamada a operator new(sizeof(T), args...). Para "partido" se refiere a llamar operator delete con los mismos argumentos, excepto la primera.)

Nota puede llamar al operador directamente: operator delete(memory, std::nothrow);. Sin embargo, una expresión delete nunca llama a una función de desasignación global con parámetros adicionales.

---

Así se puede "llamar" con:

struct always_throw 
{ 
    always_throw() { throw std::exception(); } 
}; 

new (std::nothrow) always_throw; 

En algún momento, esto va a asignar memoria con una llamada a:

void* __memory = operator new(sizeof(always_throw), std::nothrow); 

Desde la inicialización del objeto tiros , el compilador necesita liberar la memoria asignada con una función de desasignación correspondiente, por lo que hace:

operator delete(__memory, std::nothrow); 

Llamando a la versión std::nothrow_t.

Answer 2

No existe tal forma de delete, porque delete no tira, ya que:

1. no realiza ninguna asignación.
2. ¡Se usa a menudo en destructores que no deberían arrojarse!

Los elementos creados con la versión nothrow de new, devolverán NULL en lugar de arrojar una excepción bad_alloc. Usar delete en NULL es perfectamente válido, por lo que no hay ninguna situación en la que deba arrojarse.

Answer 3

Para la mayoría de los propósitos prácticos, solo hay una versión de eliminar. El new(nothrow) está escrito como un nuevo operador de ubicación, pero en su mayor parte, no hay una versión correspondiente para eliminar. La única excepción es una versión de eliminación que se invoca cuando se lanza una ubicación nueva, pero como (en este caso) ha asegurado que el new no puede arrojarse, esa versión de eliminación no es de uso real/ayuda aquí.