| Argyrios Kyrtzidis | 106caf92 | 2010-06-19 19:28:53 +0000 | [diff] [blame] | 1 | // Header for PCH test cxx-templates.cpp | 
|  | 2 |  | 
| Argyrios Kyrtzidis | 818c5db | 2010-06-23 13:48:30 +0000 | [diff] [blame] | 3 | template <typename T1, typename T2> | 
| Argyrios Kyrtzidis | 746c889 | 2010-07-02 11:55:48 +0000 | [diff] [blame] | 4 | struct S; | 
|  | 5 |  | 
|  | 6 | template <typename T1, typename T2> | 
| Argyrios Kyrtzidis | 106caf92 | 2010-06-19 19:28:53 +0000 | [diff] [blame] | 7 | struct S { | 
| Argyrios Kyrtzidis | 746c889 | 2010-07-02 11:55:48 +0000 | [diff] [blame] | 8 | S() { } | 
| Argyrios Kyrtzidis | 818c5db | 2010-06-23 13:48:30 +0000 | [diff] [blame] | 9 | static void templ(); | 
|  | 10 | }; | 
|  | 11 |  | 
|  | 12 | template <typename T> | 
|  | 13 | struct S<int, T> { | 
|  | 14 | static void partial(); | 
|  | 15 | }; | 
|  | 16 |  | 
|  | 17 | template <> | 
|  | 18 | struct S<int, float> { | 
|  | 19 | static void explicit_special(); | 
| Argyrios Kyrtzidis | 106caf92 | 2010-06-19 19:28:53 +0000 | [diff] [blame] | 20 | }; | 
| Argyrios Kyrtzidis | 69da4a8 | 2010-06-22 09:55:07 +0000 | [diff] [blame] | 21 |  | 
| Argyrios Kyrtzidis | ddf5f21 | 2010-06-28 09:31:42 +0000 | [diff] [blame] | 22 | template <int x> | 
|  | 23 | int tmpl_f2() { return x; } | 
|  | 24 |  | 
| Argyrios Kyrtzidis | b1d38e3 | 2010-06-25 16:25:09 +0000 | [diff] [blame] | 25 | template <typename T, int y> | 
| Argyrios Kyrtzidis | 69da4a8 | 2010-06-22 09:55:07 +0000 | [diff] [blame] | 26 | T templ_f(T x) { | 
| Argyrios Kyrtzidis | 0b0369a | 2010-06-28 09:31:34 +0000 | [diff] [blame] | 27 | int z = templ_f<int, 5>(3); | 
| Argyrios Kyrtzidis | ddf5f21 | 2010-06-28 09:31:42 +0000 | [diff] [blame] | 28 | z = tmpl_f2<y+2>(); | 
| Argyrios Kyrtzidis | 4a57bd0 | 2010-06-30 08:49:25 +0000 | [diff] [blame] | 29 | T data[y]; | 
| Argyrios Kyrtzidis | b1d38e3 | 2010-06-25 16:25:09 +0000 | [diff] [blame] | 30 | return x+y; | 
| Argyrios Kyrtzidis | 69da4a8 | 2010-06-22 09:55:07 +0000 | [diff] [blame] | 31 | } | 
| Argyrios Kyrtzidis | bfcacee | 2010-06-24 08:57:31 +0000 | [diff] [blame] | 32 |  | 
| Argyrios Kyrtzidis | 58e01ad | 2010-06-25 09:03:34 +0000 | [diff] [blame] | 33 | void govl(int); | 
|  | 34 | void govl(char); | 
|  | 35 |  | 
|  | 36 | template <typename T> | 
|  | 37 | struct Unresolv { | 
|  | 38 | void f() { | 
|  | 39 | govl(T()); | 
|  | 40 | } | 
|  | 41 | }; | 
|  | 42 |  | 
| Argyrios Kyrtzidis | bfcacee | 2010-06-24 08:57:31 +0000 | [diff] [blame] | 43 | template <typename T> | 
|  | 44 | struct Dep { | 
|  | 45 | typedef typename T::type Ty; | 
|  | 46 | void f() { | 
|  | 47 | Ty x = Ty(); | 
|  | 48 | T::my_f(); | 
|  | 49 | int y = T::template my_templf<int>(0); | 
| Argyrios Kyrtzidis | b8d3c63 | 2010-06-25 09:03:26 +0000 | [diff] [blame] | 50 | ovl(y); | 
| Argyrios Kyrtzidis | bfcacee | 2010-06-24 08:57:31 +0000 | [diff] [blame] | 51 | } | 
| Argyrios Kyrtzidis | b8d3c63 | 2010-06-25 09:03:26 +0000 | [diff] [blame] | 52 |  | 
|  | 53 | void ovl(int); | 
|  | 54 | void ovl(float); | 
| Argyrios Kyrtzidis | bfcacee | 2010-06-24 08:57:31 +0000 | [diff] [blame] | 55 | }; | 
|  | 56 |  | 
|  | 57 | template<typename T, typename A1> | 
|  | 58 | inline T make_a(const A1& a1) { | 
| Argyrios Kyrtzidis | cd444d1a | 2010-06-28 09:31:56 +0000 | [diff] [blame] | 59 | T::depend_declref(); | 
| Argyrios Kyrtzidis | bfcacee | 2010-06-24 08:57:31 +0000 | [diff] [blame] | 60 | return T(a1); | 
|  | 61 | } | 
| Argyrios Kyrtzidis | bd8ac8c | 2010-06-30 08:49:30 +0000 | [diff] [blame] | 62 |  | 
|  | 63 | template <class T> class UseBase { | 
|  | 64 | void foo(); | 
|  | 65 | typedef int bar; | 
|  | 66 | }; | 
|  | 67 |  | 
|  | 68 | template <class T> class UseA : public UseBase<T> { | 
|  | 69 | using UseBase<T>::foo; | 
|  | 70 | using typename UseBase<T>::bar; | 
|  | 71 | }; | 
| Argyrios Kyrtzidis | 746c889 | 2010-07-02 11:55:48 +0000 | [diff] [blame] | 72 |  | 
|  | 73 | template <class T> class Sub : public UseBase<int> { }; | 
|  | 74 |  | 
|  | 75 | template <class _Ret, class _Tp> | 
|  | 76 | class mem_fun_t | 
|  | 77 | { | 
|  | 78 | public: | 
|  | 79 | explicit | 
|  | 80 | mem_fun_t(_Ret (_Tp::*__pf)()) | 
|  | 81 | {} | 
|  | 82 |  | 
|  | 83 | private: | 
|  | 84 | _Ret (_Tp::*_M_f)(); | 
|  | 85 | }; | 
|  | 86 |  | 
|  | 87 | template<unsigned N> | 
|  | 88 | bool isInt(int x); | 
|  | 89 |  | 
|  | 90 | template<> bool isInt<8>(int x) { | 
| Argyrios Kyrtzidis | 47cd7a9 | 2010-07-22 16:03:56 +0000 | [diff] [blame] | 91 | try { ++x; } catch(...) { --x; } | 
|  | 92 | return true; | 
| Argyrios Kyrtzidis | 746c889 | 2010-07-02 11:55:48 +0000 | [diff] [blame] | 93 | } | 
|  | 94 |  | 
|  | 95 | template<typename _CharT> | 
|  | 96 | int __copy_streambufs_eof(_CharT); | 
|  | 97 |  | 
|  | 98 | class basic_streambuf | 
|  | 99 | { | 
|  | 100 | void m() { } | 
|  | 101 | friend int __copy_streambufs_eof<>(int); | 
|  | 102 | }; | 
|  | 103 |  | 
| Argyrios Kyrtzidis | 3816ed4 | 2010-07-19 10:14:41 +0000 | [diff] [blame] | 104 | // PR 7660 | 
|  | 105 | template<typename T> struct S_PR7660 { void g(void (*)(T)); }; | 
|  | 106 | template<> void S_PR7660<int>::g(void(*)(int)) {} | 
| Argyrios Kyrtzidis | 47470f2 | 2010-07-20 13:59:28 +0000 | [diff] [blame] | 107 |  | 
|  | 108 | // PR 7670 | 
|  | 109 | template<typename> class C_PR7670; | 
|  | 110 | template<> class C_PR7670<int>; | 
|  | 111 | template<> class C_PR7670<int>; | 
| Argyrios Kyrtzidis | 6e03a74 | 2010-07-29 20:07:52 +0000 | [diff] [blame] | 112 |  | 
|  | 113 | template <bool B> | 
|  | 114 | struct S2 { | 
|  | 115 | static bool V; | 
|  | 116 | }; | 
|  | 117 |  | 
|  | 118 | extern template class S2<true>; | 
| Argyrios Kyrtzidis | 839bbac | 2010-08-03 17:30:10 +0000 | [diff] [blame] | 119 |  | 
|  | 120 | template <typename T> | 
|  | 121 | struct S3 { | 
|  | 122 | void m(); | 
|  | 123 | }; | 
|  | 124 |  | 
|  | 125 | template <typename T> | 
|  | 126 | inline void S3<T>::m() { } | 
| Argyrios Kyrtzidis | 7f76d11 | 2010-08-05 09:48:16 +0000 | [diff] [blame] | 127 |  | 
|  | 128 | template <typename T> | 
|  | 129 | struct S4 { | 
|  | 130 | void m() { } | 
|  | 131 | }; | 
|  | 132 | extern template struct S4<int>; | 
|  | 133 |  | 
|  | 134 | void S4ImplicitInst() { | 
|  | 135 | S4<int> s; | 
|  | 136 | s.m(); | 
|  | 137 | } | 
| Argyrios Kyrtzidis | d05f3e3 | 2010-09-06 19:04:27 +0000 | [diff] [blame] | 138 |  | 
|  | 139 | struct S5 { | 
|  | 140 | S5(int x); | 
|  | 141 | }; | 
|  | 142 |  | 
|  | 143 | struct TS5 { | 
|  | 144 | S5 s; | 
|  | 145 | template <typename T> | 
|  | 146 | TS5(T y) : s(y) {} | 
|  | 147 | }; | 
| Argyrios Kyrtzidis | f24d569 | 2010-09-13 11:45:48 +0000 | [diff] [blame] | 148 |  | 
|  | 149 | // PR 8134 | 
|  | 150 | template<class T> void f_PR8134(T); | 
|  | 151 | template<class T> void f_PR8134(T); | 
|  | 152 | void g_PR8134() { f_PR8134(0); f_PR8134('x'); } | 
| Douglas Gregor | f86c939 | 2010-10-26 00:51:02 +0000 | [diff] [blame] | 153 |  | 
|  | 154 | // rdar8580149 | 
|  | 155 | template <typename T> | 
|  | 156 | struct S6; | 
|  | 157 |  | 
|  | 158 | template <typename T, unsigned N> | 
|  | 159 | struct S6<const T [N]> | 
|  | 160 | { | 
|  | 161 | private: | 
|  | 162 | typedef const T t1[N]; | 
|  | 163 | public: | 
|  | 164 | typedef t1& t2; | 
|  | 165 | }; | 
|  | 166 |  | 
| Douglas Gregor | d4c5ed0 | 2010-10-29 22:39:52 +0000 | [diff] [blame] | 167 | template<typename T> | 
|  | 168 | struct S7; | 
|  | 169 |  | 
|  | 170 | template<unsigned N> | 
|  | 171 | struct S7<int[N]> : S6<const int[N]> { }; | 
| Douglas Gregor | 87866ce | 2011-02-04 12:01:24 +0000 | [diff] [blame] | 172 |  | 
|  | 173 | // Zero-length template argument lists | 
|  | 174 | namespace ZeroLengthExplicitTemplateArgs { | 
|  | 175 | template<typename T> void h(); | 
|  | 176 |  | 
|  | 177 | struct Y { | 
|  | 178 | template<typename T> void f(); | 
|  | 179 | }; | 
|  | 180 |  | 
|  | 181 | template<typename T> | 
|  | 182 | void f(T *ptr) { | 
|  | 183 | T::template g<>(17); | 
|  | 184 | ptr->template g2<>(17); | 
|  | 185 | h<T>(); | 
|  | 186 | h<int>(); | 
|  | 187 | Y y; | 
|  | 188 | y.f<int>(); | 
|  | 189 | } | 
|  | 190 |  | 
|  | 191 | struct X { | 
|  | 192 | template<typename T> static void g(T); | 
|  | 193 | template<typename T> void g2(T); | 
|  | 194 | }; | 
|  | 195 | } | 
| Douglas Gregor | 250ffb1 | 2011-03-05 01:35:54 +0000 | [diff] [blame] | 196 |  | 
|  | 197 | namespace NonTypeTemplateParmContext { | 
|  | 198 | template<typename T, int inlineCapacity = 0> class Vector { }; | 
|  | 199 |  | 
|  | 200 | struct String { | 
|  | 201 | template<int inlineCapacity> | 
|  | 202 | static String adopt(Vector<char, inlineCapacity>&); | 
|  | 203 | }; | 
|  | 204 |  | 
|  | 205 | template<int inlineCapacity> | 
|  | 206 | inline bool equalIgnoringNullity(const Vector<char, inlineCapacity>& a, const String& b) { return false; } | 
|  | 207 | } |