#include <typeinfo>
#include <utility>
-#include <folly/Assume.h>
#include <folly/CPortability.h>
#include <folly/Demangle.h>
#include <folly/ExceptionString.h>
#include <folly/FBString.h>
+#include <folly/Portability.h>
#include <folly/Traits.h>
+#include <folly/Utility.h>
+#include <folly/lang/Assume.h>
#ifdef __GNUC__
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wpotentially-evaluated-expression"
// GCC gets confused about lambda scopes and issues shadow-local warnings for
// parameters in totally different functions.
-#pragma GCC diagnostic ignored "-Wshadow-local"
-#pragma GCC diagnostic ignored "-Wshadow-compatible-local"
+FOLLY_GCC_DISABLE_NEW_SHADOW_WARNINGS
#endif
#define FOLLY_EXCEPTION_WRAPPER_H_INCLUDED
exception_wrapper (*get_exception_ptr_)(exception_wrapper const*);
};
- [[noreturn]] static void onNoExceptionError();
+ [[noreturn]] static void onNoExceptionError(char const* name);
template <class Ret, class... Args>
static Ret noop_(Args...);
Buffer() : buff_{} {}
- template <class Ex, class DEx = _t<std::decay<Ex>>>
- Buffer(in_place_t, Ex&& ex);
+ template <class Ex, typename... As>
+ Buffer(in_place_type_t<Ex>, As&&... as_);
template <class Ex>
Ex& as() noexcept;
template <class Ex>
"Surprise! std::exception and std::type_info don't have alignment "
"greater than one. as_int_ below will not work!");
- static std::uintptr_t as_int_(std::exception const& e);
- static std::uintptr_t as_int_(AnyException e);
+ static std::uintptr_t as_int_(
+ std::exception_ptr const& ptr,
+ std::exception const& e);
+ static std::uintptr_t as_int_(
+ std::exception_ptr const& ptr,
+ AnyException e);
bool has_exception_() const;
std::exception const* as_exception_() const;
std::type_info const* as_type_() const;
struct Impl final : public Base {
Ex ex_;
Impl() = default;
- explicit Impl(Ex const& ex) : Base{typeid(ex)}, ex_(ex) {}
- explicit Impl(Ex&& ex)
- : Base{typeid(ex)},
- ex_(std::move(ex)){}[[noreturn]] void throw_() const override;
+ template <typename... As>
+ explicit Impl(As&&... as)
+ : Base{typeid(Ex)}, ex_(std::forward<As>(as)...) {}
+ [[noreturn]] void throw_() const override;
std::exception const* get_exception_() const noexcept override;
exception_wrapper get_exception_ptr_() const noexcept override;
};
};
VTable const* vptr_{&uninit_};
- template <class Ex, class DEx = _t<std::decay<Ex>>>
- exception_wrapper(Ex&& ex, OnHeapTag);
+ template <class Ex, typename... As>
+ exception_wrapper(OnHeapTag, in_place_type_t<Ex>, As&&... as);
- template <class Ex, class DEx = _t<std::decay<Ex>>>
- exception_wrapper(Ex&& ex, InSituTag);
+ template <class Ex, typename... As>
+ exception_wrapper(InSituTag, in_place_type_t<Ex>, As&&... as);
template <class T>
struct IsRegularExceptionType
static bool with_exception_(This& this_, Fn fn_);
public:
+ static exception_wrapper from_exception_ptr(
+ std::exception_ptr const& eptr) noexcept;
+
//! Default-constructs an empty `exception_wrapper`
//! \post `type() == none()`
exception_wrapper() noexcept {}
FOLLY_REQUIRES(IsRegularExceptionType<Ex_>::value)>
exception_wrapper(in_place_t, Ex&& ex);
+ template <
+ class Ex,
+ typename... As,
+ FOLLY_REQUIRES(IsRegularExceptionType<Ex>::value)>
+ exception_wrapper(in_place_type_t<Ex>, As&&... as);
+
//! Swaps the value of `*this` with the value of `that`
void swap(exception_wrapper& that) noexcept;
- //! \return `true` if `*this` is not holding an exception.
+ //! \return `true` if `*this` is holding an exception.
explicit operator bool() const noexcept;
//! \return `!bool(*this)`
*/
template <class Ex, typename... As>
exception_wrapper make_exception_wrapper(As&&... as) {
- return exception_wrapper{Ex{std::forward<As>(as)...}};
+ return exception_wrapper{in_place_type<Ex>, std::forward<As>(as)...};
}
/**
return exception_wrapper(std::current_exception(), ex);
}
}
-} // detail
+} // namespace detail
//! `try_and_catch` is a simple replacement for `try {} catch(){}`` that allows
//! you to specify which derived exceptions you would like to catch and store in
exception_wrapper try_and_catch(F&& fn) {
return detail::try_and_catch_<F, Exceptions...>(std::forward<F>(fn));
}
-} // folly
+} // namespace folly
#include <folly/ExceptionWrapper-inl.h>