1*5a83710eSEric Fiselier //===----------------------------------------------------------------------===//
2*5a83710eSEric Fiselier //
3*5a83710eSEric Fiselier //                     The LLVM Compiler Infrastructure
4*5a83710eSEric Fiselier //
5*5a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open
6*5a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details.
7*5a83710eSEric Fiselier //
8*5a83710eSEric Fiselier //===----------------------------------------------------------------------===//
9*5a83710eSEric Fiselier 
10*5a83710eSEric Fiselier // <functional>
11*5a83710eSEric Fiselier 
12*5a83710eSEric Fiselier // template <class T>
13*5a83710eSEric Fiselier // struct hash
14*5a83710eSEric Fiselier //     : public unary_function<T, size_t>
15*5a83710eSEric Fiselier // {
16*5a83710eSEric Fiselier //     size_t operator()(T val) const;
17*5a83710eSEric Fiselier // };
18*5a83710eSEric Fiselier 
19*5a83710eSEric Fiselier // Not very portable
20*5a83710eSEric Fiselier 
21*5a83710eSEric Fiselier #include <bitset>
22*5a83710eSEric Fiselier #include <cassert>
23*5a83710eSEric Fiselier #include <type_traits>
24*5a83710eSEric Fiselier 
25*5a83710eSEric Fiselier template <std::size_t N>
26*5a83710eSEric Fiselier void
27*5a83710eSEric Fiselier test()
28*5a83710eSEric Fiselier {
29*5a83710eSEric Fiselier     typedef std::bitset<N> T;
30*5a83710eSEric Fiselier     typedef std::hash<T> H;
31*5a83710eSEric Fiselier     static_assert((std::is_base_of<std::unary_function<T, std::size_t>,
32*5a83710eSEric Fiselier                                    H>::value), "");
33*5a83710eSEric Fiselier     H h;
34*5a83710eSEric Fiselier     T bs(static_cast<unsigned long long>(N));
35*5a83710eSEric Fiselier     assert(h(bs) == N);
36*5a83710eSEric Fiselier }
37*5a83710eSEric Fiselier 
38*5a83710eSEric Fiselier int main()
39*5a83710eSEric Fiselier {
40*5a83710eSEric Fiselier     test<0>();
41*5a83710eSEric Fiselier     test<10>();
42*5a83710eSEric Fiselier     test<100>();
43*5a83710eSEric Fiselier     test<1000>();
44*5a83710eSEric Fiselier }
45