
29 Jan
2010
29 Jan
'10
7:33 p.m.
template<typename type1, typename type2> int foo(const base<type1>&, const base<type2>&) {//handles ANY two types derived from base with arbitrary properties }
template<typename type1, typename type2> int foo(const base<type1>&, const base<type2, propertyX>&) {//the first argument can be ANY type but the second must be associated with propertyX }
the latter must be bar() of course -- Pavel