p1.cpp revision 1f2e1a96bec2ba6418ae7f2d2b525a3575203b6a
15821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// RUN: %clang_cc1 -fsyntax-only -verify %s
25821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
35821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// C++'0x [class.friend] p1:
45821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//   A friend of a class is a function or class that is given permission to use
55821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//   the private and protected member names from the class. A class specifies
65821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//   its friends, if any, by way of friend declarations. Such declarations give
75821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//   special access rights to the friends, but they do not make the nominated
85821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)//   friends members of the befriending class.
9868fa2fe829687343ffae624259930155e16dbd8Torne (Richard Coles)
105821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)struct S { static void f(); };
115821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)S* g() { return 0; }
125821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
135821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)struct X {
145821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  friend struct S;
155821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  friend S* g();
165821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)};
175821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
185821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)void test1() {
195821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  S s;
205821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  g()->f();
215821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  S::f();
22c2e0dbddbe15c98d52c4786dac06cb8952a8ae6dTorne (Richard Coles)  X::g(); // expected-error{{no member named 'g' in 'X'}}
235821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  X::S x_s; // expected-error{{no member named 'S' in 'X'}}
245821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  X x;
255821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  x.g(); // expected-error{{no member named 'g' in 'X'}}
265821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}
275821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
285821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// Test that we recurse through namespaces to find already declared names, but
295821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)// new names are declared within the enclosing namespace.
305821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)namespace N {
315821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  struct X {
325821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    friend struct S;
335821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    friend S* g();
345821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
355821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    friend struct S2;
365821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    friend struct S2* g2();
375821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  };
385821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
395821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  struct S2 { static void f2(); };
405821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  S2* g2() { return 0; }
415821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
425821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  void test() {
435821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    g()->f();
445821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    S s;
455821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    S::f();
465821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    X::g(); // expected-error{{no member named 'g' in 'N::X'}}
475821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    X::S x_s; // expected-error{{no member named 'S' in 'N::X'}}
485821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    X x;
49c2e0dbddbe15c98d52c4786dac06cb8952a8ae6dTorne (Richard Coles)    x.g(); // expected-error{{no member named 'g' in 'N::X'}}
505821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
515821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    g2();
525821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    S2 s2;
535821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    ::g2(); // expected-error{{no member named 'g2' in the global namespace}}
545821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    ::S2 g_s2; // expected-error{{no member named 'S2' in the global namespace}}
555821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    X::g2(); // expected-error{{no member named 'g2' in 'N::X'}}
565821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    X::S2 x_s2; // expected-error{{no member named 'S2' in 'N::X'}}
575821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    x.g2(); // expected-error{{no member named 'g2' in 'N::X'}}
585821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  }
595821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)}
605821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
615821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)namespace test0 {
625821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  class ClassFriend {
635821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    void test();
645821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  };
655821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
665821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  class MemberFriend {
675821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  public:
685821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    void test();
695821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  };
705821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
715821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  void declared_test();
725821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
735821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  class Class {
745821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    static void member(); // expected-note 2 {{declared private here}}
755821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)
76c2e0dbddbe15c98d52c4786dac06cb8952a8ae6dTorne (Richard Coles)    friend class ClassFriend;
77c2e0dbddbe15c98d52c4786dac06cb8952a8ae6dTorne (Richard Coles)    friend class UndeclaredClassFriend;
78c2e0dbddbe15c98d52c4786dac06cb8952a8ae6dTorne (Richard Coles)
795821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    friend void undeclared_test();
805821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    friend void declared_test();
815821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)    friend void MemberFriend::test();
825821806d5e7f356e8fa4b058a389a808ea183019Torne (Richard Coles)  };
83
84  void declared_test() {
85    Class::member();
86  }
87
88  void undeclared_test() {
89    Class::member();
90  }
91
92  void unfriended_test() {
93    Class::member(); // expected-error {{'member' is a private member of 'test0::Class'}}
94  }
95
96  void ClassFriend::test() {
97    Class::member();
98  }
99
100  void MemberFriend::test() {
101    Class::member();
102  }
103
104  class UndeclaredClassFriend {
105    void test() {
106      Class::member();
107    }
108  };
109
110  class ClassNonFriend {
111    void test() {
112      Class::member(); // expected-error {{'member' is a private member of 'test0::Class'}}
113    }
114  };
115}
116
117// Make sure that friends have access to inherited protected members.
118namespace test2 {
119  struct X;
120
121  class ilist_half_node {
122    friend struct ilist_walker_bad;
123    X *Prev;
124  protected:
125    X *getPrev() { return Prev; } // expected-note{{member is declared here}}
126  };
127
128  class ilist_node : private ilist_half_node { // expected-note {{declared private here}} expected-note {{constrained by private inheritance here}}
129    friend struct ilist_walker;
130    X *Next;
131    X *getNext() { return Next; } // expected-note {{declared private here}}
132  };
133
134  struct X : ilist_node {};
135
136  struct ilist_walker {
137    static X *getPrev(X *N) { return N->getPrev(); }
138    static X *getNext(X *N) { return N->getNext(); }
139  };
140
141  struct ilist_walker_bad {
142    static X *getPrev(X *N) { return N->getPrev(); } // \
143    // expected-error {{'getPrev' is a private member of 'test2::ilist_half_node'}} \
144    // expected-error {{cannot cast 'test2::X' to its private base class 'test2::ilist_half_node'}}
145
146    static X *getNext(X *N) { return N->getNext(); } // \
147    // expected-error {{'getNext' is a private member of 'test2::ilist_node'}}
148  };
149}
150
151namespace test3 {
152  class A { protected: int x; }; // expected-note {{declared protected here}}
153
154  class B : public A {
155    friend int foo(B*);
156  };
157
158  int foo(B *p) {
159    return p->x;
160  }
161
162  int foo(const B *p) {
163    return p->x; // expected-error {{'x' is a protected member of 'test3::A'}}
164  }
165}
166
167namespace test3a {
168  class A { protected: int x; };
169
170  class B : public A {
171    friend int foo(B*);
172  };
173
174  int foo(B * const p) {
175    return p->x;
176  }
177}
178
179namespace test4 {
180  template <class T> class Holder {
181    T object;
182    friend bool operator==(Holder &a, Holder &b) {
183      return a.object == b.object; // expected-error {{invalid operands to binary expression}}
184    }
185  };
186
187  struct Inequal {};
188  bool test() {
189    Holder<Inequal> a, b;
190    return a == b;  // expected-note {{requested here}}
191  }
192}
193
194
195// PR6174
196namespace test5 {
197  namespace ns {
198    class A;
199  }
200
201  class ns::A {
202  private: int x;
203    friend class B;
204  };
205
206  namespace ns {
207    class B {
208      int test(A *p) { return p->x; }
209    };
210  }
211}
212
213// PR6207
214namespace test6 {
215  struct A {};
216
217  struct B {
218    friend A::A();
219    friend A::~A();
220    friend A &A::operator=(const A&);
221  };
222}
223
224namespace test7 {
225  template <class T> struct X {
226    X();
227    ~X();
228    void foo();
229    void bar();
230  };
231
232  class A {
233    friend void X<int>::foo();
234    friend X<int>::X();
235    friend X<int>::X(const X&);
236
237  private:
238    A(); // expected-note 2 {{declared private here}}
239  };
240
241  template<> void X<int>::foo() {
242    A a;
243  }
244
245  template<> void X<int>::bar() {
246    A a; // expected-error {{calling a private constructor}}
247  }
248
249  template<> X<int>::X() {
250    A a;
251  }
252
253  template<> X<int>::~X() {
254    A a; // expected-error {{calling a private constructor}}
255  }
256}
257
258// Return types, parameters and default arguments to friend functions.
259namespace test8 {
260  class A {
261    typedef int I; // expected-note 4 {{declared private here}}
262    static const I x = 0; // expected-note {{implicitly declared private here}}
263    friend I f(I i);
264    template<typename T> friend I g(I i);
265  };
266
267  const A::I A::x;
268  A::I f(A::I i = A::x) {}
269  template<typename T> A::I g(A::I i) {
270    T t;
271  }
272  template A::I g<A::I>(A::I i);
273
274  A::I f2(A::I i = A::x) {} // expected-error 3 {{is a private member of}}
275  template<typename T> A::I g2(A::I i) { // expected-error 2 {{is a private member of}}
276    T t;
277  }
278  template A::I g2<A::I>(A::I i);
279}
280
281// PR6885
282namespace test9 {
283  class B {
284    friend class test9;
285  };
286}
287
288// PR7230
289namespace test10 {
290  extern "C" void f(void);
291  extern "C" void g(void);
292
293  namespace NS {
294    class C {
295      void foo(void); // expected-note {{declared private here}}
296      friend void test10::f(void);
297    };
298    static C* bar;
299  }
300
301  void f(void) {
302    NS::bar->foo();
303  }
304
305  void g(void) {
306    NS::bar->foo(); // expected-error {{private member}}
307  }
308}
309
310// PR8705
311namespace test11 {
312  class A {
313  public:
314    void test0(int);
315    void test1(int);
316    void test2(int);
317    void test3(int);
318  };
319
320  class B {
321    typedef int private_type; // expected-note 2 {{implicitly declared private here}}
322    friend void A::test0(int);
323    friend void A::test1(int);
324  };
325
326  void A::test0(B::private_type x) {}
327  void A::test1(int x = B::private_type()) {}
328  void A::test2(B::private_type x) {} // expected-error {{'private_type' is a private member of 'test11::B'}}
329  void A::test3(int x = B::private_type()) {} // expected-error {{'private_type' is a private member of 'test11::B'}}
330}
331
332
333// PR9221
334namespace test12 {
335  struct A {
336    void foo();
337  };
338  class B : private A {
339    friend void A::foo();
340    void *mem;
341  };
342  void A::foo() {
343    void *var = static_cast<B*>(this)->mem;
344  }
345}
346
347namespace PR9103 {
348  struct base {
349  protected:
350    static void foo(void) {}
351  };
352
353  struct cls: base {
354    friend void bar(void) {
355      base::foo();
356    }
357  };
358}
359