Boost logo

Boost :

Subject: Re: [boost] [type_traits] has_equal_to< std::vector<T> > always true_
From: lcaminiti (lorcaminiti_at_[hidden])
Date: 2012-04-26 10:47:38

Jeffrey Lee Hellrung, Jr.-2 wrote
> Lorenzo: I would be slightly more in favor of keeping the std::
> specializations for has_* in a separate header, similar to how
> Boost.Fusion's adaptation framework for, e.g., std::pair is in a separate
> header. I sympathize with your reasoning though so I could go either way.

I can also go either way. The argument for the separate header is that if a
user has a STL implementation of operator== for std::vector that uses
enable_if or alike than they can chose not to include the header given they
don't need the specializations (but the specializations will work also with
the smarter operator== implementations and if they are in the same
has_equal_to header then the user never has to do "extra" work to get the
trait to behave correctly).

At the end, I'm happy to do what the Boost.TypeTraits authors reccommand:
separate header or not.


View this message in context:
Sent from the Boost - Dev mailing list archive at

Boost list run by bdawes at, gregod at, cpdaniel at, john at