Здравствуйте, k55, Вы писали:
А почему не

#include <iostream>
#include <typeinfo>
using namespace std;

template <class T>
T GetVal(int a, T b)
{
    cout << typeid(b).name() << ": ";
    return b + 1;
}

int main() {
    cout << GetVal<long long>(1, 2) << endl;
    cout << GetVal(1,int(3)) << endl;
    cout << GetVal(1,char(52)) << endl;
    cout << GetVal(1,static_cast<long long>(52)) << endl;
    return 0;
}

sheridan@pc-0019 /tmp $ ./aaa             
x: 3
i: 4
c: 5
x: 53

Здравствуйте, k55, Вы писали:
А почему не

#include <iostream>
#include <typeinfo>
using namespace std;

template <class T>
T GetVal(int a, T b)
{
    cout << typeid(b).name() << ": ";
    return b + 1;
}

int main() {
    cout << GetVal<long long>(1, 2) << endl;
    cout << GetVal(1,int(3)) << endl;
    cout << GetVal(1,char(52)) << endl;
    cout << GetVal(1,static_cast<long long>(52)) << endl;
    return 0;
}

sheridan@pc-0019 /tmp $ g++ -o aaa cpp.cpp
sheridan@pc-0019 /tmp $ ./aaa             
x: 3
i: 4
c: 5
x: 53