Spécialisation Partielle de Modèle

              
12345678
            
// What if `T1` and `T2` are the same type?
// Or what if you want to define special behavior when `T1` is a `std::string`?

template<typename T1, typename T2>
void TemplateExample(T1 first, T2 second) 
{
    std::cout << "Generic template!" << std::endl;
}

              
123456789101112131415
            
#include <iostream>

// Primary template
template<typename T1, typename T2>
bool IsSameType(T1 first, T2 second) { return false; }

// Partial specialization for when both types are the same
template<typename T>
bool IsSameType(T first, T second) { return true; }

int main()
{
    std::cout << IsSameType(10, 'a') << std::endl;
    std::cout << IsSameType("Hello", "World") << std::endl;
}

              
123456789101112131415
            
#include <iostream>

// Primary template
template <typename T1, typename T2> // General case
void Template(T1 a, T2 b) { std::cout << "General" << std::endl; }

// Partial specialization for when `T1` is `bool`
template <typename T2> // Special case when the first type is `bool`
void Template(bool a, T2 b) { std::cout << "Special" << std::endl; }

int main()
{
    Template(false, 25);
    Template(100, 300);
}