Re: c++/10521: possible access to private elements

Re: c++/10521: possible access to private elements

[bangerth]

Synopsis: possible access to private elements

State-Changed-From-To: open->closed
State-Changed-By: bangerth
State-Changed-When: Mon Apr 28 14:49:16 2003
State-Changed-Why:
    Fixed in 3.3 and 3.4:
    
    g/x> /home/bangerth/bin/gcc-3.2.3-pre/bin/c++ -c x.cc
    g/x>
    g/x>
    g/x> /home/bangerth/bin/gcc-3.3-pre/bin/c++ -c x.cc
    x.cc: In function `int main()':
    x.cc:3: error: `class A::type' is private
    x.cc:13: error: within this context
    g/x> /home/bangerth/bin/gcc-3.4-pre/bin/c++ -c x.cc
    x.cc: In function `int main()':
    x.cc:3: error: `class A::type' is private
    x.cc:13: error: within this context

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=10521

c++/10521: possible access to private elements

[lauterba]

>Number:         10521
>Category:       c++
>Synopsis:       possible access to private elements
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          accepts-illegal
>Submitter-Id:   net
>Arrival-Date:   Mon Apr 28 14:26:00 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     Jens Lauterbach
>Release:        gcc version 3.2.2 20030222 (Red Hat Linux 3.2.2-5)
>Organization:
>Environment:
x86,Redhat 9,
>Description:
With a default value for a template parameter it is possible to access private elements. In the example below you get access to the private class "A::type".

The compile doesn't realize or ignores the private access.
>How-To-Repeat:
class A{
private:
   class type{};
};

template<class A,class type=typename A::type>
class B{
  type v;
};

int main(){
  //  B<A,A::type> b1; doesn't work -> ok
  B<A> b; //not ok
}
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: