initializer_list.pass.cpp revision 01afa5c6e407e985d9643707d7b7ab1384bd9317
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, class... Args> 1301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// constexpr 1401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// explicit optional(in_place_t, initializer_list<U> il, Args&&... args); 1501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 1601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#include <optional> 1701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#include <type_traits> 1801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#include <vector> 1901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#include <cassert> 2001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 2101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#if _LIBCPP_STD_VER > 11 2201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 2301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantclass X 2401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 2501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant int i_; 2601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant int j_ = 0; 2701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantpublic: 2801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X() : i_(0) {} 2901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X(int i) : i_(i) {} 3001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X(int i, int j) : i_(i), j_(j) {} 3101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant ~X() {} 3301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant friend bool operator==(const X& x, const X& y) 3501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant {return x.i_ == y.i_ && x.j_ == y.j_;} 3601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant}; 3701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantclass Y 3901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 4001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant int i_; 4101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant int j_ = 0; 4201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantpublic: 4301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr Y() : i_(0) {} 4401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr Y(int i) : i_(i) {} 4501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr Y(std::initializer_list<int> il) : i_(il.begin()[0]), j_(il.begin()[1]) {} 4601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 4701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant friend constexpr bool operator==(const Y& x, const Y& y) 4801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant {return x.i_ == y.i_ && x.j_ == y.j_;} 4901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant}; 5001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 5101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantclass Z 5201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 5301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant int i_; 5401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant int j_ = 0; 5501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantpublic: 5601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr Z() : i_(0) {} 5701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr Z(int i) : i_(i) {} 5801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr Z(std::initializer_list<int> il) : i_(il.begin()[0]), j_(il.begin()[1]) 5901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant {throw 6;} 6001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 6101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant friend constexpr bool operator==(const Z& x, const Z& y) 6201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant {return x.i_ == y.i_ && x.j_ == y.j_;} 6301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant}; 6401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 6501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 6601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 6701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 6801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantint main() 6901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 7001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#if _LIBCPP_STD_VER > 11 7101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 7201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(!std::is_constructible<X, std::initializer_list<int>&>::value, ""); 7301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(!std::is_constructible<std::optional<X>, std::initializer_list<int>&>::value, ""); 7401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 7501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 7601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant std::optional<std::vector<int>> opt(std::in_place, {3, 1}); 7701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == true); 7801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert((*opt == std::vector<int>{3, 1})); 7901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(opt->size() == 2); 8001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 8101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 8201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant std::optional<std::vector<int>> opt(std::in_place, {3, 1}, std::allocator<int>()); 8301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(static_cast<bool>(opt) == true); 8401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert((*opt == std::vector<int>{3, 1})); 8501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(opt->size() == 2); 8601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 8701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 8801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(std::is_constructible<std::optional<Y>, std::initializer_list<int>&>::value, ""); 8901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr std::optional<Y> opt(std::in_place, {3, 1}); 9001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(static_cast<bool>(opt) == true, ""); 9101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(*opt == Y{3, 1}, ""); 9201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 9301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant struct test_constexpr_ctor 9401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant : public std::optional<Y> 9501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 9601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr test_constexpr_ctor(std::in_place_t, std::initializer_list<int> i) 9701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant : std::optional<Y>(std::in_place, i) {} 9801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant }; 9901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 10001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 10101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 10201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(std::is_constructible<std::optional<Z>, std::initializer_list<int>&>::value, ""); 10301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant try 10401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 10501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant std::optional<Z> opt(std::in_place, {3, 1}); 10601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(false); 10701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 10801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant catch (int i) 10901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 11001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(i == 6); 11101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 11201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 11301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant struct test_constexpr_ctor 11401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant : public std::optional<Z> 11501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 11601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant constexpr test_constexpr_ctor(std::in_place_t, std::initializer_list<int> i) 11701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant : std::optional<Z>(std::in_place, i) {} 11801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant }; 11901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 12001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 12101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 12201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant} 123