メタグループの印刷

メタグループには、メタグループタイプ自体を含む任意の数理任意のタイプの値が格納されます.メタグループには、コンパイル時に決定される固定サイズと固定値タイプがあります.しかしながら、メタグループは、その要素を遍歴するための組み込みメカニズムを提供していない.この例では、テンプレートメタプログラミングにより、C++11のstd::tupleの各要素を印刷します.(参考自:Marc Gregoire等、C++プレミアムプログラミング(第2版)、清華大学出版社、P 661)コードは以下の通り.

#include
#include
#include

using namespace std;

template<int n,typename T>
class tuple_print_helper {
public:
    tuple_print_helper(T t) {
        tuple_print_helper1, T> tp(t);
        cout << ",";
        tuple_print(get1>(t));
    }
};
template<typename T>
class tuple_print_helper<0, T>
{
public:
    tuple_print_helper(T t){}
};
template<typename T>
class tuple_print_helper<1, T>
{
public:
    tuple_print_helper(T t) {
        cout << "(";
        tuple_print(get<0>(t));
    }
};

template<typename T>
void tuple_print(T t) {
    tuple_print_helper::value, T> tph(t);
    cout << ")";
}
template<>
void tuple_print<int>(int t) {
    cout << t;
}

template<>
void tuple_print<double>(double t) {
    cout << t;
}

template<>
void tuple_print<char>(char t) {
    cout << t;
}
template<>
void tuple_print<bool>(bool t) {
    cout << t;
}

template<>
void tuple_print<const char *>(const char* t) {
    cout << t;
}

template<>
void tuple_print<string>(string t) {
    cout << t;
}


int main() {
    string str = "YES";
    auto t1 = make_tuple(make_tuple(32, str),4,"NO");
    auto t2 = make_tuple(t1, t1, t1);
    auto t3 = make_tuple(t2, t2, t2);
    auto t4 = make_tuple(t3, t3, t3);
    tuple_print(t4);
    cout << endl;
}

出力結果:(((((32,YES),4,NO),(32,YES),4,NO),((32,YES),4,NO),((32,YES),4,YES),((32,YES),4,NO),((32,YES),4,NO),((32,YES),4,NO),((32,YES),4,NO)),((((32,YES),4,NO)))),(((32,YES),4,NO),((32,YES),4,NO),((32,YES),YES),4,NO),(((32,YES),YES),4,NO)))))),(((((((32,YES,YES),4,NO),,((32,NO),(32,YES),(4,NO),(),4,NO,(((32,YES),(4,NO),(((32,YES),4,NO),((32,YES),4,NO),((32,YES),4,NO),(((32,YES),4,NO),(((32,YES),4,NO),((32,YES),4,NO),((32,YES),4,NO),((32,YES),4,NO),(((32,YES),4,NO),((32,YES),4,NO),((32,YES),4,NO)),(((32,YES),4,NO),((32,YES),4,NO),((32,YES),4,NO)),(((32,YES),4,NO),((32,YES),4,NO),((32,YES),4,NO))))