Вызов функции-члена неактивного члена объединения нулевого размера ⇐ C++

[Anonymous]

Я знаю, что доступ к неактивному члену объединения — это UB, но как насчет вызова функции-члена нулевого размера и тривиального члена объединения? Технически это не доступ, поэтому я надеюсь, что он действителен, но я не могу найти точную ссылку на него.
Другими словами, может ли [[no_unique_address] ] быть реализовано с объединением до C++20 без EBO?
template
struct MyVector {
union {
T* ptr{};

// Just an example. Suppose that is_trivial == true and is_empty_v == true
std::allocator alloc;
};

explicit MyVector(std::size_t size) {
// Is this UB?
ptr = alloc.allocate(size);
}
};



Подробнее здесь: https://stackoverflow.com/questions/791 ... r-function