[Bug c++/52965] New: c++11 - subclass is private, but g++ ignores access modifier when using auto

[Bug c++/52965] New: c++11 - subclass is private, but g++ ignores access modifier when using auto

[jwcacces at yahoo dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52965

             Bug #: 52965
           Summary: c++11 - subclass is private, but g++ ignores access
                    modifier when using auto
    Classification: Unclassified
           Product: gcc
           Version: 4.6.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jwcacces@yahoo.com


/*
   Is this a bug, that g++ ignores the private access modifier when using "auto
type deduction"?
   Compile with g++ -std=c++0x private_access.cpp
             vs g++ -std=c++0x private_access.cpp -DUSE_AUTO

   This seems similar to bug 52816
*/

class C
{
private:
   class PVT { };
public:
   PVT p() { return PVT(); };
};

int main(int, char*[])
{
   C c;
#ifdef USE_AUTO
   auto p = c.p();          // why does this work (in c++11)
#else
   C::PVT p = c.p();        // but this reports that C::PVT is private?
#endif
   return 0;
};

[Bug c++/52965] c++11 - subclass is private, but g++ ignores access modifier when using auto

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52965

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-04-12 22:56:05 UTC ---
I don't think it's a bug.

G++ doesn't ignore access checking, you never use the name PVT so there's no
violation.  The type exists, you just can't access the name PVT.

But you can give it a new name e.g.

template<typename T>
void f(T t)
{
  typedef T type;
}

f(c.p());

Or, closer to the auto case:

decltype(c.p()) p = c.p();

[Bug c++/52965] c++11 - subclass is private, but g++ ignores access modifier when using auto

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52965

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |daniel.kruegler at
                   |                            |googlemail dot com

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-11-07 18:39:09 UTC ---
Can this be closed?

[Bug c++/52965] c++11 - subclass is private, but g++ ignores access modifier when using auto

[jwcacces at yahoo dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52965

--- Comment #3 from James Caccese <jwcacces at yahoo dot com> 2012-11-07 18:40:44 UTC ---
On 11/7/2012 1:39 PM, paolo.carlini at oracle dot com wrote:
>
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52965
>
> Paolo Carlini <paolo.carlini at oracle dot com> changed:
>
>             What    |Removed                     |Added
> ----------------------------------------------------------------------------
>                   CC|                            |daniel.kruegler at
>                     |                            |googlemail dot com
>
> --- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-11-07 18:39:09 UTC ---
> Can this be closed?
>

yes

[Bug c++/52965] c++11 - subclass is private, but g++ ignores access modifier when using auto

[daniel.kruegler at googlemail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52965

--- Comment #4 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2012-11-07 18:45:09 UTC ---
(In reply to comment #2)
I agree with Jonathan and James this issue can be closed.

[Bug c++/52965] c++11 - subclass is private, but g++ ignores access modifier when using auto

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52965

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-11-07 18:47:08 UTC ---
Thanks a lot.