g++ -E для template

Копай в сторону -fdump-... и особенно -fdump-tree-...

С помощью clang:

template<typename T>
T add(T& t1, T& t2)
{
        return t1 + t2;
}

template<typename T, typename V>
T add(T& t1, T& t2, V& v1, V& v2)
{
        V res = v1+v2;
        return t1 + t2;
}

int main() 
{
        int i1 = 1, i2 = 2;
        float f1 = 1.1, f2 = 1.2;
        add(i1, i2);
        add(i1, i2, i1, i2);

        add(i1, i2, f1, f2);
}

$ clang++ -cc1 -ast-print 1.cpp | sed 's/template <typename .* = .*>//g'

 int add(int &t1, int &t2) {
    return t1 + t2;
}

template <typename T> T add(T &t1, T &t2) {
    return t1 + t2;
}

;
 int add(int &t1, int &t2, int &v1, int &v2) {
    int res = v1 + v2;
    return t1 + t2;
}

 int add(int &t1, int &t2, float &v1, float &v2) {
    float res = v1 + v2;
    return t1 + t2;
}

template <typename T, typename V> T add(T &t1, T &t2, V &v1, V &v2) {
    V res = v1 + v2;
    return t1 + t2;
}

;
int main() {
    int i1 = 1, i2 = 2;
    float f1 = 1.1000000000000001, f2 = 1.2;
    add(i1, i2);
    add(i1, i2, i1, i2);
    add(i1, i2, f1, f2);
}

Для g++ вывод не такой красивый

template<typename T>
T add(T& t1, T& t2)
{
        return t1 + t2;
}

template<typename T, typename V>
T add(T& t1, T& t2, V& v1, V& v2)
{
        V res = v1+v2;
        return t1 + t2;
}

template<typename T, typename V, typename T1>
T add(T& t1, T& t2, V& v1, V& v2, T1& )
{
        V res = v1+v2;
        return t1 + t2;
}

class A {};

template double add<double>(double&, double&);
//template A add<A>(A&, A&);
int main()
{
        int i1 = 1, i2 = 2;
        float f1 = 1.1, f2 = 1.2;
        A a1;
        add(i1, i2);
        add(i1, i2, i1, i2);

        add(i1, i2, f1, f2, a1);
}

g++ -fdump-tree-original 1.cpp [/qoute]

;; Function int main() (null)
;; enabled by -tree-original


{
  int i1 = 1;
  int i2 = 2;
  float f1 = 1.10000002384185791015625e+0;
  float f2 = 1.2000000476837158203125e+0;
  struct A a1;

  <<cleanup_point   int i1 = 1;>>;
  <<cleanup_point   int i2 = 2;>>;
  <<cleanup_point   float f1 = 1.10000002384185791015625e+0;>>;
  <<cleanup_point   float f2 = 1.2000000476837158203125e+0;>>;
    struct A a1;
  <<cleanup_point <<< Unknown tree: expr_stmt
  (void) add<int> ((int &) &i1, (int &) &i2) >>>>>;
  <<cleanup_point <<< Unknown tree: expr_stmt
  (void) add<int, int> ((int &) &i1, (int &) &i2, (int &) &i1, (int &) &i2) >>>>>;
  <<cleanup_point <<< Unknown tree: expr_stmt
  (void) add<int, float, A> ((int &) &i1, (int &) &i2, (float &) &f1, (float &) &f2, (struct A &) &a1) >>>>>;
}
return <retval> = 0;


;; Function T add(T&, T&) [with T = double] (_Z3addIdET_RS0_S1_)
;; enabled by -tree-original

return <retval> = *t1 + *t2;


;; Function T add(T&, T&) [with T = int] (null)
;; enabled by -tree-original

return <retval> = *t1 + *t2;


;; Function T add(T&, T&, V&, V&) [with T = int; V = int] (null)
;; enabled by -tree-original

{
  int res = *v1 + *v2;

    int res = *v1 + *v2;
  return <retval> = *t1 + *t2;
}


;; Function T add(T&, T&, V&, V&, T1&) [with T = int; V = float; T1 = A] (null)
;; enabled by -tree-original

{
  float res = *v1 + *v2;

    float res = *v1 + *v2;
  return <retval> = *t1 + *t2;
}

Не знаю, зачем тебе это, но если ты хочешь дебажить темлейты, то есть очень удобный REPL: metashell.