C++标准是否允许使用对象在析构之后但在解除分配之前提供的存储？
很明显，在销毁一个常规对象后，存储空间可以被重用。但是在下面的例子中，对象B为定义为模板参数T的对象提供存储空间，并在自己的构造过程中在提供的存储空间中构造该对象。
此外，当B对象被销毁时，所提供的存储中的对象不会被销毁，并且用于提供存储的数组的生命周期不会结束，因为它有一个无效的平凡析构函数，这导致了A类型的对象的生命周期是否以B结束的问题。

#include <cstddef>
#include <iostream>
#include <memory>
#include <new>

struct A
{
  int i = 23;
};

template<class T>
struct B
{
  B()
  {
    // construct object T in the provided storage
    new (&c) T;
  }

  // return a reference to the object in the provided storage
  T & t()
  {
    return *std::launder(reinterpret_cast<T *>(&c));
  }

  // reserved storage
  alignas(T) std::byte c[sizeof(T)];
};

int
main()
{
  using Alloc = std::allocator<B<A>>;
  using AllocTraits = std::allocator_traits<Alloc>;
  Alloc alloc;

  // storage duration starts
  B<A> * b = AllocTraits::allocate(alloc, 1u);

  // construction of both B and A
  AllocTraits::construct(alloc, b);

  // Get a reference to A
  A & a = b->t();

  std::cout << "At this point A is alive. a.i = " << a.i << std::endl;
  a.i = 42;

  // object of type B is destroyed, but A is not
  AllocTraits::destroy(alloc, b);

  // Is it undefined behaviour to read from 'a'?
  std::cout << "Is A still alive? a.i = " << a.i << std::endl;

  // A is destroyed
  a.~A();

  // storage duration ends
  AllocTraits::deallocate(alloc, b, 1u);

  return 0;
}

问：为什么会有人这么做？
答：它允许为弱指针实现一个侵入式控制块，而不会像https://github.com/john-plate/pntr中那样产生额外的开销。