c++-模板元编程非类型值列表

#include <iostream>
#include <utility>
#include <string>

#include <vector>
#include <map>
#include <set>
#include <stack>
#include <queue>

#include <algorithm>


using namespace std;

struct EmptyObject {
};

template<size_t ... Values>
struct ValueList;

template<typename List, size_t NewValue>
struct PushFrontV;

template<size_t ... Values, size_t NewValue>
struct PushFrontV<ValueList<Values...>, NewValue> {
    using type = ValueList<NewValue, Values...>;
};

template<size_t NewValue>
struct PushFrontV<ValueList<>, NewValue> {
    using type = ValueList<NewValue>;
};

template<typename List, size_t NewValue>
using PushFrontVV = typename PushFrontV<List, NewValue>::type;

template<typename List>
struct PopFrontV;

template<size_t Front, size_t ... Values>
struct PopFrontV<ValueList<Front, Values...>> {
    using type = ValueList<Values...>;
};

template<>
struct PopFrontV<ValueList<>> {
};

template<typename List>
using PopFrontVV = typename PopFrontV<List>::type;



template<typename List, size_t NewValue>
using PushFrontVV = typename PushFrontV<List, NewValue>::type;

template<typename List>
struct FrontValue;

template<size_t Front, size_t ...Values>
struct FrontValue<ValueList<Front, Values...>> {
    constexpr static auto Value = Front;
};

template<typename List>
constexpr auto FrontValueV = FrontValue<List>::Value;

template<typename List>
struct PrintValueList {
    constexpr PrintValueList() = default;

    PrintValueList<PopFrontVV<List>> other;
    constexpr static auto Front = FrontValueV<List>;

    void print() const {
        cout << Front << "\t";
        other.print();
    }
};

template<>
struct PrintValueList<ValueList<>> {
    void print() const {
        cout << endl;
    }
};

int main() {
    using VL = ValueList<1, 2, 3, 4, 5, 6, 7, 8, 9, 10>;
    constexpr PrintValueList<VL> xx;
    xx.print();
}