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 optional() noexcept; 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 Hinnanttemplate <class Opt> 2301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantvoid 2401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnanttest_constexpr() 2501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 2601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(std::is_nothrow_default_constructible<Opt>::value, ""); 2701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr Opt opt; 2801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(static_cast<bool>(opt) == false, ""); 2901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant struct test_constexpr_ctor 3101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant : public Opt 3201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 3301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr test_constexpr_ctor() {} 3401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant }; 3501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant} 3701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnanttemplate <class Opt> 3901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantvoid 4001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnanttest() 4101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 4201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(std::is_nothrow_default_constructible<Opt>::value, ""); 4301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant Opt opt; 4401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == false); 4501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 4601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant struct test_constexpr_ctor 4701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant : public Opt 4801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 4901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr test_constexpr_ctor() {} 5001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant }; 5101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant} 5201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 5301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantstruct X 5401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 5501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X(); 5601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant}; 5701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 5801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 5901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 6001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantint main() 6101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 6201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#if _LIBCPP_STD_VER > 11 630cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow test_constexpr<optional<int>>(); 640cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow test_constexpr<optional<int*>>(); 650cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow test<optional<X>>(); 6601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 6701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant} 68