int a = 10;
check(a)
->
a: 10

#include <array>
#include <cstdlib>
#include <iostream>
#include <map>
#include <sstream>
#include <string>
#include <type_traits>
#include <vector>
#include <set>
#include <deque>

using namespace std;

#define check(val) \
  cout << "\033[31m"; \
  cout << #val << ": "; \
  Print(val);                                   \
  cout << "\033[m" << endl;

// Ignore<>::typeとした時に、必ずvoidを返して欲しい
template <class>
struct Ignore{
  typedef void type;
};

// 1変数出力用のPrintObj。
// Print関数内ではPrintObjの第二引数が常に省略されているので、配列出力用PrintObjでT::iteratorがなかった時は、必ずこちらが呼ばれるようになっている。
template <class T, class X=void >
struct PrintObj{
    void operator()(T value){
      cout << value;
    }
};

// 配列出力用PrintObj。
// 関数オブジェクトPrintObjの第二テンプレートに無理やりT::iteratorを入れることで、Tがイテレータを持つクラスかを判定する。
template<class T>
struct PrintObj<T, typename Ignore<typename T::iterator>::type>{
    void operator()(T value){
        cout << "[";
        for(typename T::iterator itr = value.begin(); itr != value.end(); itr++) {
          if (itr != value.begin())
            cout << " ";
          PrintObj<typename T::value_type>()(*itr);
        }
        cout << "]";
    }
};

template<class T>
void Print(T value){
  PrintObj<T>()(value);
}


// std::mapなど、イテレータがstd::pairのオブジェクトを指すクラスをcoutに渡すため
template<class T, class U>
ostream& operator << (ostream& os, const pair<T, U> p){
    os << "(" << p.first << "," << p.second << ")";
    return os;
}

int main(void){

    int a = 10;
    cout << "int" << endl;
    check(a)

    vector<double> b(3, 4);
    cout << "vector" << endl;
    check(b);

    string c = "hello";
    cout << "string" << endl;
    check(c);

    map<string, int> d;
    d["hoge"] = 1;
    cout << "map" << endl;
    check(d);

    set<int> e{3, 1, 4, 1};
    cout << "set" << endl;
    check(e);

    deque<int> f(2, 5);
    cout << "deque" << endl;
    check(f);

    array<int, 5> g = {1, 2, 3, 4, 5};
    cout << "array" << endl;
    check(g);

    // array cannot be used //
    int h[3] = {0, 1, 2};
    cout << "int[]" << endl;
    check(h);


    return 0;
}

$ g++ -std=c++1y test.cpp; ./a.out                 
int                      
a: 10                    
long long int            
b: 999999999999999999    
vector                   
c: [4 4 4]               
string                   
d: [h e l l o]           
bool                     
e: 1                     
map                      
f: [(hoge,1)]            
set                      
g: [1 3 4]               
deque                    
h: [5 5]                 
array                    
i: [1 2 3 4 5]           
int[]                    
j: 0x7ffcfa4f55a0