#include <type_traits>
#include <new>
#include <utility>
 
// 于 p 所指向的未初始化内存构造 T
// 用聚合体的列表初始化，否则使用非列表初始化
template<class T, class... Args>
T* construct(T* p, Args&&... args) {
    if constexpr(std::is_aggregate_v<T>) {
        return ::new (static_cast<void*>(p)) T{std::forward<Args>(args)...};
    }
    else {
        return ::new (static_cast<void*>(p)) T(std::forward<Args>(args)...);
    }
}
 
struct A { int x, y; };
struct B { B(int, const char*) { } };
 
int main() {
    std::aligned_union_t<1, A, B> storage;
    A* a = construct(reinterpret_cast<A*>(&storage), 1, 2);
    B* b = construct(reinterpret_cast<B*>(&storage), 1, "hello");
}