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// constexpr const T& optional<T>::value() const; 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 Clowusing std::experimental::in_place_t; 220cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clowusing std::experimental::in_place; 230cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clowusing std::experimental::bad_optional_access; 240cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow 2501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantstruct X 2601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 2701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X() = default; 2801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X(const X&) = delete; 2901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr int test() const {return 3;} 3001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant int test() {return 4;} 3101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant}; 3201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 3401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantint main() 3601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 3701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#if _LIBCPP_STD_VER > 11 3801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 390cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow constexpr optional<X> opt(in_place); 4001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(opt.value().test() == 3, ""); 4101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 4201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 430cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow const optional<X> opt(in_place); 4401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(opt.value().test() == 3); 4501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 4601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 470cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow const optional<X> opt; 4801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant try 4901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 5001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant opt.value(); 5101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(false); 5201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 530cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow catch (const bad_optional_access&) 5401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 5501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 5601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 5701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 5801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant} 59