web/3932: The information at http://gcc.gnu.org is inaccurate.

[bcr at lizardtech dot com]

>Number:         3932
>Category:       web
>Synopsis:       The information at http://gcc.gnu.org is inaccurate.
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    gerald
>State:          open
>Class:          doc-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Aug 03 15:26:01 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     bcr@lizardtech.com
>Release:        gcc3.0
>Organization:
>Environment:
web
>Description:
On http://gcc.gnu.org/bugs.html, the following text is included:

> G++ now implements type access control on member types. Defect report 45 
> clarifies that nested classes are members of the class they are nested in, and 
> so are granted access to private members of that class.

There are several problems with this text. First off, defect 45, talks
about template implimentations, not Nested classes. So the refered defect
# must be wrong.

Second, according to "C++ Programming Language, Third Edition", by
Bjarne Stroustrup, the creator of C++:

Section C.11.3.

The members of a member class have no special access to members
of an enclosing class. Simularly members of an enclosing class
have no special access to members of a nested class; the
usual access rules (section 10.2.2) shall be obeyed. For example:

class Outer {
typedef int T;
int i;
public:
int i2;
static int x;
class Inner {
int x;
T y; // error: Outer::T is private
public:
void f(Outer *p,int v);
};
int g(Inner *p);
};

...
>How-To-Repeat:
Try the examples in:
C++ Programming Language, Third Edition", by
Bjarne Stroustrup, the creator of C++
>Fix:
Updated website with correct information...  Correct the
implimentation of the compiler to follow the specs for nested classes.
>Release-Note:
>Audit-Trail:
>Unformatted: