blob: 7d5e9bca63c456e720fb186f0945ff5a0b481bcf (
plain)
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
//===----------------------------------------------------------------------===//
//
// 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.
//
//===----------------------------------------------------------------------===//
// libc++ cannot safely provide the auto_ptr constructor without rvalue
// references.
// REQUIRES: c++11 || c++14
// <memory>
// unique_ptr
// template <class U> unique_ptr(auto_ptr<U>&&) noexcept
#include <memory>
#include <utility>
#include <cassert>
#include "test_macros.h"
struct A {
static int count;
A() { ++count; }
A(const A&) { ++count; }
virtual ~A() { --count; }
};
int A::count = 0;
struct B : public A {
static int count;
B() { ++count; }
B(const B&) { ++count; }
virtual ~B() { --count; }
};
int B::count = 0;
struct C {};
struct Deleter {
void operator()(void*) {}
};
void test_sfinae() {
{
// the auto_ptr constructor should be disable with a non-default deleter.
using AP = std::auto_ptr<int>;
using U = std::unique_ptr<int, Deleter>;
static_assert(!std::is_constructible<U, AP&&>::value, "");
}
{
// the auto_ptr constructor should be disabled when the pointer types are incompatible.
using AP = std::auto_ptr<A>;
using U = std::unique_ptr<C>;
static_assert(!std::is_constructible<U, AP&&>::value, "");
}
}
int main() {
{
B* p = new B;
std::auto_ptr<B> ap(p);
std::unique_ptr<A> up(std::move(ap));
assert(up.get() == p);
assert(ap.get() == 0);
assert(A::count == 1);
assert(B::count == 1);
}
assert(A::count == 0);
assert(B::count == 0);
{
B* p = new B;
std::auto_ptr<B> ap(p);
std::unique_ptr<A> up;
up = std::move(ap);
assert(up.get() == p);
assert(ap.get() == 0);
assert(A::count == 1);
assert(B::count == 1);
}
assert(A::count == 0);
assert(B::count == 0);
#if TEST_STD_VER >= 11
{
static_assert(std::is_nothrow_constructible<std::unique_ptr<A>,
std::auto_ptr<B>&&>::value,
"");
}
#endif
test_sfinae();
}
|
