member template specialization

[Jakob Bieling]

Hi,

I am having trouble with templates. In a non-template class, I have
a template function. Now I want to be able to execute different code for
all pointer types. But I cannot get the syntax right. Here is small
snippet demonstrating the problem.

struct bar
{
template <typename T>
T foo ();
};

template <typename T>
T bar::foo ()
{
// specialization for 'real' types
T t;
return t;
}

template <typename U>
template <>
U* bar::foo <U*> ()
{
// specialization for all pointer types
U* u;
return u;
}
Thanks for your time!
--
jb

(reply address in rot13, unscramble first)

[John Carson]

"Jakob Bieling" <ar************ ****@rot13.com> wrote in message
news:dt******** *****@news.t-online.com

Hi,

I am having trouble with templates. In a non-template class, I have
a template function. Now I want to be able to execute different code
for all pointer types. But I cannot get the syntax right. Here is
small snippet demonstrating the problem.

struct bar
{
template <typename T>
T foo ();
};

template <typename T>
T bar::foo ()
{
// specialization for 'real' types
T t;
return t;
}

template <typename U>
template <>
U* bar::foo <U*> ()
{
// specialization for all pointer types
U* u;
return u;
}
Thanks for your time!
--
jb

(reply address in rot13, unscramble first)

The problem here is that you are not specializing the member, you are
partially specializing it. This is not allowed. You can only partially
specialize a whole class, e.g.,
// general case
template<typena me T>
struct bar
{
T foo ();
};

template <typename T>
T bar<T>::foo ()
{
T t;
return t;
}

// partial specialization for all pointer types
template <typename T>
struct bar<T*>
{
T* foo ();
};

template <typename T>
T* bar<T*>::foo ()
{
T* pt;
return pt;
}
--
John Carson

[Jakob Bieling]

John Carson <jc************ ****@netspace.n et.au> wrote:

"Jakob Bieling" <ar************ ****@rot13.com> wrote in message
news:dt******** *****@news.t-online.com

Hi,

I am having trouble with templates. In a non-template class, I
have a template function. Now I want to be able to execute different
code for all pointer types. But I cannot get the syntax right. Here
is small snippet demonstrating the problem.

struct bar
{
template <typename T>
T foo ();
};

template <typename T>
T bar::foo ()
{
// specialization for 'real' types
T t;
return t;
}

template <typename U>
template <>
U* bar::foo <U*> ()
{
// specialization for all pointer types
U* u;
return u;
}

The problem here is that you are not specializing the member, you are
partially specializing it. This is not allowed. You can only partially
specialize a whole class, e.g.,

Oh, thanks for the clarification! Luckily, I was pursuing the wrong
approach and I am not dependant on this solution :)

Thanks!
--
jb

(reply address in rot13, unscramble first)