Re: [boost] [type_traits] has_equal_to< std::vector<T> > always true_

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.

Thanks.
--Lorenzo

--
View this message in context: http://boost.2283326.n4.nabble.com/boost-type-traits-has-equal-to-std-vector-T-always-true-tp3922160p4590059.html
Sent from the Boost - Dev mailing list archive at Nabble.com.