|
|
#ifndef C10_UTIL_OPTIONAL_H_
|
|
|
#define C10_UTIL_OPTIONAL_H_
|
|
|
|
|
|
#include <optional>
|
|
|
#include <type_traits>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
namespace c10 {
|
|
|
|
|
|
#if !defined(FBCODE_CAFFE2) && !defined(C10_NODEPRECATED)
|
|
|
|
|
|
using std::bad_optional_access;
|
|
|
|
|
|
using std::make_optional;
|
|
|
|
|
|
using std::nullopt;
|
|
|
|
|
|
using std::nullopt_t;
|
|
|
|
|
|
using std::optional;
|
|
|
#endif
|
|
|
|
|
|
#if !defined(FBCODE_CAFFE2) && !defined(C10_NODEPRECATED)
|
|
|
|
|
|
namespace detail_ {
|
|
|
|
|
|
|
|
|
template <class U>
|
|
|
constexpr U convert(U v) {
|
|
|
return v;
|
|
|
}
|
|
|
}
|
|
|
template <class T, class F>
|
|
|
[[deprecated(
|
|
|
"Please use std::optional::value_or instead of c10::value_or_else")]] constexpr T
|
|
|
value_or_else(const std::optional<T>& v, F&& func) {
|
|
|
static_assert(
|
|
|
std::is_convertible_v<typename std::invoke_result_t<F>, T>,
|
|
|
"func parameters must be a callable that returns a type convertible to the value stored in the optional");
|
|
|
return v.has_value() ? *v : detail_::convert<T>(std::forward<F>(func)());
|
|
|
}
|
|
|
|
|
|
template <class T, class F>
|
|
|
[[deprecated(
|
|
|
"Please use std::optional::value_or instead of c10::value_or_else")]] constexpr T
|
|
|
value_or_else(std::optional<T>&& v, F&& func) {
|
|
|
static_assert(
|
|
|
std::is_convertible_v<typename std::invoke_result_t<F>, T>,
|
|
|
"func parameters must be a callable that returns a type convertible to the value stored in the optional");
|
|
|
return v.has_value() ? constexpr_move(std::move(v).contained_val())
|
|
|
: detail_::convert<T>(std::forward<F>(func)());
|
|
|
}
|
|
|
|
|
|
#endif
|
|
|
|
|
|
}
|
|
|
#endif
|
|
|
|