станд :: Распределитель DEALLOCATE часть памяти

Question

Я читал о C++ распределителей и deallocate функция имеет предложение, что привлекло мое внимание:

Аргумент п должен быть равен первому аргументу вызова выделить() первоначально произведенный р; в противном случае поведение не определено.

Почему это? Почему бы не один DEALLOCATE часть выделенной памяти, глупый пример:

#include <memory> 
#include <string> 


int main() 
{ 

    std::allocator<std::string> alloc; 

    auto const p = alloc.allocate(20); 

    alloc.deallocate(p+10, 10); 

    return 0; 
} 

Answer 1

Некоторые распределители могут быть в состоянии сделать это. Спецификация C++ только говорит, что все реализация абстрактного интерфейса распределителя, Alloc<T>, требуется. Комитет решил не требовать того, о чем вы спрашиваете.

Я не имею C++ Обоснования на этом компьютере, но я подозреваю, что функция вы спрашиваете не требуется, так как функции распределителей памяти C (malloc и free) не могут это сделать, и C++ комитет хотел, чтобы было возможно реализовать библиотеку C++ поверх библиотеки C.

да, realloc может сделать некоторые случаи это, но не все из них