Re: [Patch] First bits of the algo merge

[Howard Hinnant <hhinnant at apple dot com>]

On Dec 15, 2005, at 9:55 AM, chris jefferson wrote:

> > It should look more like:
> >
> > template <class _Lhs, class _Rhs = _Lhs>
> > struct equal_to
> > {
> >     bool operator()(const _Lhs& __lhs, const _Lhs& __rhs) const
> > {return __lhs == __rhs;}
> >     bool operator()(const _Lhs& __lhs, const _Rhs& __rhs) const
> > {return __lhs == __rhs;}
> >     bool operator()(const _Rhs& __lhs, const _Lhs& __rhs) const
> > {return __lhs == __rhs;}
> >     bool operator()(const _Rhs& __lhs, const _Rhs& __rhs) const
> > {return __lhs == __rhs;}
> > };
> >
> > template <class _Lhs>
> > struct equal_to<_Lhs, _Lhs>
> > {
> >     bool operator()(const _Lhs& __lhs, const _Lhs& __rhs) const
> > {return __lhs == __rhs;}
> > };
>
> After chucking this through my own code, the only problem I found was
> you also need:
>
> template <class _Lhs>
> struct equal_to<_Lhs, const _Lhs>
> {
>     bool operator()(const _Lhs& __lhs, const _Lhs& __rhs) const  
> {return
> __lhs == __rhs;}
> };
>
> template <class _Lhs>
> struct equal_to<const _Lhs, _Lhs>
> {
>     bool operator()(const _Lhs& __lhs, const _Lhs& __rhs) const  
> {return
> __lhs == __rhs;}
> };
>
> to make equal_to<int, const int> work.

<nod> Excellent.

-Howard