分配内存块的不相交？

Question

我的印象是，对分配函数的调用将导致指向内存块（A）的开始的指针，这样所有后续调用都会分配一个与A不相交的内存块。但我还没有找到该要求（或其中涉及此要求）在C ++ 14规范（ISO / IEC 14882：2014（E））中，特别是§3.7.4.1。

问题：它是规范的一部分，如果是，我在哪里可以找到它？

Answer 1

在[basic.stc.dynamic.allocation] / 2中：＆＃34;分配功能的要求＆＃34;：

  

此外，对于[new.delete.single]和[new.delete.array]中的库分配函数，CustomerTableView应表示与任何其他可访问对象的存储区别不相交的存储块的地址给来电者。

请注意，这是来自N4659，C ++ 17草案。 C41 14的N4140草案文件不包含这个内容;它是由于CWG issue 1338的缺陷解决方案而添加的。