operador new, operador new[]

Asigna el número de bytes requerido. Estas funciones de asignación se llaman por las expresiones new para asignar memoria en la cual se inicializa un nuevo objeto . También pueden llamarse usando la sintaxis de llamada a función regular.

[editar] Parámetros

[editar] Valor de retorno

[editar] Excepciones

[editar] Reemplazos globales

Las versiones (1-4) se declaran implícitamente en cada unidad de traducción aun cuando el archivo de encabezado <new> no se incluya. Las versiones (1-8) son reemplazables: una función miembro proporcionada por el usuario con la misma signatura definida en cualquier parte del programa, en cualquier archivo fuente, reemplaza a la versión por defecto. Su declaración no necesita ser visible.

El comportamiento es indefinido si se proporciona más de un reemplazo en el programa para cualquier función de asignación reemplazable, o si un reemplazo se define con el especificador inline. El programa está mal formado si se define un reemplazo en un espacio de nombres que no sea el espacio de nombres global, o si se define como una función estática no miembro en el ámbito global.

#include <cstdio>
#include <cstdlib>
#include <new>
// reemplazo de un conjunto mínimo de funciones:
void* operator new(std::size_t sz) {
    std::printf("se ha llamado al op new global, size = %zu\n", sz);
    void *ptr = std::malloc(sz);
    if (ptr)
        return ptr;
    else
        throw std::bad_alloc{};
}
void operator delete(void* ptr) noexcept
{
    std::puts("se ha llamado al op delete global");
    std::free(ptr);
}
int main() {
     int* p1 = new int;
     delete p1;
 
     int* p2 = new int[10]; // se garantiza que llama al reemplazo en C++11
     delete[] p2;
}

se ha llamado al op new global, size = 4
se ha llamado al op delete global
se ha llamado al op new global, size = 40
se ha llamado al op delete global

Las sobrecargas de operator new y operator new[] con parámetros adicionales definidos por el usuario ("los formatos de ubicación", versiones (11-14)) pueden declararse en el ámbito global como es habitual, y se llaman por los formatos de ubicación de expresiones new coincidentes.

Los formatos de ubicación del operador new de la biblioteca estándar que no asignan (9-10), no pueden reemplazarse y solamente pueden ser personalizados si la expresión new de ubicación no utilizó la nueva sintaxis ::new, al proporcionar un new de ubicación específico de la clase (19,20) con una signatura coincidente: void* T::operator new(size_t, void*) o void* T::operator new[](size_t, void*).

[editar] Sobrecargas específicas de la clase

Las funciones de asignación de memoria tanto de objetos únicos como arrays pueden definirse como funciones miembro estáticas públicas de una clase (versiones (15-18)). Si se definen, estas funciones de asignación se llaman por las expresiones new para asignar memoria para objetos únicos y arrays de esa clase, a menos que la expresión new haya utilizado el formato ::new, que pasa por alto la búsqueda en el ámbito de la clase. La palabra clave static es opcional para estas funciones: independientemente de si se usa o no, la función de asignación es una función miembro estática.

La expresión new busca el nombre de la función de asignación apropiada primero en el ámbito de la clase, y después en el ámbito global. Observa que debido a las reglas de búsqueda de nombres, cualquier función de asignación declarada en el ámbito de la clase oculta todas las funciones de asignación globales para las expresiones new que intenten asignar objetos de esta clase.

#include <iostream>
// funciones de asignación específicas de la clase
struct X {
    static void* operator new(std::size_t sz)
    {
        std::cout << "new personalizado con " << sz << " bytes" << '\n';
        return ::operator new(sz);
    }
    static void* operator new[](std::size_t sz)
    {
        std::cout << "new personalizado con " << sz << " bytes" << '\n';
        return ::operator new(sz);
    }
};
int main() {
     X* p1 = new X;
     delete p1;
     X* p2 = new X[10];
     delete[] p2;
}

new personalizado con 1 bytes
new personalizado con 10 bytes

Las sobrecargas de operator new y operator new[] con parámetros adicionales definidos por el usuario ("formatos de ubicación"), también pueden definirse como miembros de la clase (19-22)). Cuando la expresión new con la signatura coincidente busca la función de asignación correspondiente para llamarla, comienza en el ámbito de la clase antes de examinar el ámbito global, y si se proporciona un new de ubicación específico de la clase, se llama.

#include <stdexcept>
#include <iostream>
struct X {
    X() { throw std::runtime_error(""); }
    // new de ubicación personalizado
    static void* operator new(std::size_t sz, bool b) {
        std::cout << "se ha llamado a new de ubicación personalizado, b = " << b << '\n';
        return ::operator new(sz);
    }
    // delete de ubicación personalizado
    static void operator delete(void* ptr, bool b)
    {
        std::cout << "se ha llamado a delete de ubicación personalizado, b = " << b << '\n';
        ::operator delete(ptr);
    }
};
int main() {
   try {
     X* p1 = new (true) X;
   } catch(const std::exception&) { }
}

se ha llamado a new de ubicación personalizado, b = 1
se ha llamado a delete de ubicación personalizado, b = 1

Si operator new al nivel de la clase es una plantilla de función, debe tener un tipo de retorno de void*, el primer argumento debe ser std::size_t, y debe tener dos o más parámetros. En otras palabras, solamente los formatos de ubicación pueden ser plantillas.

[editar] Véase también

[editar] Referencias