如何检查一个类型是否是从模板函数中的某个可变模板类实例化的？

#include <iostream>
#include <type_traits>

template <template <typename...> class Template, typename T>
struct is_instantiation_of : std::false_type {};

template <template <typename...> class Template, typename... Args>
struct is_instantiation_of<Template, Template<Args...>> : std::true_type {};

template <typename T>
void check_type()
{
    if (is_instantiation_of<std::vector, T>::value)
    {
        std::cout << "The type is an instantiation of std::vector." << std::endl;
    }
    else if (is_instantiation_of<std::map, T>::value)
    {
        std::cout << "The type is an instantiation of std::map." << std::endl;
    }
    else
    {
        std::cout << "The type is not an instantiation of any known template class." << std::endl;
    }
}

int main()
{
    check_type<std::vector<int>>();  // Output: The type is an instantiation of std::vector.
    check_type<std::map<int, std::string>>();  // Output: The type is an instantiation of std::map.
    check_type<int>();  // Output: The type is not an instantiation of any known template class.

    return 0;
}