annotate gcc/testsuite/g++.dg/template/memfriend14.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // { dg-do compile }
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 // Copyright (C) 2004 Free Software Foundation
kono
parents:
diff changeset
4 // Contributed by Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 // Nested class template of class template as friend
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 template<class T> struct A
kono
parents:
diff changeset
9 {
kono
parents:
diff changeset
10 template <T t> struct B
kono
parents:
diff changeset
11 {
kono
parents:
diff changeset
12 void f();
kono
parents:
diff changeset
13 };
kono
parents:
diff changeset
14 };
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 template <class U> class C {
kono
parents:
diff changeset
17 int i;
kono
parents:
diff changeset
18 template<class T> template <T t> friend struct A<T>::B;
kono
parents:
diff changeset
19 };
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 template<class T> struct A<T*>
kono
parents:
diff changeset
22 {
kono
parents:
diff changeset
23 template <T* t> struct B
kono
parents:
diff changeset
24 {
kono
parents:
diff changeset
25 void f();
kono
parents:
diff changeset
26 };
kono
parents:
diff changeset
27 };
kono
parents:
diff changeset
28
kono
parents:
diff changeset
29 template<> struct A<char>
kono
parents:
diff changeset
30 {
kono
parents:
diff changeset
31 template <char t> struct B
kono
parents:
diff changeset
32 {
kono
parents:
diff changeset
33 void f();
kono
parents:
diff changeset
34 };
kono
parents:
diff changeset
35 };
kono
parents:
diff changeset
36
kono
parents:
diff changeset
37 template<class T> template <T t> void A<T>::B<t>::f()
kono
parents:
diff changeset
38 {
kono
parents:
diff changeset
39 C<int> c;
kono
parents:
diff changeset
40 c.i = 0;
kono
parents:
diff changeset
41 }
kono
parents:
diff changeset
42
kono
parents:
diff changeset
43 template<class T> template <T* t> void A<T*>::B<t>::f()
kono
parents:
diff changeset
44 {
kono
parents:
diff changeset
45 C<int> c;
kono
parents:
diff changeset
46 c.i = 0;
kono
parents:
diff changeset
47 }
kono
parents:
diff changeset
48
kono
parents:
diff changeset
49 template <char t> void A<char>::B<t>::f()
kono
parents:
diff changeset
50 {
kono
parents:
diff changeset
51 C<int> c;
kono
parents:
diff changeset
52 c.i = 0;
kono
parents:
diff changeset
53 }
kono
parents:
diff changeset
54
kono
parents:
diff changeset
55 template <> void A<char>::B<'b'>::f()
kono
parents:
diff changeset
56 {
kono
parents:
diff changeset
57 C<int> c;
kono
parents:
diff changeset
58 c.i = 0;
kono
parents:
diff changeset
59 }
kono
parents:
diff changeset
60
kono
parents:
diff changeset
61 int d2 = 0;
kono
parents:
diff changeset
62
kono
parents:
diff changeset
63 int main()
kono
parents:
diff changeset
64 {
kono
parents:
diff changeset
65 A<int>::B<0> b1;
kono
parents:
diff changeset
66 b1.f();
kono
parents:
diff changeset
67 A<int *>::B<&d2> b2;
kono
parents:
diff changeset
68 b2.f();
kono
parents:
diff changeset
69 A<char>::B<'a'> b3;
kono
parents:
diff changeset
70 b3.f();
kono
parents:
diff changeset
71 A<char>::B<'b'> b4;
kono
parents:
diff changeset
72 b4.f();
kono
parents:
diff changeset
73 }