Re: Specialising template member functions with templatized parameters on VC7.0

Hi all,

Note: this is an almost verbatim reproduction of a post in
comp.lang.c++.moderated
(http://groups-beta.google.com/group/comp.lang.c++.moderated/browse_thread/thread/3fe5251c604d6ea7/0a3e5110f910ecb7#0a3e5110f910ecb7)

Consider:

template <int SIZE>
struct othersize;

template <>
struct othersize <0>
{
   typedef int type;
};

template <>
struct othersize <1>
{
   typedef float type;
};

class B {
   template <int SIZE>
      void to(typename othersize<SIZE>::type te);
};

// >>> Specialised implementation of to
template<>
void B::to<0>(othersize<0>::type){ }
// <<<

int main(int argc, char *argv[])
{
   return 0;
}

The code snippet doesn't compile on VC++ (7.1) with .NET (1.1).. I get:
   error C2910: 'to' : cannot be explicitly specialized
for the specialised implementation of to<0>

Google search for "error C2910" gives the following link:
http://msdn2.microsoft.com/en-us/library/cx7k7hcf.aspx Among other
things, the site says that the "template <>" should be dropped during
specialisation. But trying out:
// >>> Specialised implementation of to
void B::to<0>(othersize<0>::type){ }
// <<<
doesn't work either ("error C2768: 'B::to' : illegal use of explicit
template arguments")

It does work on g++ 3.2.3 on RHEL 3.0 and on Comeau on-line
(http://www.comeaucomputing.com/tryitout/) and seems to be valid C++

Any help on what could be going wrong/workarounds appreciated!