Re: template function specialisation

From:

peter koch <peter.koch.larsen@gmail.com>

Newsgroups:

comp.lang.c++

Date:

Fri, 28 Feb 2014 14:51:05 -0800 (PST)

Message-ID:

<a291efee-a01b-4417-847b-0596f1130adf@googlegroups.com>

Den fredag den 28. februar 2014 10.15.41 UTC+1 skrev peter koch:

Hi group,

I have a problem specializing a template function. Is it me or is it Microsoft?

imagine:

template<typename T1,typename T2>
struct dummy {};

template<typename T>
void func() { }

template<>
void func<int>() { }

template<typename T1,typename T2>
void func<dummy<T1,T2>>() {}

error : 'func' : illegal use of explicit template arguments

Thank you all for your answers.
My solution is to use code like this:

template<typename T1,typename T2>
struct dummy { };

template<typename T>
struct s { static void func() {} };

template<>
struct s<int> { static void func() {} };

template<typename T1,typename T2>
struct s<dummy<T1,T2>> {static void func() {}};

template<typename T>
void f<T>() { s<T>::func(); }

This works but is somewhat more convoluted. I believe Tobias is correct
that my problem was that partial specialisation is not allowed. I just
did not correctly understand that before.

I can't because the language specification says so. Clear enough. What I
still can not understand is why it is specified this way - but that understanding probably requires some more investigation.

Best regards
Peter