ex-01.cpp (cpp-lecture/nim2/ex-01.cpp)

      1
      2
      3
      4
      5
      6
      7
      8
      9
     10
     11
     12
     13
     14
     15
     16
     17
     18
     19
     20
     21
     22
     23
     24
     25
     26
     27
     28
     29
     30
     31
     32
     33
     34
     35
     36
     37
     38
     39
     40
     41
     42
     43
     44
     45
     46
     47
     48
     49
     50
     51
     52
     53
     54
     55
     56
     57

#include <iostream>
#include "Set.hpp"

/*
template <unsigned int i, unsigned int ...set>
struct MexSearch
{
    static constexpr unsigned int value
        = (IsMemberInSet<i, set...>::is_member)
        ? MexSearch<i+1, set...>::value
        : i;
};
*/

template <unsigned int i, unsigned int ...set>
struct MexSearch;

template <unsigned int i, bool found, unsigned int ...set>
struct MexSelect;

template <unsigned int i, unsigned int ...set>
struct MexSelect<i, true, set...>
{
    static constexpr unsigned int value = MexSearch<i+1, set...>::value;
};

template <unsigned int i, unsigned int ...set>
struct MexSelect<i, false, set...>
{
    static constexpr unsigned int value = i;
};

template <unsigned int i, unsigned int ...set>
struct MexSearch
{
    static constexpr bool found = IsMemberInSet<i, set...>::is_member;

    static constexpr unsigned int value = MexSelect<i, found, set...>::value;
};

template <unsigned int ...set>
struct Mex
{
    static constexpr unsigned int value = MexSearch<0, set...>::value;
};

int
main()
{
    std::cout << IsMemberInSet<2, 0, 1, 2, 3>::is_member << std::endl;
    std::cout << IsMemberInSet<2>::is_member << std::endl;

    std::cout << "Mex<2, 1, 0, 2, 5>::value = "
              << Mex<2, 1, 0, 2, 5>::value << std::endl;
}