OSDN Git Service

PR c++/42137
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / g++.dg / tc1 / dr147.C
1 // { dg-do compile }
2 // Origin: Giovanni Bajo <giovannibajo at gcc dot gnu dot org>
3 // DR147: Naming the constructor (PR 11764) 
4
5 namespace N1 {
6
7 struct A { A(); };
8 struct B: public A { B(); };
9
10 A::A() { }
11 B::B() { }
12
13 B::A ba;
14 A::A a; // { dg-error "constructor" "the injected-class-name can never be found through qualified lookup" }
15
16 void f()
17 {
18   A::A a; // { dg-error "constructor" }
19 } // { dg-error "" "" { target *-*-* } 18 } error cascade
20 }
21
22 namespace N2 {
23
24 // This is nasty: if we allowed the injected-class-name to be looked as a 
25 //  qualified type, then the following code would be well-formed. Basically
26 //  the last line is defining the static member (with redundant parenthesis).
27 // Instead, it should be rejected as a malformed constructor declaration.
28
29 template <class T> struct A {
30   template <class T2> A(T2);
31   static A x;
32 };
33 template<> template <> A<char>::A<char>(char);
34 template<> A<int>::A<int>(A<int>::x);  // { dg-error "" "this is an invalid declaration of the constructor" }
35
36 }
37
38 // But DR 318 says that in situations where a type is syntactically
39 // required, lookup finds it.
40
41 struct C
42 {
43   C();
44   typedef int T;
45 };
46 struct C::C c;
47 C::C::T t;
48 struct D: C::C
49 {
50   D(): C::C() { }
51 };