Why is std::hash not an overloaded function?
It's impossible to partially specialize function template, and so for user-defined templated classes, the would be no way to specialize std::hash
if it was a function. (you can only specialize templates from std
namespace, but not overload, so users of your templated class couldn't create std::unordered_map<MyClass<whatever>, MyOtherClass>
, they would be forced to choose std::unordered_map<MyClass<whatever>, MyOtherClass, ???>
). So functor is solution here.
namespace std
{
template<typename T>
struct hash<MyVector<T>>
{
size_t operator()(const MyVector<T>& v)
{
//return hash from here
}
};
}
The alternative way for standard library would be using some SFINAE template trick to choose member .hash()
as the default, and standard hash if the other case, but in most cases you can't retrofit interfaces (especially if using third-party code)
The other alternative would be like std::swap
does (tricks with ADL):
//somewhere in std::unordered_map
using std::hash;
size_t h = hash(key);
In my experience, ADL is tricky and not everyone remembers about corner cases. Furthermore, the advantage of functors here is fact that you can use them as a template parameter, so you can just plug-in another functor for template (like std::unordered_map<A, B, specialized_hash<A>>
) if you think that the default is wrongly suited for your case.
From comments:
But could you elaborate a bit more about std::swap? It's still there in C++11 and it has no problems with user-defined types, has it? Why keep a lot of different concepts in STL rather than making it more consistent?
There's a little difference between std::swap
and std::hash
:
In std::hash
:
- it's likely that, e.g.
std::string
hash defined by class author won't be enough for your case, that is, it's too generic, and you can guarantee in your hash map that you'll put strings of only one kind, so you can provide hash function that's faster or/and having less collisions. - there are many kind of hashes for different purposes so genericity is far less important here
- in most cases it's possible for you to create a better hash
In std::swap
:
- it's unlikely that you'll want your own swap function, but you'll still probably want to use the one specific for this class, not the generic
std::swap
one that calls copy constructors. - in most cases it's not even possible for you to create a swap function, as it requires knowledge of the class internals (for example,
std::vector
can be implemented as dynamic array with pointer hidden as private field, so you won't be able to access them, not alone swap them, and even the fact that's implemented that way is not guaranteed) - there is (or should be) only one swap.
- actually, there is a problem with
std::swap
: standard containers provideswap
member function,std::swap
can be specialized (but only for non-templated class), and swap can be defined as a free function that's found with ADL. How should you provide your own swap? IMO that is confusing, not the fact thatstd::swap
is function andstd::hash
is a functor.
Why is STL inconsistent? I can only guess here, but main reason why STL is inconsistent is (a) bawkward compatibility and (b) C++ also is quite inconsistent.
One possible reason is that in this way it's easier to use it in templates as default by changeable option
template <typrname T, typename = std::hash<T>...>
class unordered_set;
BTW you may create function that works this way
template<typename T, typename... Args>
auto hasher(Args&&... args) -> whatever {
return std::hash<T>(std::forward<Args>(args)...)( //maybe some &'s skipped
}
or (to allow detect type)
template<typename T, typename... Args>
auto hasher(T t) -> whatever {
return std::hash<T>()(t);
}