Здравствуйте, so5team, Вы писали:

S>Здравствуйте, _NN_, Вы писали:

_NN>>Это как std::optional только без маркировки если есть значение или нет?
_NN>>Типа https://github.com/akrzemi1/markable ?

S>Скорее как std::variant но без хранения значения index, т.к. что за тип лежит внутри variant-а по косвенным признакам снаружи знает объект, который этим variant-ом и владеет. Собственно, владелец отвечает и за корректное удаление, и за корректное копирование/перемещение.

variant из одного типа и есть optional.
Или там предполагаются разные типы ?

А чего бы не обобщить ?
В С++ всегда обобщаешь, мало ли, что завтра понадобится.