1*4bdff4beSrobert // -*- C++ -*- 2*4bdff4beSrobert //===----------------------------------------------------------------------===// 3*4bdff4beSrobert // 4*4bdff4beSrobert // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 5*4bdff4beSrobert // See https://llvm.org/LICENSE.txt for license information. 6*4bdff4beSrobert // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 7*4bdff4beSrobert // 8*4bdff4beSrobert //===----------------------------------------------------------------------===// 9*4bdff4beSrobert #ifndef _LIBCPP___EXPECTED_BAD_EXPECTED_ACCESS_H 10*4bdff4beSrobert #define _LIBCPP___EXPECTED_BAD_EXPECTED_ACCESS_H 11*4bdff4beSrobert 12*4bdff4beSrobert #include <__config> 13*4bdff4beSrobert #include <__utility/move.h> 14*4bdff4beSrobert 15*4bdff4beSrobert #include <exception> 16*4bdff4beSrobert 17*4bdff4beSrobert #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 18*4bdff4beSrobert # pragma GCC system_header 19*4bdff4beSrobert #endif 20*4bdff4beSrobert 21*4bdff4beSrobert #if _LIBCPP_STD_VER >= 23 22*4bdff4beSrobert 23*4bdff4beSrobert _LIBCPP_BEGIN_NAMESPACE_STD 24*4bdff4beSrobert 25*4bdff4beSrobert template <class _Err> 26*4bdff4beSrobert class bad_expected_access; 27*4bdff4beSrobert 28*4bdff4beSrobert template <> 29*4bdff4beSrobert class bad_expected_access<void> : public exception { 30*4bdff4beSrobert protected: 31*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI bad_expected_access() noexcept = default; 32*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI bad_expected_access(const bad_expected_access&) = default; 33*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI bad_expected_access(bad_expected_access&&) = default; 34*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI bad_expected_access& operator=(const bad_expected_access&) = default; 35*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI bad_expected_access& operator=(bad_expected_access&&) = default; 36*4bdff4beSrobert ~bad_expected_access() override = default; 37*4bdff4beSrobert 38*4bdff4beSrobert public: 39*4bdff4beSrobert // The way this has been designed (by using a class template below) means that we'll already 40*4bdff4beSrobert // have a profusion of these vtables in TUs, and the dynamic linker will already have a bunch 41*4bdff4beSrobert // of work to do. So it is not worth hiding the <void> specialization in the dylib, given that 42*4bdff4beSrobert // it adds deployment target restrictions. what()43*4bdff4beSrobert const char* what() const noexcept override { return "bad access to std::expected"; } 44*4bdff4beSrobert }; 45*4bdff4beSrobert 46*4bdff4beSrobert template <class _Err> 47*4bdff4beSrobert class bad_expected_access : public bad_expected_access<void> { 48*4bdff4beSrobert public: bad_expected_access(_Err __e)49*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI explicit bad_expected_access(_Err __e) : __unex_(std::move(__e)) {} 50*4bdff4beSrobert error()51*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI _Err& error() & noexcept { return __unex_; } error()52*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI const _Err& error() const& noexcept { return __unex_; } error()53*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI _Err&& error() && noexcept { return std::move(__unex_); } error()54*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI const _Err&& error() const&& noexcept { return std::move(__unex_); } 55*4bdff4beSrobert 56*4bdff4beSrobert private: 57*4bdff4beSrobert _Err __unex_; 58*4bdff4beSrobert }; 59*4bdff4beSrobert 60*4bdff4beSrobert _LIBCPP_END_NAMESPACE_STD 61*4bdff4beSrobert 62*4bdff4beSrobert #endif // _LIBCPP_STD_VER >= 23 63*4bdff4beSrobert 64*4bdff4beSrobert #endif // _LIBCPP___EXPECTED_BAD_EXPECTED_ACCESS_H 65