Первая идея, которая приходит на ум, — использовать SFINAE и попробовать std::hash<>
, если это возможно, а в противном случае использовать boost::hash_value()
, например так:
#include <string>
#include <functional>
#include <type_traits>
#include <boost/functional/hash.hpp>
struct my_struct_0 {
std::string s;
};
template <typename T>
struct has_std_hash_subst { typedef void type; };
template <typename T, typename C = void>
struct has_std_hash : std::false_type {};
template <typename T>
struct has_std_hash<
T,
typename has_std_hash_subst<decltype( std::hash<T>()(T()) ) >::type
> : std::true_type {};
template <typename T>
static typename std::enable_if<has_std_hash<T>::value, size_t>::type
make_hash(const T &v)
{
return std::hash<T>()(v);
}
template <typename T>
static typename std::enable_if<(!has_std_hash<T>::value), size_t>::type
make_hash(const T &v)
{
return boost::hash_value(v);
}
int main()
{
make_hash(std::string("Hello, World!"));
make_hash(my_struct_0({ "Hello, World!" }));
}
К сожалению, всегда есть специализация по умолчанию std::hash
, которая вызывает static_assert
сбой. Это может быть не так с другими библиотеками, но это так с GCC 4.7.2 (см. bits/functional_hash.h:60
):
/// Primary class template hash.
template<typename _Tp>
struct hash : public __hash_base<size_t, _Tp>
{
static_assert(sizeof(_Tp) < 0,
"std::hash is not specialized for this type");
size_t operator()(const _Tp&) const noexcept;
};
Таким образом, описанный выше подход SFINAE не работает — static_assert
здесь есть преграда. Таким образом, вы не можете точно определить, когда std::hash
доступен.
Это на самом деле не отвечает на ваш вопрос, но может пригодиться — этот трюк можно проделать наоборот — сначала проверить реализацию Boost и только потом вернуться к std::hash<>
. Рассмотрим приведенный ниже пример, в котором используется boost::hash_value()
, если он доступен (т. е. для std::string
и my_struct_0
), и в противном случае используется std::hash<>
(т. е. для my_struct_1
):
#include <string>
#include <functional>
#include <type_traits>
#include <boost/functional/hash.hpp>
struct my_struct_0 {
std::string s;
};
struct my_struct_1 {
std::string s;
};
namespace boost {
size_t hash_value(const my_struct_0 &v) {
return boost::hash_value(v.s);
}
}
namespace std {
template <>
struct hash<my_struct_1> {
size_t operator()(const my_struct_1 &v) const {
return std::hash<std::string>()(v.s);
}
};
}
template <typename T>
struct has_boost_hash_subst { typedef void type; };
template <typename T, typename C = void>
struct has_boost_hash : std::false_type {};
template <typename T>
struct has_boost_hash<
T,
typename has_boost_hash_subst<decltype(boost::hash_value(T()))>::type
> : std::true_type {};
template <typename T>
static typename std::enable_if<has_boost_hash<T>::value, size_t>::type
make_hash(const T &v)
{
size_t ret = boost::hash_value(v);
std::cout << "boost::hash_value(" << typeid(T).name()
<< ") = " << ret << '\n';
return ret;
}
template <typename T>
static typename std::enable_if<(!has_boost_hash<T>::value), size_t>::type
make_hash(const T &v)
{
size_t ret = std::hash<T>()(v);
std::cout << "std::hash(" << typeid(T).name()
<< ") = " << ret << '\n';
return ret;
}
int main()
{
make_hash(std::string("Hello, World!"));
make_hash(my_struct_0({ "Hello, World!" }));
make_hash(my_struct_1({ "Hello, World!" }));
}
Надеюсь, поможет.
ОБНОВЛЕНИЕ: Возможно, вы могли бы использовать хак, описанный здесь, как указано @ChristianRau, и сделать первый подход SFINAE работает! Хотя очень грязно :)
person
Community
schedule
14.02.2013