Re: Template Partial Specialization
On Jul 9, 8:39 am, "Alex K." <alex.j...@gmail.com> wrote:
The trick is supposed to work by writing the base template for the
needed template function as just a call to a method of a class -- and
then partially specialize the class, which is allowed by C++.
But the code bellow does not compile:
----------------------------------------
#include <vector>
template<class the_type>
struct Implement_is_equal {
static bool _is_equal(the_type first, the_type second);
};
Add a partial specialisation for Implement_is_equal:
template<class the_type>
struct Implement_is_equal<std::vector<the_type> > {
static bool _is_equal(std::vector<the_type> first,
std::vector<the_type> second);
};
template<class the_type>
bool is_equal(the_type first, the_type second){
return Implement_is_equal<the_type>::_is_equal(first, second);
};
template<class the_type>
inline
bool Implement_is_equal<the_type>::_is_equal(the_type first, the_type
second) {
return (first == second);
};
template<class the_type>
inline
bool Implement_is_equal<std::vector<the_type> >::_is_equal
(std::vector<the_type> first, std::vector<the_type> second) {
bool _result = true;
if (first.size() != second.size()) {_result = false;}
else {for (int i = 0, _size = first.size(); i < _size; i++){
if (first.at(i) != second.at(i)) {_result = false;
break;}
}
}
return _result;};
The rest seems ok.
To make a partial specialisation for a class it's not enough to just
write the specialisation of the member functions - you have to write
the specialisation for the class itself as well.
Note that the member functions of the specialisation don't have to
have the same parameters (or even the same names) so you might want to
pass the vectors by reference-to-const.
Yechezkel Mett
--
[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]