Return type std::optional>

Question

I have a situation where a function must return a value taken from a table. A cell in this table (let\'s assume the table just works...) may contain a value, or it might not. T

Answer 1

Just want to add that before C++17 and the standardization of variant and monostate, there is already boost::blank to solve the exact same issue for boost::variant.

By convention, if boost::blank is used, it should always be the first template argument, so that a default-constructed variant is empty and checking for emptyness is done with .which() == 0.

Answer 2

I would consider this to be a useful use of std::monostate. Specifically, variant<std::monostate, int, double, std::string, std::chrono::time_point>. monostate is useful for cases where a variant may not contain a value.

The nice thing about using an actual type rather than optional<variant> is that visitation works normally on it. You can write a functor that can take a monostate parameter, thus allowing you to use visit for even "empty" variants.