Template specializations

class Animal
{ // Все поля публичные.
public: 
    std::string name_;
    int age_;
    int weight_;
public:
    void print(); // Вывести поля класса.
};
 
void Animal::print()
{
    using namespace std; // Объект cout нуждается в namespace std.
    cout << " " << name_ << ", " << age_ << " y.o., " << weight_ << " kg " << endl;
}
 
template <typename T> void Swap(T &a, T &b) // Обменять два идентификатора значениями,
{ // используя шаблон.
    T temp = a;
    a = b;
    b = temp;
}

#include <iostream>
#include <string>
 
class Animal
{ // Все поля публичные.
public: 
    std::string name_;
    int age_;
    int weight_;
public:
    void print(); // Вывести поля класса.
};
 
void Animal::print()
{
    using namespace std; // Объект cout нуждается в namespace std.
    cout << " " << name_ << ", " << age_ << " y.o., " << weight_ << " kg " << endl;
}
 
template <typename T> void Swap(T &a, T &b) // Обменять два идентификатора значениями,
{ // используя шаблон.
    T temp = a;
    a = b;
    b = temp;
} 
 
template<> void Swap <Animal> (Animal &a, Animal &b) // Explicit specialization для типа Animal.
{ // Поменять между собой поля age и weight.
    // Вызвать шаблонный прототип метода
    Swap(a.age_, b.age_); // swap integer,
    Swap(a.weight_, b.weight_); // swap integer.
    // Эти два вызова являют собой Implicit instantation, потому что создают функцию определения для типа int.
}
 
int main()
{
    // Создать два объекта типа Animal:
    Animal cat = { "cat", 3, 4 }; // cat и
    Animal dog = { "dog", 2, 5 }; // dog.
 
    Swap(cat, dog); // Обменять между собой поля age and weight,
    // имена оставить не тронутыми.
 
    // Вывести информацию об объектах.
    cat.print(); 
    dog.print();
 
    int apples = 10;
    int pears = 7;
 
    Swap(apples, pears); // Implicit instantation,
    // Создается функция определения void Swap(int, int) (для типа данных int).
 
    std::cout << " apples: " << apples << std::endl;
    std::cout << " pears: " << pears << std::endl;
 
    system("pause");
    return 0;
}

int main()
{
    // ...
    template void Swap<int>(int &, int &); // Explicit instantiation для типа int,
    // реализовываем функцию Swap для этого типа (или нет?).
 
    // ...  
 
    Swap(apples, pears); // Implicit instantation,
    // Создается функция определения void Swap(int, int) (для типа данных int).
 
    std::cout << " apples: " << apples << std::endl;
    std::cout << " pears: " << pears << std::endl;
    
    // ...
 
    system("pause");
    return 0;
}