分配器的分配和构造是否通过 [basic.life]p8 明确定义？

问：

CPPREFERENCE的std：：allocator示例包含以下代码（为简单起见，已缩短）：

// default allocator for ints
std::allocator<int> alloc1;

using traits_t1 = std::allocator_traits<decltype(alloc1)>; // The matching trait
p1 = traits_t1::allocate(alloc1, 1);
traits_t1::construct(alloc1, p1, 7);  // construct the int
std::cout << *p1 << '\n';

就分配器而言，相当直接。但是，标准担保书中的哪些措辞实际上指向了新对象？p1

根据 std：：allocate 和 [allocator.members] 的 cppreference 文档， 默认分配器的函数allocate()

在存储中创建 T[n] 类型的数组，并开始其生存期，但不开始其任何元素的生存期。

并返回

[a pointer] 指向 N 个类型对象数组中的第一个元素，该数组的元素尚未构造。

Afaik，数组创建措辞已添加到标准中，以便指针上的指针算术有效。在任何情况下，这意味着返回的指针指向 的第一个元素，并且第一个元素的生存期未启动。T[]

construct()然后在此位置创建一个对象，但是，它不会返回指向此对象的指针。我们唯一拥有的指针仍然是返回的指针。allocate

通常，当一个物体被放置在一个过期物体的位置时，它可以在[basic.life]p8中规定的条件下“透明地替换”旧的物体：（强调我的）

如果在对象的生存期结束后，在重用或释放该对象占用的存储之前，在原始对象占用的存储位置创建一个新对象，则指向原始对象的指针 [...] 将自动引用新对象，并且一旦新对象的生存期开始 [...]

此数组元素的生存期从未启动，因此它不可能结束，因此这不应适用。那么，如何保证访问新构造的对象是明确定义的呢？应该在每次通话后使用吗？std::launderconstruct

请记住，这是一个带有 [language-lawyer] 标签的问题。这不是关于这个代码是否实际有效，而是关于标准的“定律”。