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 // Not very portable 205a83710eSEric Fiselier 215a83710eSEric Fiselier #include <bitset> 225a83710eSEric Fiselier #include <cassert> 235a83710eSEric Fiselier #include <type_traits> 245a83710eSEric 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; 31*d95510ebSMarshall Clow static_assert((std::is_same<typename H::argument_type, T>::value), "" ); 32*d95510ebSMarshall Clow static_assert((std::is_same<typename H::result_type, std::size_t>::value), "" ); 335a83710eSEric Fiselier H h; 345a83710eSEric Fiselier T bs(static_cast<unsigned long long>(N)); 355a83710eSEric Fiselier assert(h(bs) == N); 365a83710eSEric Fiselier } 375a83710eSEric Fiselier 385a83710eSEric Fiselier int main() 395a83710eSEric Fiselier { 405a83710eSEric Fiselier test<0>(); 415a83710eSEric Fiselier test<10>(); 425a83710eSEric Fiselier test<100>(); 435a83710eSEric Fiselier test<1000>(); 445a83710eSEric Fiselier } 45