шаблоны

template<typename T>
class Class {
  private:
 
    template<typename C> bool func(C const& x, C const& y, int C::*)
    {
        return true;
    }
 
    template<typename C> bool func(...)
    {
        return false;
    }
 
  public:
    bool operator()(T const& lhs, T const& rhs)
    {
        return func<T>(lhs, rhs, 0);
    }
};

template<typename T>
class IsClassT {
  private:
    typedef char One;
    typedef struct { char a[2]; } Two;
    template<typename C> static One test(int C::*);
 
    template<typename C> static Two test(...);
  public:
    enum { Yes = sizeof(IsClassT<T>::test<T>(0)) == 1 };
    enum { No = !Yes };
};

/////////////////////////////////////////////////////////////////////////////////////////
#include <iostream>
///////////////////////////////////////////////////////////////////////////////////////// 
template<typename T>
class IsClassT 
{
private:
    typedef char                   One;
    typedef struct { char a[2]; }  Two;
    template<typename C> static One test(int  C::*);    
    template<typename C> static Two test(...);    
public:
    enum { Yes  = sizeof(IsClassT<T>::test<T>(0)) == 1 };
    enum { No   = !Yes };
};
/////////////////////////////////////////////////////////////////////////////////////////
template<class T>
void  check()
{ 
    std::cout << (IsClassT<T>::Yes ? "IsClassT" : "!IsClassT")
              << std::endl;
}
/////////////////////////////////////////////////////////////////////////////////////////
template<class T>
void  check_T(T)
{
    check<T>();
}
/////////////////////////////////////////////////////////////////////////////////////////
class A
{};
///////////////////////////////////////////////////////////////////////////////////////// 
int main()
{
    A a;
    check_T(5);
    check_T(a);
}

enum { Yes = sizeof(test<T>(0)) == 1 };

#include <string>
#include <vector>
#include <iostream>
 
int main() {
   std::vector<std::string> vs{"1", "2"}; // initializer list
   decltype(vs) vs2 = vs; // decltype
   for ( auto it: vs2 ) { // range-based for
      std::cout << it << std::endl;
   }
}

template<typename T, typename U>
auto myFunc(T t, U u) -> decltype (t + u) 
{ 
     return t + u.; 
};