1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
// { dg-do compile { target c++11 } }
#include <unordered_set>
static_assert( std::is_default_constructible<std::unordered_set<int>>{}, "" );
template<typename T>
struct NoDefaultConsAlloc
{
using value_type = T;
NoDefaultConsAlloc(int) noexcept { }
template<typename U>
NoDefaultConsAlloc(const NoDefaultConsAlloc<U>&) { }
T *allocate(std::size_t n)
{ return std::allocator<T>().allocate(n); }
void deallocate(T *p, std::size_t n)
{ std::allocator<T>().deallocate(p, n); }
bool operator==(const NoDefaultConsAlloc&) const { return true; }
bool operator!=(const NoDefaultConsAlloc&) const { return false; }
};
using Set = std::unordered_set<int, std::hash<int>, std::equal_to<int>,
NoDefaultConsAlloc<int>>;
static_assert( ! std::is_default_constructible<Set>{}, "PR libstdc++/100863" );
struct Hash : std::hash<int> { Hash(int) { } };
using Set2 = std::unordered_set<int, Hash>;
static_assert( ! std::is_default_constructible<Set2>{}, "PR libstdc++/100863" );
struct Equal : std::equal_to<int> { Equal(int) { } };
using Set3 = std::unordered_set<int, std::hash<int>, Equal>;
static_assert( ! std::is_default_constructible<Set3>{}, "PR libstdc++/100863" );
// PR libstdc++/101583
// verify non-default ctors can still be used
using Set4 = std::unordered_set<int, Hash, Equal, NoDefaultConsAlloc<int>>;
Hash h(1);
Equal eq(1);
Set4::allocator_type a(1);
Set4 s{1, h, eq, a};
Set4 s2{s.begin(), s.end(), s.size(), h, eq, a};
Set4 s3{{1, 2, 3}, 3, h, eq, a};
Set4 s4{s};
Set4 s5{s, a};
Set4 s6{std::move(s)};
Set4 s7{std::move(s6), a};
|
