101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant//===----------------------------------------------------------------------===// 201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// 301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// The LLVM Compiler Infrastructure 401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// 501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// 801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant//===----------------------------------------------------------------------===// 901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 1001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// <optional> 1101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 1201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// optional<T>& operator=(const optional<T>& rhs); 1301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 140cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow#include <experimental/optional> 1501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#include <type_traits> 1601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#include <cassert> 1701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 1801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#if _LIBCPP_STD_VER > 11 1901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 200cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clowusing std::experimental::optional; 210cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow 2201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantstruct X 2301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 2401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static bool throw_now; 2501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 2601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X() = default; 2701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X(const X&) 2801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 2901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant if (throw_now) 3001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant throw 6; 3101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 3201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant}; 3301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantbool X::throw_now = false; 3501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 3701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantint main() 3901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 4001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#if _LIBCPP_STD_VER > 11 4101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 420cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<int> opt; 430cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow constexpr optional<int> opt2; 4401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant opt = opt2; 4501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(static_cast<bool>(opt2) == false, ""); 4601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == static_cast<bool>(opt2)); 4701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 4801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 490cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<int> opt; 500cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow constexpr optional<int> opt2(2); 5101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant opt = opt2; 5201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(static_cast<bool>(opt2) == true, ""); 5301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(*opt2 == 2, ""); 5401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == static_cast<bool>(opt2)); 5501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(*opt == *opt2); 5601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 5701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 580cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<int> opt(3); 590cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow constexpr optional<int> opt2; 6001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant opt = opt2; 6101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(static_cast<bool>(opt2) == false, ""); 6201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == static_cast<bool>(opt2)); 6301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 6401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 650cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<int> opt(3); 660cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow constexpr optional<int> opt2(2); 6701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant opt = opt2; 6801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(static_cast<bool>(opt2) == true, ""); 6901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(*opt2 == 2, ""); 7001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == static_cast<bool>(opt2)); 7101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(*opt == *opt2); 7201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 7301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 740cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<X> opt; 750cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<X> opt2(X{}); 7601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt2) == true); 7701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant try 7801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 7901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X::throw_now = true; 8001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant opt = opt2; 8101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(false); 8201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 8301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant catch (int i) 8401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 8501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(i == 6); 8601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == false); 8701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 8801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 8901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 9001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant} 91