如何检查函数的模板参数是否具有某种类型？

#include<iostream>
#include <type_traits>

template<typename T>
void check_type(T value) {
    if (std::is_same<int, T>::value) {
        std::cout << "The type of value is int."<< std::endl;
    } else if (std::is_same<float, T>::value) {
        std::cout << "The type of value is float."<< std::endl;
    } else {
        std::cout << "The type of value is unknown."<< std::endl;
    }
}

int main() {
    check_type(42);
    check_type(3.14f);
    return 0;
}