If contains a value, invokes f with the contained value as an argument, and returns the result of that invocation; otherwise, returns an empty std::optional. The return type (see below) must be a specialization of std::optional (unlike ). Otherwise, the program is ill-formed. The result of f or an empty std::optional, as described above.