Search code examples
c++option-typec++17variant

Return type std::optional<std::variant<...>>


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. This value can also be one of several types: int, double, string, date (but no other type).

What would such a function return? Is it a good idea to return std::optional<std::variant<std::string, int, double, std::chrono::time_point>>?

Would that be a good use of optional and variant?


Solution

  • 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.