[Bug c++/99160] New: A wrong accessible check when using a using-declaration that introduces the names of type and function

xmh970252187 at gmail dot com gcc-bugzilla@gcc.gnu.org
Fri Feb 19 09:56:21 GMT 2021


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99160

            Bug ID: 99160
           Summary: A wrong accessible check when using a
                    using-declaration that introduces the names of type
                    and function
           Product: gcc
           Version: 10.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: xmh970252187 at gmail dot com
  Target Milestone: ---

````cpp
#include <iostream>
struct A{
    struct C{
        using type = int;
    };
    void C(){}  //#1 if comment out this function definition, GCC will compile 
                //   this  example  
};
struct B:private A{
    using A::C;
};
int main(){
    B::C::type c;  //#2
}
````
For this example, GCC will report an error, which says "'struct A::C' is
inaccessible within this context". The result of this example is
https://godbolt.org/z/ddfrPM. If we comment out `void C(){}`, GCC will compile
the example.  

According to [namespace.udecl]#19. 
> A synonym created by a using-declaration has the usual accessibility for a member-declaration.   

That means the name `C` is accessible in the  nested-name-specifier at #2(the
name would be found in the scope of `B` in which the using-declaration will
create the synonym name for that name, the created name has the same
accessibility as the member-declaration)

Clang can compile this example even if we do not comment out the function
definition at #1


More information about the Gcc-bugs mailing list