#include <iostream>


#if 0 //VS only version
class CConstraint
{
public:
  template <typename TL>
    void Verify(int position, int* constraints)
    {
      std::cout << "444" << std::endl;
    }

  //error: explicit specialization in non-namespace scope class CConstraint<T>
  //error: template-id Verify<int> in declaration of primary template
  template <>
    void Verify<int>(int, int*)
    {
      std::cout << "555" << std::endl;
    }
};

#else //Both VS + g++

template<typename T>
struct identity { typedef T type; };

class CConstraint
{
public:
  template <typename TL>
    void Verify(int position, int* constraints);

private:
  template<typename TL>
    void Verify(int, int*, identity<TL>);
  void Verify(int, int*, identity<int>);
  void Verify(int, int*, identity<long>);
};


  template <typename TL>
void CConstraint::Verify(int position, int* constraints)
{
  Verify(position, constraints, identity<TL>());
}

  template<typename TL>
void CConstraint::Verify(int, int*, identity<TL>)
{
  std::cout << "111" << std::endl;
}

void CConstraint::Verify(int, int*, identity<int>)
{
  std::cout << "222" << std::endl;
}

void CConstraint::Verify(int, int*, identity<long>)
{
  std::cout << "333" << std::endl;
}

#endif

int main()
{
  int arg = 100;

  CConstraint obj;
  obj.Verify<int>(100, &arg);   //222
  obj.Verify<char>(100, &arg);  //111
  obj.Verify<long>(100, &arg);  //333

  CConstraint obj2;
  obj2.Verify<int>(100, &arg);  //222
  obj2.Verify<char>(100, &arg); //111
  obj2.Verify<long>(100, &arg); //333

  return 0;
}