[Bug c++/45625] New: Template parameter name does not hide outer class scope's member name

[Bug c++/45625] New: Template parameter name does not hide outer class scope's member name

[boostcpp at gmail dot com]

Consider following code.

struct Outer
{
    static const int value = 1 ;

    template< int value >
    struct Inner
    {
        static const int inner_value = value ;
        static int get_value() { return value ; } // which value?
    } ;
} ;

int main()
{
    typedef Outer::Inner<2> type ;

    type::inner_value ; // 2. value is template parameter name.
    type::get_value() ; // 1. value is Outer::value.
}

For Outer::Inner<2>, template parameter name "value" is 2.
Outer::Inner<2>::inner_value is evaluated to 2.
But Outer::Inner<2>::get_value() is evaluated to 1.
It looks like gcc lookup Outer::value for unqualified name value in the
function body scope of get_value().

Is it a correct behavior?
I think template parameter name of Inner should hide the Outer::value.


-- 
           Summary: Template parameter name does not hide outer class
                    scope's member name
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: boostcpp at gmail dot com


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

[Bug c++/45625] Template parameter name does not hide outer class scope's member name

[redi at gcc dot gnu dot org]

------- Comment #1 from redi at gcc dot gnu dot org  2010-09-09 23:51 -------
I agree the lookup in get_value should find the template parameter, not
Outer::value.

Here's a variation that should not compile, because &value should be invalid

struct Outer
{
    static const int value = 1 ;

    template< int value >
    struct Inner
    {
        static const int* get_value() { return &value ; }
    } ;
} ;

template class Outer::Inner<2>;


-- 

redi at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-09-09 23:51:26
               date|                            |


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

[Bug c++/45625] Template parameter name does not hide outer class scope's member name

[gcc at magfr dot user dot lysator dot liu dot se]

------- Comment #2 from gcc at magfr dot user dot lysator dot liu dot se  2010-09-22 15:58 -------
*** Bug 45747 has been marked as a duplicate of this bug. ***


-- 

gcc at magfr dot user dot lysator dot liu dot se changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gcc at magfr dot user dot
                   |                            |lysator dot liu dot se


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