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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
| // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
template<typename T>
class unique_ptr {
T *ptr;
unique_ptr(const unique_ptr&) = delete; // expected-note 3{{'unique_ptr' has been explicitly marked deleted here}}
unique_ptr &operator=(const unique_ptr&) = delete; // expected-note{{candidate function has been explicitly deleted}}
public:
unique_ptr() : ptr(0) { }
unique_ptr(unique_ptr &&other) : ptr(other.ptr) { other.ptr = 0; }
explicit unique_ptr(T *ptr) : ptr(ptr) { }
~unique_ptr() { delete ptr; }
unique_ptr &operator=(unique_ptr &&other) { // expected-note{{candidate function not viable: no known conversion from 'unique_ptr<int>' to 'unique_ptr<int> &&' for 1st argument}}
if (this == &other)
return *this;
delete ptr;
ptr = other.ptr;
other.ptr = 0;
return *this;
}
};
template<typename T>
struct remove_reference {
typedef T type;
};
template<typename T>
struct remove_reference<T&> {
typedef T type;
};
template<typename T>
struct remove_reference<T&&> {
typedef T type;
};
template <class T> typename remove_reference<T>::type&& move(T&& t) {
return static_cast<typename remove_reference<T>::type&&>(t);
}
template <class T> T&& forward(typename remove_reference<T>::type& t) {
return static_cast<T&&>(t);
}
template <class T> T&& forward(typename remove_reference<T>::type&& t) {
return static_cast<T&&>(t);
}
template<typename T, typename ...Args>
unique_ptr<T> make_unique_ptr(Args &&...args) {
return unique_ptr<T>(new T(forward<Args>(args)...));
}
template<typename T> void accept_unique_ptr(unique_ptr<T>); // expected-note{{passing argument to parameter here}}
unique_ptr<int> test_unique_ptr() {
// Simple construction
unique_ptr<int> p;
unique_ptr<int> p1(new int);
// Move construction
unique_ptr<int> p2(make_unique_ptr<int>(17));
unique_ptr<int> p3 = make_unique_ptr<int>(17);
// Copy construction (failures)
unique_ptr<int> p4(p); // expected-error{{call to deleted constructor of 'unique_ptr<int>'}}
unique_ptr<int> p5 = p; // expected-error{{call to deleted constructor of 'unique_ptr<int>'}}
// Move assignment
p2 = move(p);
p2 = make_unique_ptr<int>(0);
// Copy assignment (failures);
p2 = p3; // expected-error{{overload resolution selected deleted operator '='}}
// Implicit copies
accept_unique_ptr(make_unique_ptr<double>(0.0));
accept_unique_ptr(move(p2));
// Implicit copies (failures);
accept_unique_ptr(p); // expected-error{{call to deleted constructor of 'unique_ptr<int>'}}
return p;
}
namespace perfect_forwarding {
struct A { };
struct F0 {
void operator()(A&, const A&, A&&, const A&&, A&&, const A&&); // expected-note{{candidate function not viable: 5th argument ('const perfect_forwarding::A') would lose const qualifier}}
};
template<typename F, typename ...Args>
void forward(F f, Args &&...args) {
f(static_cast<Args&&>(args)...); // expected-error{{no matching function for call to object of type 'perfect_forwarding::F0'}}
}
template<typename T> T get();
void test_forward() {
forward(F0(), get<A&>(), get<A const&>(), get<A>(), get<const A>(),
get<A&&>(), get<const A&&>());
forward(F0(), get<A&>(), get<A const&>(), get<A>(), get<const A>(), // expected-note{{in instantiation of function template specialization 'perfect_forwarding::forward<perfect_forwarding::F0, perfect_forwarding::A &, const perfect_forwarding::A &, perfect_forwarding::A, const perfect_forwarding::A, const perfect_forwarding::A, const perfect_forwarding::A>' requested here}}
get<const A&&>(), get<const A&&>());
}
};
|