C++Talk.NET

zf · Guest

In the following program, the decaration of the third function(at point
3) triger errors on both g++ 3.3.1 and VC2005, but the first's (at
point 1) doesn't, i don't kown what the reason is, both functions'
template arguments deduced sucessfully and are not selected by overload
resolution, why only the third one's declaration triger errors?

template<typename T>
struct tc
{
template<typename _Tx>
struct bind
{
typedef int type;
int _Tx::* mp;
};

int T::* mp;
};

template<typename T0>
tc<T0> tf(T0,int) // 1)
{
return tc<T0>();
}
int tf(int,int) // 2)
{
return 1;
}
template<typename T0,typename T1>
typename tc<T0>::template bind<T1>::type tf(T0,T1) // 3)
{
return 0;
}
int main()
{
tf(0,0);
}

Are the declarations of all the templates deduced template arguments
successfully will be instantiated? or just the one be selected by
overload resolution? However, both cases can explain the above program.

Thanks.

[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]

Guest

zf wrote: