1 // RUN: %clang_cc1 -std=c++0x -fsyntax-only -fexceptions -verify %s 2 3 struct one { char c[1]; }; 4 struct two { char c[2]; }; 5 6 namespace std { 7 typedef decltype(sizeof(int)) size_t; 8 9 // libc++'s implementation 10 template <class _E> 11 class initializer_list 12 { 13 const _E* __begin_; 14 size_t __size_; 15 16 initializer_list(const _E* __b, size_t __s) 17 : __begin_(__b), 18 __size_(__s) 19 {} 20 21 public: 22 typedef _E value_type; 23 typedef const _E& reference; 24 typedef const _E& const_reference; 25 typedef size_t size_type; 26 27 typedef const _E* iterator; 28 typedef const _E* const_iterator; 29 30 initializer_list() : __begin_(nullptr), __size_(0) {} 31 32 size_t size() const {return __size_;} 33 const _E* begin() const {return __begin_;} 34 const _E* end() const {return __begin_ + __size_;} 35 }; 36 } 37 38 namespace objects { 39 40 struct X1 { X1(int); }; 41 struct X2 { explicit X2(int); }; // expected-note {{constructor declared here}} 42 43 template <int N> 44 struct A { 45 A() { static_assert(N == 0, ""); } 46 A(int, double) { static_assert(N == 1, ""); } 47 }; 48 49 template <int N> 50 struct F { 51 F() { static_assert(N == 0, ""); } 52 F(int, double) { static_assert(N == 1, ""); } 53 F(std::initializer_list<int>) { static_assert(N == 3, ""); } 54 }; 55 56 template <int N> 57 struct D { 58 D(std::initializer_list<int>) { static_assert(N == 0, ""); } // expected-note 1 {{candidate}} 59 D(std::initializer_list<double>) { static_assert(N == 1, ""); } // expected-note 1 {{candidate}} 60 }; 61 62 template <int N> 63 struct E { 64 E(int, int) { static_assert(N == 0, ""); } 65 E(X1, int) { static_assert(N == 1, ""); } 66 }; 67 68 void overload_resolution() { 69 { A<0> a{}; } 70 { A<0> a = {}; } 71 { A<1> a{1, 1.0}; } 72 { A<1> a = {1, 1.0}; } 73 74 { F<0> f{}; } 75 { F<0> f = {}; } 76 // Narrowing conversions don't affect viability. The next two choose 77 // the initializer_list constructor. 78 { F<3> f{1, 1.0}; } // expected-error {{type 'double' cannot be narrowed to 'int' in initializer list}} expected-note {{silence}} 79 { F<3> f = {1, 1.0}; } // expected-error {{type 'double' cannot be narrowed to 'int' in initializer list}} expected-note {{silence}} 80 { F<3> f{1, 2, 3, 4, 5, 6, 7, 8}; } 81 { F<3> f = {1, 2, 3, 4, 5, 6, 7, 8}; } 82 { F<3> f{1, 2, 3, 4, 5, 6, 7, 8}; } 83 { F<3> f{1, 2}; } 84 85 { D<0> d{1, 2, 3}; } 86 { D<1> d{1.0, 2.0, 3.0}; } 87 { D<-1> d{1, 2.0}; } // expected-error {{ambiguous}} 88 89 { E<0> e{1, 2}; } 90 } 91 92 void explicit_implicit() { 93 { X1 x{0}; } 94 { X1 x = {0}; } 95 { X2 x{0}; } 96 { X2 x = {0}; } // expected-error {{constructor is explicit}} 97 } 98 99 struct C { 100 C(); 101 C(int, double); 102 C(int, int); 103 104 int operator[](C); 105 }; 106 107 C function_call() { 108 void takes_C(C); 109 takes_C({1, 1.0}); 110 111 C c; 112 c[{1, 1.0}]; 113 114 return {1, 1.0}; 115 } 116 117 void inline_init() { 118 (void) C{1, 1.0}; 119 (void) new C{1, 1.0}; 120 (void) A<1>{1, 1.0}; 121 (void) new A<1>{1, 1.0}; 122 } 123 124 struct B { // expected-note 2 {{candidate constructor}} 125 B(C, int, C); // expected-note {{candidate constructor not viable: cannot convert initializer list argument to 'objects::C'}} 126 }; 127 128 void nested_init() { 129 B b1{{1, 1.0}, 2, {3, 4}}; 130 B b2{{1, 1.0, 4}, 2, {3, 4}}; // expected-error {{no matching constructor for initialization of 'objects::B'}} 131 } 132 133 void overloaded_call() { 134 one ov1(B); // expected-note {{not viable: cannot convert initializer list}} 135 two ov1(C); // expected-note {{not viable: cannot convert initializer list}} 136 137 static_assert(sizeof(ov1({})) == sizeof(two), "bad overload"); 138 static_assert(sizeof(ov1({1, 2})) == sizeof(two), "bad overload"); 139 static_assert(sizeof(ov1({{1, 1.0}, 2, {3, 4}})) == sizeof(one), "bad overload"); 140 141 ov1({1}); // expected-error {{no matching function}} 142 143 one ov2(int); 144 two ov2(F<3>); 145 static_assert(sizeof(ov2({1})) == sizeof(one), "bad overload"); // list -> int ranks as identity 146 static_assert(sizeof(ov2({1, 2, 3})) == sizeof(two), "bad overload"); // list -> F only viable 147 } 148 149 struct G { // expected-note 6 {{not viable}} 150 // This is not an initializer-list constructor. 151 template<typename ...T> 152 G(std::initializer_list<int>, T ...); // expected-note 3 {{not viable}} 153 }; 154 155 struct H { // expected-note 6 {{not viable}} 156 explicit H(int, int); // expected-note 3 {{not viable}} expected-note {{declared here}} 157 H(int, void*); // expected-note 3 {{not viable}} 158 }; 159 160 void edge_cases() { 161 // invalid (the first phase only considers init-list ctors) 162 // (for the second phase, no constructor is viable) 163 G g1{1, 2, 3}; // expected-error {{no matching constructor}} 164 (void) new G{1, 2, 3}; // expected-error {{no matching constructor}} 165 (void) G{1, 2, 3} // expected-error {{no matching constructor}} 166 167 // valid (T deduced to <>). 168 G g2({1, 2, 3}); 169 (void) new G({1, 2, 3}); 170 (void) G({1, 2, 3}); 171 172 // invalid 173 H h1({1, 2}); // expected-error {{no matching constructor}} 174 (void) new H({1, 2}); // expected-error {{no matching constructor}} 175 // FIXME: Bad diagnostic, mentions void type instead of init list. 176 (void) H({1, 2}); // expected-error {{no matching conversion}} 177 178 // valid (by copy constructor). 179 H h2({1, nullptr}); 180 (void) new H({1, nullptr}); 181 (void) H({1, nullptr}); 182 183 // valid 184 H h3{1, 2}; 185 (void) new H{1, 2}; 186 (void) H{1, 2}; 187 } 188 189 struct memberinit { 190 H h1{1, nullptr}; 191 H h2 = {1, nullptr}; 192 H h3{1, 1}; 193 H h4 = {1, 1}; // expected-error {{constructor is explicit}} 194 }; 195 } 196 197 namespace PR12092 { 198 199 struct S { 200 S(const char*); 201 }; 202 struct V { 203 template<typename T> V(T, T); 204 void f(std::initializer_list<S>); 205 void f(const V &); 206 }; 207 208 void g() { 209 extern V s; 210 s.f({"foo", "bar"}); 211 } 212 213 } 214 215 namespace PR12117 { 216 struct A { A(int); }; 217 struct B { B(A); } b{{0}}; 218 struct C { C(int); } c{0}; 219 } 220 221 namespace PR12167 { 222 template<int N> struct string {}; 223 224 struct X { 225 X(const char v); 226 template<typename T> bool operator()(T) const; 227 }; 228 229 template<int N, class Comparator> bool g(const string<N>& s, Comparator cmp) { 230 return cmp(s); 231 } 232 template<int N> bool f(const string<N> &s) { 233 return g(s, X{'x'}); 234 } 235 236 bool s = f(string<1>()); 237 } 238 239 namespace PR12257_PR12241 { 240 struct command_pair 241 { 242 command_pair(int, int); 243 }; 244 245 struct command_map 246 { 247 command_map(std::initializer_list<command_pair>); 248 }; 249 250 struct generator_pair 251 { 252 generator_pair(const command_map); 253 }; 254 255 // 5 levels: init list, gen_pair, command_map, init list, command_pair 256 const std::initializer_list<generator_pair> x = {{{{{3, 4}}}}}; 257 258 // 4 levels: init list, gen_pair, command_map via init list, command_pair 259 const std::initializer_list<generator_pair> y = {{{{1, 2}}}}; 260 } 261 262 namespace PR12120 { 263 struct A { explicit A(int); A(float); }; // expected-note {{declared here}} 264 A a = { 0 }; // expected-error {{constructor is explicit}} 265 266 struct B { explicit B(short); B(long); }; // expected-note 2 {{candidate}} 267 B b = { 0 }; // expected-error {{ambiguous}} 268 } 269 270 namespace PR12498 { 271 class ArrayRef; // expected-note{{forward declaration}} 272 273 struct C { 274 void foo(const ArrayRef&); // expected-note{{passing argument to parameter here}} 275 }; 276 277 static void bar(C* c) 278 { 279 c->foo({ nullptr, 1 }); // expected-error{{initialization of incomplete type 'const PR12498::ArrayRef'}} 280 } 281 } 282 283 namespace explicit_default { 284 struct A { 285 explicit A(); // expected-note{{here}} 286 }; 287 A a {}; // ok 288 // This is copy-list-initialization, and we choose an explicit constructor 289 // (even though we do so via value-initialization), so the initialization is 290 // ill-formed. 291 A b = {}; // expected-error{{chosen constructor is explicit}} 292 } 293 294 namespace init_list_default { 295 struct A { 296 A(std::initializer_list<int>); 297 }; 298 A a {}; // calls initializer list constructor 299 300 struct B { 301 B(); 302 B(std::initializer_list<int>) = delete; 303 }; 304 B b {}; // calls default constructor 305 } 306 307 // PR13470, <rdar://problem/11974632> 308 namespace PR13470 { 309 struct W { 310 explicit W(int); // expected-note {{here}} 311 }; 312 313 struct X { 314 X(const X&) = delete; // expected-note 3 {{here}} 315 X(int); 316 }; 317 318 template<typename T, typename Fn> void call(Fn f) { 319 f({1}); // expected-error {{constructor is explicit}} 320 f(T{1}); // expected-error {{call to deleted constructor}} 321 } 322 323 void ref_w(const W &); // expected-note 2 {{not viable}} 324 void call_ref_w() { 325 ref_w({1}); // expected-error {{no matching function}} 326 ref_w(W{1}); 327 call<W>(ref_w); // expected-note {{instantiation of}} 328 } 329 330 void ref_x(const X &); 331 void call_ref_x() { 332 ref_x({1}); 333 ref_x(X{1}); 334 call<X>(ref_x); // ok 335 } 336 337 void val_x(X); // expected-note 2 {{parameter}} 338 void call_val_x() { 339 val_x({1}); 340 val_x(X{1}); // expected-error {{call to deleted constructor}} 341 call<X>(val_x); // expected-note {{instantiation of}} 342 } 343 344 template<typename T> 345 struct Y { 346 X x{1}; 347 void f() { X x{1}; } 348 void h() { 349 ref_w({1}); // expected-error {{no matching function}} 350 ref_w(W{1}); 351 ref_x({1}); 352 ref_x(X{1}); 353 val_x({1}); 354 val_x(X{1}); // expected-error {{call to deleted constructor}} 355 } 356 Y() {} 357 Y(int) : x{1} {} 358 }; 359 360 Y<int> yi; 361 Y<int> yi2(0); 362 void g() { 363 yi.f(); 364 yi.h(); // ok, all diagnostics produced in template definition 365 } 366 } 367 368 namespace PR19729 { 369 struct A { 370 A(int); 371 A(const A&) = delete; 372 }; 373 struct B { 374 void *operator new(std::size_t, A); 375 }; 376 B *p = new ({123}) B; 377 } 378 379 namespace PR11410 { 380 struct A { 381 A() = delete; // expected-note 2{{deleted here}} 382 A(int); 383 }; 384 385 A a[3] = { 386 {1}, {2} 387 }; // expected-error {{call to deleted constructor}} \ 388 expected-note {{in implicit initialization of array element 2 with omitted initializer}} 389 390 struct B { 391 A a; // expected-note {{in implicit initialization of field 'a'}} 392 } b = { 393 }; // expected-error {{call to deleted constructor}} 394 395 struct C { 396 C(int = 0); // expected-note 2{{candidate}} 397 C(float = 0); // expected-note 2{{candidate}} 398 }; 399 C c[3] = { 400 0, 1 401 }; // expected-error {{ambiguous}} expected-note {{in implicit initialization of array element 2}} 402 C c2[3] = { 403 [0] = 1, [2] = 3 404 }; // expected-error {{ambiguous}} expected-note {{in implicit initialization of array element 1}} 405 } 406
