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... Sent from the Boost - Dev mailing list archive at Nabble.com.