Я знаю, что доступ к неактивному члену объединения — это 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
