recursiveness on template member function of a template class

[AG]

Hi all,

I am trying to do that, but it does not compile. I am not even sure this is
possible.
I have read somewhere that specialization inside a template class is not
without specializing the class itself, but couldn't verify it into the
standard.
Help would be appreciated.

Alexandre.

#define N 20

template<class Tclass A
{
public:
template<int Dvoid f(T *a);
};

template<class Ttemplate<int Dvoid A<T>::f<D>(T *a)
{
int i;
for(i=0;i<9;i++)
a[i+1]+=a[i];
f<D-1>(a+10);
}

template<class Ttemplate<void A<T>::f<0>(T * a)
{
int i;
for(i=0;i<9;i++)
a[i+1]+=a[i];
}

int main()
{
A<intmyObject;
int tab[N];
myObject.f<1>(tab);
return 0;
}

[amparikh]

On Aug 7, 9:25 am, "AG" <[e-mail]:

Hi all,

I am trying to do that, but it does not compile. I am not even sure this is
possible.
I have read somewhere that specialization inside a template class is not
without specializing the class itself, but couldn't verify it into the
standard.
Help would be appreciated.

Alexandre.

#define N 20

template<class Tclass A
{
public:
template<int Dvoid f(T *a);

};

template<class Ttemplate<int Dvoid A<T>::f<D>(T *a)
{
int i;
for(i=0;i<9;i++)
a[i+1]+=a[i];
f<D-1>(a+10);

}

template<class Ttemplate<void A<T>::f<0>(T * a)
{
int i;
for(i=0;i<9;i++)
a[i+1]+=a[i];

}

This is not possible. You need to first specialize A, and then have a
specialization for f.

>
int main()
{
A<intmyObject;
int tab[N];
myObject.f<1>(tab);
return 0;

}- Hide quoted text -

- Show quoted text -

[Victor Bazarov]

AG wrote:

[..]
I have read somewhere that specialization inside a template class is
not without specializing the class itself, but couldn't verify it
into the standard.

[temp.expl.spec]/18, the first sentence, after "except".

[..]

V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask

[AG]

"Victor Bazarov" <v.********@comAcast.neta écrit dans le message de news:
f9**********@news.datemas.de...

AG wrote:

>[..]
I have read somewhere that specialization inside a template class is
not without specializing the class itself, but couldn't verify it
into the standard.

[temp.expl.spec]/18, the first sentence, after "except".

Thank you. I guess I don't have a recent version of the standard. (In my
draft version of the 1996 standard, this /18 doesn't exist).

AG.

[Victor Bazarov]

AG wrote:

"Victor Bazarov" <v.********@comAcast.neta écrit dans le message de
news: f9**********@news.datemas.de...

>AG wrote:

>>[..]
I have read somewhere that specialization inside a template class is
not without specializing the class itself, but couldn't verify it
into the standard.

[temp.expl.spec]/18, the first sentence, after "except".

Thank you. I guess I don't have a recent version of the standard. (In
my draft version of the 1996 standard, this /18 doesn't exist).

Get the next draft (if you don't want to get the official version), it's
downloadable from the Committee page:

http://www.open-std.org/jtc1/sc22/wg...2007/n2315.pdf

Note, that in it it's paragraph 19, not 18.

V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask

[AG]

Note, that in it it's paragraph 19, not 18.
thanks,

AG.