Разрешено ли создание распределителя без сохранения состояния или удаляется стандартом? ⇐ C++

[Anonymous]

Чтение Что такое новая функция в C ++ 20 [[NO_UNIQUE_ADDRESS]]? Я думал об альтернативах пустой базовой оптимизации до C ++ 20 -х годов [[no_unique_address]] . Одна вещь пришла на ум, поскольку без сохранения состояния удаляют и распределители по определению не хранят ни одного состояния, разрешено ли вместо этого строить их по требованию, когда это необходимо? < /P>
template
struct not_pair {
T first;
};

template
using maybe_pair = std::conditional<
std::is_empty::value,
not_pair,
std::pair
>::type;

template
void invoke_maybe_pair(std::pair& storage) {
storage.second(storage.first);
}

template
void invoke_maybe_pair(std::not_pair& storage) {
Deleter{}(storage.first);
}

template
class unique_ptr {
maybe_pair storage;

public:
~unique_ptr() {
if (storage.first) {
invoke_deleter(storage);
}
}

...
};
< /code>
Будет ли такая реализация разрешена стандартом или классы, принимающие удаления и выделители (интеллектуальные указатели, коллекции и т. Д.), Требуемые для вызова своих конструкторов (включая перемещение и копирование там, где это применимо) и деструктор, когда ожидается? Мы могли бы явно ограничить его только тривиальными классами, чтобы избежать каких -либо наблюдаемых побочных эффектов.>

Подробнее здесь: https://stackoverflow.com/questions/796 ... e-standard