123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137 |
- //===----------------------------------------------------------------------===//
- //
- // 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.
- //
- //===----------------------------------------------------------------------===//
- //
- // UNSUPPORTED: c++98, c++03, c++11, c++14
- // <optional>
- // template <class U>
- // constexpr EXPLICIT optional(U&& u);
- #include <optional>
- #include <type_traits>
- #include <cassert>
- #include "test_macros.h"
- #include "archetypes.hpp"
- #include "test_convertible.hpp"
- using std::optional;
- struct ImplicitThrow
- {
- constexpr ImplicitThrow(int x) { if (x != -1) TEST_THROW(6);}
- };
- struct ExplicitThrow
- {
- constexpr explicit ExplicitThrow(int x) { if (x != -1) TEST_THROW(6);}
- };
- template <class To, class From>
- constexpr bool implicit_conversion(optional<To>&& opt, const From& v)
- {
- using O = optional<To>;
- static_assert(test_convertible<O, From>(), "");
- static_assert(!test_convertible<O, void*>(), "");
- static_assert(!test_convertible<O, From, int>(), "");
- return opt && *opt == static_cast<To>(v);
- }
- template <class To, class Input, class Expect>
- constexpr bool explicit_conversion(Input&& in, const Expect& v)
- {
- using O = optional<To>;
- static_assert(std::is_constructible<O, Input>::value, "");
- static_assert(!std::is_convertible<Input, O>::value, "");
- static_assert(!std::is_constructible<O, void*>::value, "");
- static_assert(!std::is_constructible<O, Input, int>::value, "");
- optional<To> opt(std::forward<Input>(in));
- return opt && *opt == static_cast<To>(v);
- }
- void test_implicit()
- {
- {
- using T = long long;
- static_assert(implicit_conversion<long long>(42, 42), "");
- }
- {
- using T = long double;
- static_assert(implicit_conversion<long double>(3.14, 3.14), "");
- }
- {
- using T = TrivialTestTypes::TestType;
- static_assert(implicit_conversion<T>(42, 42), "");
- }
- {
- using T = TestTypes::TestType;
- assert(implicit_conversion<T>(3, T(3)));
- }
- #ifndef TEST_HAS_NO_EXCEPTIONS
- {
- try {
- using T = ImplicitThrow;
- optional<T> t = 42;
- assert(false);
- } catch (int) {
- }
- }
- #endif
- }
- void test_explicit() {
- {
- using T = ExplicitTrivialTestTypes::TestType;
- using O = optional<T>;
- static_assert(explicit_conversion<T>(42, 42), "");
- }
- {
- using T = ExplicitConstexprTestTypes::TestType;
- using O = optional<T>;
- static_assert(explicit_conversion<T>(42, 42), "");
- static_assert(!std::is_convertible<int, T>::value, "");
- }
- {
- using T = ExplicitTestTypes::TestType;
- using O = optional<T>;
- T::reset();
- {
- assert(explicit_conversion<T>(42, 42));
- assert(T::alive == 0);
- }
- T::reset();
- {
- optional<T> t(42);
- assert(T::alive == 1);
- assert(T::value_constructed == 1);
- assert(T::move_constructed == 0);
- assert(T::copy_constructed == 0);
- assert(t.value().value == 42);
- }
- assert(T::alive == 0);
- }
- #ifndef TEST_HAS_NO_EXCEPTIONS
- {
- try {
- using T = ExplicitThrow;
- optional<T> t(42);
- assert(false);
- } catch (int) {
- }
- }
- #endif
- }
- int main() {
- test_implicit();
- test_explicit();
- }
|