mirror of
https://github.com/llvm-mirror/libcxx.git
synced 2025-10-23 18:38:30 +08:00
4806bce5a8
Some tests are marked as failing on platforms where the dylib does not provide the required exception classes. However, when testing with exceptions disabled, those tests shouldn't be marked as failing. git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@353210 91177308-0d34-0410-b5e6-96231b3b80d8
132 lines
3.3 KiB
C++
132 lines
3.3 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// UNSUPPORTED: c++98, c++03, c++11, c++14
|
|
|
|
// XFAIL: dylib-has-no-bad_optional_access && !libcpp-no-exceptions
|
|
|
|
// <optional>
|
|
|
|
// constexpr optional(const T& v);
|
|
|
|
#include <optional>
|
|
#include <type_traits>
|
|
#include <cassert>
|
|
|
|
#include "test_macros.h"
|
|
#include "archetypes.hpp"
|
|
|
|
using std::optional;
|
|
|
|
int main(int, char**)
|
|
{
|
|
{
|
|
typedef int T;
|
|
constexpr T t(5);
|
|
constexpr optional<T> opt(t);
|
|
static_assert(static_cast<bool>(opt) == true, "");
|
|
static_assert(*opt == 5, "");
|
|
|
|
struct test_constexpr_ctor
|
|
: public optional<T>
|
|
{
|
|
constexpr test_constexpr_ctor(const T&) {}
|
|
};
|
|
|
|
}
|
|
{
|
|
typedef double T;
|
|
constexpr T t(3);
|
|
constexpr optional<T> opt(t);
|
|
static_assert(static_cast<bool>(opt) == true, "");
|
|
static_assert(*opt == 3, "");
|
|
|
|
struct test_constexpr_ctor
|
|
: public optional<T>
|
|
{
|
|
constexpr test_constexpr_ctor(const T&) {}
|
|
};
|
|
|
|
}
|
|
{
|
|
const int x = 42;
|
|
optional<const int> o(x);
|
|
assert(*o == x);
|
|
}
|
|
{
|
|
typedef TestTypes::TestType T;
|
|
T::reset();
|
|
const T t(3);
|
|
optional<T> opt = t;
|
|
assert(T::alive == 2);
|
|
assert(T::copy_constructed == 1);
|
|
assert(static_cast<bool>(opt) == true);
|
|
assert(opt.value().value == 3);
|
|
}
|
|
{
|
|
typedef ExplicitTestTypes::TestType T;
|
|
static_assert(!std::is_convertible<T const&, optional<T>>::value, "");
|
|
T::reset();
|
|
const T t(3);
|
|
optional<T> opt(t);
|
|
assert(T::alive == 2);
|
|
assert(T::copy_constructed == 1);
|
|
assert(static_cast<bool>(opt) == true);
|
|
assert(opt.value().value == 3);
|
|
}
|
|
{
|
|
typedef ConstexprTestTypes::TestType T;
|
|
constexpr T t(3);
|
|
constexpr optional<T> opt = {t};
|
|
static_assert(static_cast<bool>(opt) == true, "");
|
|
static_assert(opt.value().value == 3, "");
|
|
|
|
struct test_constexpr_ctor
|
|
: public optional<T>
|
|
{
|
|
constexpr test_constexpr_ctor(const T&) {}
|
|
};
|
|
}
|
|
{
|
|
typedef ExplicitConstexprTestTypes::TestType T;
|
|
static_assert(!std::is_convertible<const T&, optional<T>>::value, "");
|
|
constexpr T t(3);
|
|
constexpr optional<T> opt(t);
|
|
static_assert(static_cast<bool>(opt) == true, "");
|
|
static_assert(opt.value().value == 3, "");
|
|
|
|
struct test_constexpr_ctor
|
|
: public optional<T>
|
|
{
|
|
constexpr test_constexpr_ctor(const T&) {}
|
|
};
|
|
|
|
}
|
|
#ifndef TEST_HAS_NO_EXCEPTIONS
|
|
{
|
|
struct Z {
|
|
Z(int) {}
|
|
Z(const Z&) {throw 6;}
|
|
};
|
|
typedef Z T;
|
|
try
|
|
{
|
|
const T t(3);
|
|
optional<T> opt(t);
|
|
assert(false);
|
|
}
|
|
catch (int i)
|
|
{
|
|
assert(i == 6);
|
|
}
|
|
}
|
|
#endif
|
|
|
|
return 0;
|
|
}
|