diff options
| author | Marshall Clow <mclow.lists@gmail.com> | 2014-12-09 15:07:42 +0000 |
|---|---|---|
| committer | Marshall Clow <mclow.lists@gmail.com> | 2014-12-09 15:07:42 +0000 |
| commit | 8ad78e905f28d72a9122302e381503159a208485 (patch) | |
| tree | 73198a934efc2869b6d2836d9795cc8f2eb85a67 /libcxx/test/experimental/optional/optional.object/optional.object.ctor/rvalue_T.pass.cpp | |
| parent | b0a9b703739aa0e0661fec9181863cd6745b63c9 (diff) | |
| download | bcm5719-llvm-8ad78e905f28d72a9122302e381503159a208485.tar.gz bcm5719-llvm-8ad78e905f28d72a9122302e381503159a208485.zip | |
Move the optional tests into test/experimental. They were put into test/utilities because optional was going to be part of C++14, and then was pulled and put into the Library Fundamentals TS instead. No funcitonality change here; just moving files around.
llvm-svn: 223778
Diffstat (limited to 'libcxx/test/experimental/optional/optional.object/optional.object.ctor/rvalue_T.pass.cpp')
| -rw-r--r-- | libcxx/test/experimental/optional/optional.object/optional.object.ctor/rvalue_T.pass.cpp | 110 |
1 files changed, 110 insertions, 0 deletions
diff --git a/libcxx/test/experimental/optional/optional.object/optional.object.ctor/rvalue_T.pass.cpp b/libcxx/test/experimental/optional/optional.object/optional.object.ctor/rvalue_T.pass.cpp new file mode 100644 index 00000000000..ac52a42d595 --- /dev/null +++ b/libcxx/test/experimental/optional/optional.object/optional.object.ctor/rvalue_T.pass.cpp @@ -0,0 +1,110 @@ +//===----------------------------------------------------------------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is dual licensed under the MIT and the University of Illinois Open +// Source Licenses. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +// <optional> + +// constexpr optional(T&& v); + +#include <experimental/optional> +#include <type_traits> +#include <cassert> + +#if _LIBCPP_STD_VER > 11 + +using std::experimental::optional; + +class X +{ + int i_; +public: + X(int i) : i_(i) {} + X(X&& x) : i_(x.i_) {} + + friend bool operator==(const X& x, const X& y) {return x.i_ == y.i_;} +}; + +class Y +{ + int i_; +public: + constexpr Y(int i) : i_(i) {} + constexpr Y(Y&& x) : i_(x.i_) {} + + friend constexpr bool operator==(const Y& x, const Y& y) {return x.i_ == y.i_;} +}; + +class Z +{ + int i_; +public: + Z(int i) : i_(i) {} + Z(Z&&) {throw 6;} +}; + +#endif // _LIBCPP_STD_VER > 11 + +int main() +{ +#if _LIBCPP_STD_VER > 11 + { + typedef int T; + constexpr optional<T> opt(T(5)); + static_assert(static_cast<bool>(opt) == true, ""); + static_assert(*opt == 5, ""); + + struct test_constexpr_ctor + : public optional<T> + { + constexpr test_constexpr_ctor(T&&) {} + }; + } + { + typedef double T; + constexpr optional<T> opt(T(3)); + static_assert(static_cast<bool>(opt) == true, ""); + static_assert(*opt == 3, ""); + + struct test_constexpr_ctor + : public optional<T> + { + constexpr test_constexpr_ctor(T&&) {} + }; + } + { + typedef X T; + optional<T> opt(T(3)); + assert(static_cast<bool>(opt) == true); + assert(*opt == 3); + } + { + typedef Y T; + constexpr optional<T> opt(T(3)); + static_assert(static_cast<bool>(opt) == true, ""); + static_assert(*opt == 3, ""); + + struct test_constexpr_ctor + : public optional<T> + { + constexpr test_constexpr_ctor(T&&) {} + }; + } + { + typedef Z T; + try + { + optional<T> opt(T(3)); + assert(false); + } + catch (int i) + { + assert(i == 6); + } + } +#endif // _LIBCPP_STD_VER > 11 +} |

