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// template <class U> optional<T>& operator=(U&& v); 1301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 140cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow#include <experimental/optional> 1501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#include <type_traits> 1601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#include <cassert> 1701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#include <memory> 1801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 1901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#if _LIBCPP_STD_VER > 11 2001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 210cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clowusing std::experimental::optional; 220cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow 2301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantstruct X 2401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 2501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant}; 2601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 2701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 2801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 2901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantint main() 3001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 3101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#if _LIBCPP_STD_VER > 11 320cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow static_assert(std::is_assignable<optional<int>, int>::value, ""); 330cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow static_assert(std::is_assignable<optional<int>, int&>::value, ""); 340cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow static_assert(std::is_assignable<optional<int>&, int>::value, ""); 350cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow static_assert(std::is_assignable<optional<int>&, int&>::value, ""); 360cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow static_assert(std::is_assignable<optional<int>&, const int&>::value, ""); 370cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow static_assert(!std::is_assignable<const optional<int>&, const int&>::value, ""); 380cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow static_assert(!std::is_assignable<optional<int>, X>::value, ""); 3901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 400cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<int> opt; 4101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant opt = 1; 4201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == true); 4301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(*opt == 1); 4401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 4501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 460cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<int> opt; 4701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant const int i = 2; 4801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant opt = i; 4901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == true); 5001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(*opt == i); 5101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 5201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 530cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<int> opt(3); 5401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant const int i = 2; 5501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant opt = i; 5601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == true); 5701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(*opt == i); 5801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 5901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 600cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<std::unique_ptr<int>> opt; 6101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant opt = std::unique_ptr<int>(new int(3)); 6201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == true); 6301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(**opt == 3); 6401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 6501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 660cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<std::unique_ptr<int>> opt(std::unique_ptr<int>(new int(2))); 6701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant opt = std::unique_ptr<int>(new int(3)); 6801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == true); 6901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(**opt == 3); 7001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 7101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 7201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant} 73