1 // { dg-do assemble  }
2 // GROUPS passed visibility
3 // visibility file
4 // From: dinh@cs.ucla.edu (Dinh Le)
5 // Date:     Mon, 12 Jul 93 22:21:06 -0700
6 // Subject:  class, template and their scoping problem
7 // Message-ID: <9307130521.AA18312@oahu.cs.ucla.edu>
8 
9 #include <iostream>
10 #include <cassert>
11 
12 //     ---------------   Array.h  &&  Array.cc   ------------------
13 
14 using namespace std;
15 
16 const int ArraySize = 12;
17 
18 template <class Type>
19 class Array { // { dg-error "" } .struct Array_RC redecl.*
20 friend class Array_RC;
21 public:
Array(const Type * ar,int sz)22     Array(const Type *ar, int sz) { init(ar,sz); }
~Array()23     virtual ~Array() { delete [] ia; }
24     virtual void print(ostream& = cout);
25     virtual Type& operator[](int ix) { return ia[ix]; }
26 private:
27     void init(const Type*, int);
28     int size;
29     int *ia;
30 };
31 
32 template <class Type>
33 ostream& operator<<( ostream& os, Array<Type>& ar )
34 {
35     ar.print(os);
36     return os;
37 }
38 
39 template <class Type>
print(ostream & os)40 void Array<Type>::print(ostream& os)
41 {
42     const int lineLength = 12;
43 
44     os << "( " << size << " )< ";
45     for (int ix = 0; ix < size; ++ix) {
46         if (ix % lineLength == 0 && ix) os << "\n\t";
47         os << ia[ ix ];
48 
49         if (ix % lineLength != lineLength-1 &&
50             ix != size-1)
51             os << ", ";
52     }
53     os << " >\n";
54 }
55 
56 template <class Type>
init(const Type * array,int sz)57 void Array<Type>::init(const Type *array, int sz)
58 {
59     ia = new Type[size = sz];
60 
61     for (int ix = 0; ix < size; ++ix)
62         ia[ix] = (array!=0) ? array[ix] : (Type)0;
63 }
64 
65 //     ---------------   Array_RC.h  &&  Array_RC.cc   ----------------
66 
67 template <class Type>
68 class Array_RC : public Array<Type> {
69 public:
70     Array_RC(const Type *ar, int sz);
71     Type& operator[](int ix);
72 };
73 
74 template <class Type>
Array_RC(const Type * ar,int sz)75 Array_RC<Type>::Array_RC(const Type *ar, int sz) : Array<Type>(ar, sz) {}
76 
77 template <class Type>
78 Type &Array_RC<Type>::operator[](int ix) {
79     assert(ix >= 0 && ix < size);// { dg-error "" } member .size.*
80     return ia[ix];// { dg-error "" } member .ia.*
81 }
82 
83 //    -------------------   Test routine   ----------------------
84 
85 template <class Type>
try_array(Array<Type> & iA)86 void try_array( Array<Type> &iA )
87 {
88     cout << "try_array: initial array values:\n";
89     cout << iA << endl;
90 }
91 
92 template <class Type>
93 inline void
try_array(Array_RC<Type> & rc)94 try_array( Array_RC<Type> &rc )
95 {
96     try_array( ((Array<Type>&)rc) );
97 }
98 
main()99 int main()
100 {
101     static int ia[10] = { 12, 7, 14, 9, 128, 17, 6, 3, 27, 5 };
102     Array_RC<int> iA(ia, 10);
103 
104     cout << "template Array_RC class" << endl;
105     try_array(iA);
106 
107     return 0;
108 }
109 
110 template class Array_RC<int>;
111