std:: realloc

Перераспределяет заданную область памяти ( неявно создавая объекты в области назначения). Она должна быть ранее выделена с помощью std::malloc , std::calloc или std::realloc и еще не освобождена с помощью std::free , в противном случае результат не определен.

Перераспределение выполняется одним из следующих способов:

Если недостаточно памяти, старый блок памяти не освобождается и возвращается нулевой указатель.

Если ptr является нулевым указателем, поведение эквивалентно вызову std:: malloc ( new_size ) .

Если new_size равен нулю, поведение определяется реализацией: может быть возвращен нулевой указатель (в этом случае старый блок памяти может быть освобожден или не освобожден) или может быть возвращен некоторый ненулевой указатель, который нельзя использовать для доступа к памяти. Такое использование объявлено устаревшим (через C DR 400 ). (начиная с C++20)

Параметры

Возвращаемое значение

При успешном выполнении возвращает указатель на начало вновь выделенной памяти. Чтобы избежать утечки памяти, возвращаемый указатель должен быть освобожден с помощью std::free или std::realloc . Исходный указатель ptr становится недействительным, и любое обращение к нему является неопределенным поведением (даже если перераспределение памяти произошло на месте).

При неудаче возвращает нулевой указатель. Исходный указатель ptr остается действительным и может потребовать освобождения с помощью std::free .

Примечания

Поскольку перераспределение может включать побайтовое копирование (независимо от того, расширяется или сжимается область), необходимо (но недостаточно), чтобы эти объекты были типа TriviallyCopyable .

Некоторые нестандартные библиотеки определяют трейт типа "BitwiseMovable" или "Relocatable", который описывает тип, не имеющий:

• внешние ссылки (например, узлы списка или дерева, содержащие ссылку на другой элемент), и
• внутренние ссылки (например, указатель-член, который может содержать адрес другого члена).

Объекты такого типа могут быть доступны после перераспределения их хранилища, даже если их конструкторы копирования не являются тривиальными.

Пример

#include <cassert>
#include <cstdlib>
#include <new>
class MallocDynamicBuffer
{
    char* p;
public:
    explicit MallocDynamicBuffer(std::size_t initial = 0) : p(nullptr)
    {
        resize(initial);
    }
    ~MallocDynamicBuffer() { std::free(p); }
    void resize(std::size_t newSize)
    {
        if (newSize == 0) // эта проверка не строго необходима,
        {
            std::free(p); // но realloc нулевого размера устарел в C
            p = nullptr;
        }
        else
        {
            if (void* mem = std::realloc(p, newSize))
                p = static_cast<char*>(mem);
            else
                throw std::bad_alloc();
        }
    }
    char& operator[](size_t n) { return p[n]; }
    char operator[](size_t n) const { return p[n]; }
};
int main()
{
    MallocDynamicBuffer buf1(1024);
    buf1[5] = 'f';
    buf1.resize(10); // уменьшение
    assert(buf1[5] == 'f');
    buf1.resize(1024); // увеличение
    assert(buf1[5] == 'f');
}

Смотрите также