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(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 Hinnanttemplate <class T> 2301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantvoid 240cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clowtest(const optional<T>& rhs, bool is_going_to_throw = false) 2501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 2601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant bool rhs_engaged = static_cast<bool>(rhs); 2701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant try 2801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 290cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<T> lhs = rhs; 3001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(is_going_to_throw == false); 3101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(lhs) == rhs_engaged); 3201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant if (rhs_engaged) 3301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(*lhs == *rhs); 3401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 3501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant catch (int i) 3601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 3701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(i == 6); 3801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 3901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant} 4001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 4101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantclass X 4201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 4301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant int i_; 4401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantpublic: 4501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X(int i) : i_(i) {} 4601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X(const X& x) : i_(x.i_) {} 4701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant ~X() {i_ = 0;} 4801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant friend bool operator==(const X& x, const X& y) {return x.i_ == y.i_;} 4901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant}; 5001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 5101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantclass Y 5201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 5301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant int i_; 5401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantpublic: 5501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant Y(int i) : i_(i) {} 5601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant Y(const Y& x) : i_(x.i_) {} 5701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 5801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant friend constexpr bool operator==(const Y& x, const Y& y) {return x.i_ == y.i_;} 5901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant}; 6001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 6101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantint count = 0; 6201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 6301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantclass Z 6401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 6501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant int i_; 6601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantpublic: 6701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant Z(int i) : i_(i) {} 6801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant Z(const Z&) 6901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 7001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant if (++count == 2) 7101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant throw 6; 7201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 7301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 7401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant friend constexpr bool operator==(const Z& x, const Z& y) {return x.i_ == y.i_;} 7501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant}; 7601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 7701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 7801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 7901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 8001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantint main() 8101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 8201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#if _LIBCPP_STD_VER > 11 8301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 8401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant typedef int T; 850cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<T> rhs; 8601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant test(rhs); 8701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 8801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 8901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant typedef int T; 900cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<T> rhs(3); 9101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant test(rhs); 9201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 9301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 9401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant typedef X T; 950cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<T> rhs; 9601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant test(rhs); 9701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 9801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 9901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant typedef X T; 1000cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<T> rhs(X(3)); 10101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant test(rhs); 10201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 10301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 10401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant typedef Y T; 1050cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<T> rhs; 10601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant test(rhs); 10701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 10801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 10901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant typedef Y T; 1100cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<T> rhs(Y(3)); 11101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant test(rhs); 11201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 11301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 11401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant typedef Z T; 1150cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<T> rhs; 11601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant test(rhs); 11701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 11801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 11901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant typedef Z T; 1200cdbe6048173c1f05628dbc85430acf191a3e173Marshall Clow optional<T> rhs(Z(3)); 12101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant test(rhs, true); 12201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 12301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 12401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant} 125