[Bug c++/13825] New: template instantiation fails due to substituting the wrong type for a parameter

[Bug c++/13825] New: template instantiation fails due to substituting the wrong type for a parameter

[mps at sonartech dot com dot au]

The following code is correct, I think, but gcc 3.3.2 rejects it.

Its messages say it's doing an instantiation with B_PARAM=int.
I think that's it's mistake.


template <typename A_PARAM>
struct A {};

template <typename B_PARAM>
struct B {
    template <typename B1_PARAM>
    struct B1 {
        B1 (B_PARAM);
    };
};

template <typename C_PARAM>
struct C {
    typedef A <C_PARAM> a_t;

    typename B <a_t>::B1 <a_t>  _b1;

    C () : _b1 (a_t ()) {}
};

int
main ()
{
    C <int> c;
}

-- 
           Summary: template instantiation fails due to substituting the
                    wrong type for a parameter
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mps at sonartech dot com dot au
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: What's a triplet anyway?
  GCC host triplet: Intel Debian Linux 2.4.22
GCC target triplet: Not cross-compiling


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

[Bug c++/13825] template instantiation fails due to substituting the wrong type for a parameter

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-23 05:28 -------
No the code is invalid, yes the error message sucks but that has been fixed for 3.4:
input.cc:16: error: non-template `B1' used as template
input.cc:16: error: (use `B >::template B1' to indicate that it is a template)
input.cc:16: error: declaration does not declare anything
input.cc: In constructor `C::C()':
input.cc:18: error: class `C' does not have any field named `_b1'

Basically this line:
    typename B <a_t>::B1 <a_t>  _b1;
should be:
    typename B <a_t>::template B1 <a_t>  _b1;

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


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