15a83710eSEric Fiselier //===----------------------------------------------------------------------===// 25a83710eSEric Fiselier // 35a83710eSEric Fiselier // The LLVM Compiler Infrastructure 45a83710eSEric Fiselier // 55a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open 65a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details. 75a83710eSEric Fiselier // 85a83710eSEric Fiselier //===----------------------------------------------------------------------===// 95a83710eSEric Fiselier 105a83710eSEric Fiselier // <functional> 115a83710eSEric Fiselier 125a83710eSEric Fiselier // template <class T> 135a83710eSEric Fiselier // struct hash 145a83710eSEric Fiselier // : public unary_function<T, size_t> 155a83710eSEric Fiselier // { 165a83710eSEric Fiselier // size_t operator()(T val) const; 175a83710eSEric Fiselier // }; 185a83710eSEric Fiselier 195a83710eSEric Fiselier #include <bitset> 205a83710eSEric Fiselier #include <cassert> 215a83710eSEric Fiselier #include <type_traits> 225a83710eSEric Fiselier 2378f8ce48SEric Fiselier #include "test_macros.h" 2478f8ce48SEric Fiselier 255a83710eSEric Fiselier template <std::size_t N> 265a83710eSEric Fiselier void 275a83710eSEric Fiselier test() 285a83710eSEric Fiselier { 295a83710eSEric Fiselier typedef std::bitset<N> T; 305a83710eSEric Fiselier typedef std::hash<T> H; 31d95510ebSMarshall Clow static_assert((std::is_same<typename H::argument_type, T>::value), "" ); 32d95510ebSMarshall Clow static_assert((std::is_same<typename H::result_type, std::size_t>::value), "" ); 33*7c803385SMarshall Clow ASSERT_NOEXCEPT(H()(T())); 34*7c803385SMarshall Clow 355a83710eSEric Fiselier H h; 365a83710eSEric Fiselier T bs(static_cast<unsigned long long>(N)); 3778f8ce48SEric Fiselier const std::size_t result = h(bs); 3878f8ce48SEric Fiselier LIBCPP_ASSERT(result == N); 3978f8ce48SEric Fiselier ((void)result); // Prevent unused warning 405a83710eSEric Fiselier } 415a83710eSEric Fiselier 425a83710eSEric Fiselier int main() 435a83710eSEric Fiselier { 445a83710eSEric Fiselier test<0>(); 455a83710eSEric Fiselier test<10>(); 465a83710eSEric Fiselier test<100>(); 475a83710eSEric Fiselier test<1000>(); 485a83710eSEric Fiselier } 49