forked from mirror/libcxx
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
119 lines
2.6 KiB
C++
119 lines
2.6 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// 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.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// type_traits
|
|
|
|
// template <class T, class... Args>
|
|
// struct is_nothrow_constructible;
|
|
|
|
#include <type_traits>
|
|
#include "test_macros.h"
|
|
|
|
template <class T>
|
|
void test_is_nothrow_constructible()
|
|
{
|
|
static_assert(( std::is_nothrow_constructible<T>::value), "");
|
|
#if TEST_STD_VER > 14
|
|
static_assert(( std::is_nothrow_constructible_v<T>), "");
|
|
#endif
|
|
}
|
|
|
|
template <class T, class A0>
|
|
void test_is_nothrow_constructible()
|
|
{
|
|
static_assert(( std::is_nothrow_constructible<T, A0>::value), "");
|
|
#if TEST_STD_VER > 14
|
|
static_assert(( std::is_nothrow_constructible_v<T, A0>), "");
|
|
#endif
|
|
}
|
|
|
|
template <class T>
|
|
void test_is_not_nothrow_constructible()
|
|
{
|
|
static_assert((!std::is_nothrow_constructible<T>::value), "");
|
|
#if TEST_STD_VER > 14
|
|
static_assert((!std::is_nothrow_constructible_v<T>), "");
|
|
#endif
|
|
}
|
|
|
|
template <class T, class A0>
|
|
void test_is_not_nothrow_constructible()
|
|
{
|
|
static_assert((!std::is_nothrow_constructible<T, A0>::value), "");
|
|
#if TEST_STD_VER > 14
|
|
static_assert((!std::is_nothrow_constructible_v<T, A0>), "");
|
|
#endif
|
|
}
|
|
|
|
template <class T, class A0, class A1>
|
|
void test_is_not_nothrow_constructible()
|
|
{
|
|
static_assert((!std::is_nothrow_constructible<T, A0, A1>::value), "");
|
|
#if TEST_STD_VER > 14
|
|
static_assert((!std::is_nothrow_constructible_v<T, A0, A1>), "");
|
|
#endif
|
|
}
|
|
|
|
class Empty
|
|
{
|
|
};
|
|
|
|
class NotEmpty
|
|
{
|
|
virtual ~NotEmpty();
|
|
};
|
|
|
|
union Union {};
|
|
|
|
struct bit_zero
|
|
{
|
|
int : 0;
|
|
};
|
|
|
|
class Abstract
|
|
{
|
|
virtual ~Abstract() = 0;
|
|
};
|
|
|
|
struct A
|
|
{
|
|
A(const A&);
|
|
};
|
|
|
|
struct C
|
|
{
|
|
C(C&); // not const
|
|
void operator=(C&); // not const
|
|
};
|
|
|
|
#if TEST_STD_VER >= 11
|
|
struct Tuple {
|
|
Tuple(Empty&&) noexcept {}
|
|
};
|
|
#endif
|
|
|
|
int main()
|
|
{
|
|
test_is_nothrow_constructible<int> ();
|
|
test_is_nothrow_constructible<int, const int&> ();
|
|
test_is_nothrow_constructible<Empty> ();
|
|
test_is_nothrow_constructible<Empty, const Empty&> ();
|
|
|
|
test_is_not_nothrow_constructible<A, int> ();
|
|
test_is_not_nothrow_constructible<A, int, double> ();
|
|
test_is_not_nothrow_constructible<A> ();
|
|
test_is_not_nothrow_constructible<C> ();
|
|
#if TEST_STD_VER >= 11
|
|
test_is_nothrow_constructible<Tuple &&, Empty> (); // See bug #19616.
|
|
|
|
static_assert(!std::is_constructible<Tuple&, Empty>::value, "");
|
|
test_is_not_nothrow_constructible<Tuple &, Empty> (); // See bug #19616.
|
|
#endif
|
|
}
|