Traits.cpp

#include <iostream>
using namespace std;

class BirdType //鸟类
{
};

class InsectType //昆虫类
{
};

class BeastType //走兽类
{
};

template <typename A>
class Traits
{
};

template <>
class Traits<BirdType>
{
  public:
    void fly()
    {
        cout << "Birder fly " << endl;
    }
};

template <>
class Traits<InsectType>
{
  public:
    void fly()
    {
        cout << "Insect fly " << endl;
    }
};

template <>
class Traits<BeastType>
{
  public:
    void fly()
    {
        cout << "Beast can't fly " << endl;
    }
};

template <typename T>
class Animal
{
  public:
    void Fly()
    {
        Traits<T>().fly();
    };
};

int main()
{
    Animal<BirdType> brider;
    brider.Fly();

    Animal<InsectType> insect;
    insect.Fly();

    Animal<BeastType> beast;
    beast.Fly();

    return 0;
}