Как узнать тип данных шаблона функции?

#include<iostream>
#include<fstream>
#include<conio.h>
#include<stdlib.h>
#include<string>
using namespace std;
template<typename t> t i(t l);
void main() {
    int l = 10;
    i(l);
}
template<typename t> t i(t l) {
    if (t == int) {
        cout << "YEs,it work";
        _getch();
    }
}

template<typename t> t i(t l) {
    return l;
}
 
template<> int i<int>(int l) {
    std::cout<<"YEs,it work";
    _getch();
    return l;
}

#include <type_traits>
...
if(std::is_same<T, int>::value) {
...

#include<iostream>
#include<fstream>
#include<conio.h>
#include<stdlib.h>
#include<string>
using namespace std;
template<typename t> t i(t l);
void main() {
    int l = 10;
    i(l);
}
template<typename t> t i(t l) {
    if(is_same<t, int>::value) {
        cout << "YEs,it work";
        _getch();
    }
    return 0;
}

#include<iostream>
#include<fstream>
#include<conio.h>
#include<stdlib.h>
#include<string>
using namespace std;
template<typename t> t i(t l);
void main() {
    int l = 10;
    i(l);
}
template<typename t> t i(t l) {
    if (typeid(t) == typeid(int)) {
        cout << "YEs,it work";
        _getch();
    }
    return 0;
}

#include <iostream>
#include <string>
using namespace std;
 
template<typename T>
void foo( T l )
{
    if( std::is_same<T, int>::value )
    {
        cout << "int" << endl;
    }
    else
    {
        cout << "ne int" << endl;
    }
}
 
void main()
{
    int* a = nullptr;
    foo( a );
}

#include <iostream>
#include <string>
using namespace std;
 
template<typename T>
T foo(T l)
{
    if (std::is_same<T, int>::value)
    {
        cout << "int" << endl;
        return 42;
    }
    else if (is_same<T, string>::value)
    {
        cout << "string" << endl;
        return "42";
    }
    else
    {
        cout << "ni to ne se" << endl;
        return T();
    }
}
 
void main()
{
    foo(1);
}