mirror/freebsd
1
0
Fork 0
mirror of https://git.FreeBSD.org/src.git synced 2025-01-04 12:52:15 +00:00
Code Issues Releases Activity

Vendor import of libc++ release_39 branch r287912:

Browse Source 
https://llvm.org/svn/llvm-project/libcxx/branches/release_39@287912
This commit is contained in:
Dimitry Andric 2016-11-25 19:11:46 +00:00
parent e947f967d1
commit b50f154970
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/vendor/libc++/dist/; revision=309160
svn path=/vendor/libc++/libc++-release_391-r289601/; revision=310165; tag=vendor/libc++/libc++-release_391-r289601
2 changed files with 54 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
include/tuple
View File

@ -681,7 +681,7 @@ public:
< <
_CheckArgsConstructor< _CheckArgsConstructor<
_Dummy _Dummy
>::template __enable_implicit<_Tp...>(), >::template __enable_implicit<_Tp const&...>(),
bool bool
>::type = false >::type = false
> >
@ -699,7 +699,7 @@ public:
< <
_CheckArgsConstructor< _CheckArgsConstructor<
_Dummy _Dummy
>::template __enable_explicit<_Tp...>(), >::template __enable_explicit<_Tp const&...>(),
bool bool
>::type = false >::type = false
> >
@ -717,7 +717,7 @@ public:
< <
_CheckArgsConstructor< _CheckArgsConstructor<
_Dummy _Dummy
>::template __enable_implicit<_Tp...>(), >::template __enable_implicit<_Tp const&...>(),
bool bool
>::type = false >::type = false
> >
@ -736,7 +736,7 @@ public:
< <
_CheckArgsConstructor< _CheckArgsConstructor<
_Dummy _Dummy
>::template __enable_explicit<_Tp...>(), >::template __enable_explicit<_Tp const&...>(),
bool bool
>::type = false >::type = false
> >

50
test/std/utilities/tuple/tuple.tuple/tuple.cnstr/move.pass.cpp
View File

@ -35,6 +35,52 @@ struct ConstructsWithTupleLeaf
} }
}; };
// move_only type which triggers the empty base optimization
struct move_only_ebo {
move_only_ebo() = default;
move_only_ebo(move_only_ebo&&) = default;
};
// a move_only type which does not trigger the empty base optimization
struct move_only_large final {
move_only_large() : value(42) {}
move_only_large(move_only_large&&) = default;
int value;
};
template <class Elem>
void test_sfinae() {
using Tup = std::tuple<Elem>;
using Alloc = std::allocator<void>;
using Tag = std::allocator_arg_t;
// special members
{
static_assert(std::is_default_constructible<Tup>::value, "");
static_assert(std::is_move_constructible<Tup>::value, "");
static_assert(!std::is_copy_constructible<Tup>::value, "");
static_assert(!std::is_constructible<Tup, Tup&>::value, "");
}
// args constructors
{
static_assert(std::is_constructible<Tup, Elem&&>::value, "");
static_assert(!std::is_constructible<Tup, Elem const&>::value, "");
static_assert(!std::is_constructible<Tup, Elem&>::value, "");
}
// uses-allocator special member constructors
{
static_assert(std::is_constructible<Tup, Tag, Alloc>::value, "");
static_assert(std::is_constructible<Tup, Tag, Alloc, Tup&&>::value, "");
static_assert(!std::is_constructible<Tup, Tag, Alloc, Tup const&>::value, "");
static_assert(!std::is_constructible<Tup, Tag, Alloc, Tup &>::value, "");
}
// uses-allocator args constructors
{
static_assert(std::is_constructible<Tup, Tag, Alloc, Elem&&>::value, "");
static_assert(!std::is_constructible<Tup, Tag, Alloc, Elem const&>::value, "");
static_assert(!std::is_constructible<Tup, Tag, Alloc, Elem &>::value, "");
}
}
int main() int main()
{ {
{ {
@ -72,4 +118,8 @@ int main()
d_t d((ConstructsWithTupleLeaf())); d_t d((ConstructsWithTupleLeaf()));
d_t d2(static_cast<d_t &&>(d)); d_t d2(static_cast<d_t &&>(d));
} }
{
test_sfinae<move_only_ebo>();
test_sfinae<move_only_large>();
}
} }