🚀 go-pugleaf

--


Hi,

I'd like to add something to my original post.

One ambiguity is regarding the visibility and scope of a friend.
ARM p. 248 states that the name of a friend is not in the scope of 
the class.  I would assume that this refers to friend functions only.
Otherwise a nested class can't be made a friend. 

ARM p. 250 states that an undeclared class or function name is
entered in the same scope as the name of the class containing
the friend declaration. It would then mean that if a nested class 
exists with the same name as the friend class, then the friend class 
refers to the nested class. Otherwise if no class exists by that 
friend name, then it is a forward declaration of a class which is 
in the same scope as the class containing the friend declaration.

Given:

  short f() {}
  class C { protected: enum A {}; class F {};};
  class D {};
  class F {};
  class B : public C
  {  
    long f() {}
    friend short f(); // ok? Does it refer to ::f()?

    friend class F;   // ok - refers to C::F 
    friend class A;   // ok - forward declare a ::A class

    class D {};
    friend class D;   // Does it refer to B::D?

    enum C {};
    friend class C;   // Is ::C visible?
                      // If my interpretation is correct, ::C is still
                      // visible since no class exists within class B
                      // definition
  };

Many thanks.