align_storage и строгие псевдонимы

Использование ABICT безопасно.

• Размещение new объекта типа T создаст объект, начиная с переданного адреса.

§5.3.4/10 говорит:

Новое выражение передает объем запрошенного пространства функции распределения в качестве первого аргумента типа std::size_t. Этот аргумент должен быть не меньше размера создаваемого объекта; он может быть больше размера создаваемого объекта, только если объект является массивом.

Для объекта, не являющегося массивом, выделенный размер не может превышать размер объекта, поэтому представление объекта должно начинаться с начала выделенной памяти, чтобы соответствовать.

Размещение new возвращает переданный указатель (см. § 18.6.1.3/2) в результате «распределения», поэтому объектное представление созданного объекта начнется с этого адреса.

• static_cast<> и неявные преобразования между типом T* и void* преобразуют между указателем на объект и указателем на его хранилище, если объект является полным объектом.

§4.10/2 говорит:

Значение prvalue типа «указатель на cv T», где T — тип объекта, может быть преобразовано в значение prvalue типа «указатель на cv void». Результат преобразования «указателя на cv T» в «указатель на cv void» указывает на начало места хранения, где находится объект типа T, как если бы объект был наиболее производным объектом (1.8) типа T. [...]

Это определяет неявное преобразование для преобразования, как указано. Далее §5.2.9[expr.static.cast]/4 определяет static_cast<> для явных преобразований, где неявное преобразование имеет тот же эффект, что и неявное преобразование:

В противном случае выражение e можно явно преобразовать в тип T, используя static_cast формы static_cast<T>(e), если объявление T t(e); правильно построено, для некоторой изобретенной временной переменной t (8.5). Эффект от такого явного преобразования такой же, как при выполнении объявления и инициализации с последующим использованием временной переменной в результате преобразования. [...]

Для обратного static_cast<> (от void* до T*) в §5.2.9/13 говорится:

Значение prvalue типа «указатель на cv1 void» может быть преобразовано в значение prvalue типа «указатель на cv2 T», где T — тип объекта, а cv2 — такое же или большее значение cv-квалификации, чем cv1. [...] Значение типа указатель на объект, преобразованное в «указатель на cv void» и обратно, возможно, с другой квалификацией cv, должно иметь исходное значение.

Таким образом, если у вас есть void*, указывающий на хранилище объекта T (которое является значением указателя, которое будет результатом неявного преобразования T* в объект, то static_cast этого в T* создаст действительный указатель на объект .

Возвращаясь к вашему вопросу, предыдущие пункты подразумевают, что если у вас есть

typename std::aligned_storage<sizeof(T), std::alignment_of<T>::value>::type t_;
void * pvt_ = &t_;

T* pT = new (&t_) T(args...);
void * pvT = pT;

тогда

• память *pT точно перекрывает первый размер (T) байтов памяти t_, так что pvT == pvt_
• pvt_ == static_cast<void*>(&t_)
• static_cast<T*>(pvT) == pT
• Вместе это дает static_cast<T*>(static_cast<void*>(&t_)) == pT