Boost.Pool: различия между версиями

Содержимое удалено Содержимое добавлено
/* Утверждение 2: Любой блок памяти, выделенный как массив символов с помощью оператора new[] (здесь и далее - блок), имеет правильное выравн…
Строка 437:
* [3.7.3.1/2] (Основные концепции::Продолжительность хранения::Продолжительность динамического хранения::Функции выделения) "... Возвращаемый указатель должен быть подходящим образом выравнен таким образом, чтобы мог быть преобразован в указатель на любой объект завершенного типа и затем использован для доступа к объекту или массиву в выделенном хранилище ..." <br />
* [5.3.4/10] (Expressions::Unary expressions::New) "... For arrays of char and unsigned char, the difference between the result of the new-expression and the address returned by the allocation function shall be an integral multiple of the most stringent alignment requirement (3.9) of any object type whose size is no greater than the size of the array being created. [Note: Because allocation functions are assumed to return pointers to storage that is appropriately aligned for objects of any type, this constraint on array allocation overhead permits the common idiom of allocating character arrays into which objects of other types will later be placed."
* [5.3.4/10] (Выражения::Унарные выражения::New) "... Для массивов типов char и unsigned char, разница между результатом new-выражения и адресом, возвращаемомвозвращаемым функцией выделения должендолжна быть shall be an integral multipleцелым, ofкратным theнаиболее mostстрогим stringentтребованиям alignmentк requirementвыравниванию (3.9) ofобъекта anyлюбого objectтипа, typeчей whoseразмер sizeне isпревышает noразмер greaterсоздаваемого than the size of the array being createdмассива. [NoteПримечание: BecauseВ allocationследствии functionsтого, areчто assumedожидается, toчто returnфункции pointersвыделения toвозвращают storageуказатели thatна isхранилище, appropriatelyимеющее alignedнеобходимое forвыравнивание objectsдля ofобъектов anyлюбого typeтипа, thisэто constraintограничение onнакладных arrayрасходов allocationна overheadвыделение permitsмассивов theразрешает commonиспользование idiomраспространенной ofидиомы allocatingвыделения characterсимвольных arrays into which objectsмассивов, ofкоторые otherиспользуются typesдля willразмещения laterобъектов beдругих placedтипов.]"
 
=====''Возьмем: воображаемый объект типа Element, размер которого кратен размеру какого-либо настоящего объекта; принимаем, что sizeof(Element) > POD_size''=====