Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
Douglas Gregor | dec0666 | 2009-08-21 18:42:58 +0000 | [diff] [blame] | 2 | struct X0 { // expected-note{{candidate}} |
| 3 | X0(int); // expected-note{{candidate}} |
John McCall | 578b69b | 2009-12-16 08:11:27 +0000 | [diff] [blame] | 4 | template<typename T> X0(T); // expected-note {{candidate}} |
| 5 | template<typename T, typename U> X0(T*, U*); // expected-note {{candidate}} |
Douglas Gregor | efd5bda | 2009-08-24 11:57:43 +0000 | [diff] [blame] | 6 | |
| 7 | // PR4761 |
John McCall | 578b69b | 2009-12-16 08:11:27 +0000 | [diff] [blame] | 8 | template<typename T> X0() : f0(T::foo) {} // expected-note {{candidate}} |
Douglas Gregor | efd5bda | 2009-08-24 11:57:43 +0000 | [diff] [blame] | 9 | int f0; |
Douglas Gregor | dec0666 | 2009-08-21 18:42:58 +0000 | [diff] [blame] | 10 | }; |
| 11 | |
| 12 | void accept_X0(X0); |
| 13 | |
| 14 | void test_X0(int i, float f) { |
| 15 | X0 x0a(i); |
| 16 | X0 x0b(f); |
| 17 | X0 x0c = i; |
| 18 | X0 x0d = f; |
| 19 | accept_X0(i); |
| 20 | accept_X0(&i); |
| 21 | accept_X0(f); |
| 22 | accept_X0(&f); |
| 23 | X0 x0e(&i, &f); |
| 24 | X0 x0f(&f, &i); |
| 25 | |
| 26 | X0 x0g(f, &i); // expected-error{{no matching constructor}} |
| 27 | } |
Douglas Gregor | f882574 | 2009-09-15 18:26:13 +0000 | [diff] [blame] | 28 | |
| 29 | template<typename T> |
| 30 | struct X1 { |
| 31 | X1(const X1&); |
| 32 | template<typename U> X1(const X1<U>&); |
| 33 | }; |
| 34 | |
| 35 | template<typename T> |
| 36 | struct Outer { |
| 37 | typedef X1<T> A; |
| 38 | |
| 39 | A alloc; |
| 40 | |
| 41 | explicit Outer(const A& a) : alloc(a) { } |
| 42 | }; |
| 43 | |
| 44 | void test_X1(X1<int> xi) { |
| 45 | Outer<int> oi(xi); |
| 46 | Outer<float> of(xi); |
| 47 | } |
Douglas Gregor | c7e406b | 2009-09-15 21:14:05 +0000 | [diff] [blame] | 48 | |
| 49 | // PR4655 |
| 50 | template<class C> struct A {}; |
| 51 | template <> struct A<int>{A(const A<int>&);}; |
| 52 | struct B { A<int> x; B(B& a) : x(a.x) {} }; |
Douglas Gregor | 3f9a056 | 2009-11-03 01:35:08 +0000 | [diff] [blame] | 53 | |
Douglas Gregor | 66724ea | 2009-11-14 01:20:54 +0000 | [diff] [blame] | 54 | struct X2 { |
John McCall | b1622a1 | 2010-01-06 09:43:14 +0000 | [diff] [blame] | 55 | X2(); // expected-note{{candidate constructor}} |
| 56 | X2(X2&); // expected-note {{candidate constructor}} |
Douglas Gregor | 66724ea | 2009-11-14 01:20:54 +0000 | [diff] [blame] | 57 | template<typename T> X2(T); |
| 58 | }; |
| 59 | |
| 60 | X2 test(bool Cond, X2 x2) { |
| 61 | if (Cond) |
| 62 | return x2; // okay, uses copy constructor |
| 63 | |
Douglas Gregor | 18ef5e2 | 2009-12-18 05:02:21 +0000 | [diff] [blame] | 64 | return X2(); // expected-error{{no matching constructor}} |
Douglas Gregor | 66724ea | 2009-11-14 01:20:54 +0000 | [diff] [blame] | 65 | } |
| 66 | |
| 67 | struct X3 { |
| 68 | template<typename T> X3(T); |
| 69 | }; |
| 70 | |
| 71 | template<> X3::X3(X3); // expected-error{{must pass its first argument by reference}} |
| 72 | |
| 73 | struct X4 { |
Douglas Gregor | 6493cc5 | 2010-11-08 17:16:59 +0000 | [diff] [blame] | 74 | X4(); |
Douglas Gregor | 66724ea | 2009-11-14 01:20:54 +0000 | [diff] [blame] | 75 | ~X4(); |
Douglas Gregor | 6493cc5 | 2010-11-08 17:16:59 +0000 | [diff] [blame] | 76 | X4(X4&); |
Douglas Gregor | 66724ea | 2009-11-14 01:20:54 +0000 | [diff] [blame] | 77 | template<typename T> X4(const T&, int = 17); |
| 78 | }; |
| 79 | |
| 80 | X4 test_X4(bool Cond, X4 x4) { |
| 81 | X4 a(x4, 17); // okay, constructor template |
| 82 | X4 b(x4); // okay, copy constructor |
Douglas Gregor | 6493cc5 | 2010-11-08 17:16:59 +0000 | [diff] [blame] | 83 | return X4(); |
Douglas Gregor | 66724ea | 2009-11-14 01:20:54 +0000 | [diff] [blame] | 84 | } |
Douglas Gregor | 6eef519 | 2009-12-14 19:27:10 +0000 | [diff] [blame] | 85 | |
| 86 | // Instantiation of a non-dependent use of a constructor |
| 87 | struct DefaultCtorHasDefaultArg { |
| 88 | explicit DefaultCtorHasDefaultArg(int i = 17); |
| 89 | }; |
| 90 | |
| 91 | template<typename T> |
| 92 | void default_ctor_inst() { |
| 93 | DefaultCtorHasDefaultArg def; |
| 94 | } |
| 95 | |
| 96 | template void default_ctor_inst<int>(); |
Douglas Gregor | 3fbaf3e | 2010-04-17 22:01:05 +0000 | [diff] [blame] | 97 | |
| 98 | template<typename T> |
| 99 | struct X5 { |
| 100 | X5(); |
| 101 | X5(const T &); |
| 102 | }; |
| 103 | |
| 104 | struct X6 { |
| 105 | template<typename T> X6(T); |
| 106 | }; |
| 107 | |
| 108 | void test_X5_X6() { |
| 109 | X5<X6> tf; |
| 110 | X5<X6> tf2(tf); |
| 111 | } |
Douglas Gregor | 6493cc5 | 2010-11-08 17:16:59 +0000 | [diff] [blame] | 112 | |
| 113 | namespace PR8182 { |
| 114 | struct foo { |
| 115 | foo(); |
| 116 | template<class T> foo(T&); |
| 117 | |
| 118 | private: |
| 119 | foo(const foo&); |
| 120 | }; |
| 121 | |
| 122 | void test_foo() { |
| 123 | foo f1; |
| 124 | foo f2(f1); |
| 125 | foo f3 = f1; |
| 126 | } |
| 127 | |
| 128 | } |