Статические методы класса (static)

template<typename T>
class HasClone
{
public:
    static void Contstraints()
    {
        T* (T::*test)() const = &T::Clone;
        test;
    }
    HasClone() { void (*p)() = Constraints; }
};
 
template<typename T>
class MyClass : public HasClone
{
    //...
}

basic_string<..., char_traits<char>, ...>

static bool eq (const char_type& c, const char_type& d);

char_traits<char>::eq(c, d)

char_traits<конкретный тип символов>

char_traits<char>::eq(c, d); //<--- примерно так она и используется
   //объект char_traits<char> её для работы просто не нужен

template<typename A, typename B>
class MyClass
{
    class No  {};
    class Yes { No no[2]; };
    static Yes test(A*);
    static No  test(...);
public:
    enum {Is = sizeof(test(static_cast<B*>(0))) == sizeof(Yes) };
};

 sizeof(test(static_cast<B*>(0)))

struct sample
{
   static void hello() { std::cout<<"hello!\n"; } //<--- как он связан с объектом?
};

namespace A
{
    void SomeFunc() {}
}
 
struct B
{
    static void SomeFunc() {}
};
 
int main()
{
    A::SomeFunc();
    B::SomeFunc();
}

class A
{
    static int n;
 
public:
    A() { ++n; }
    static int count() { return n; }
};
int A::n = 0;
 
 
 
int main()
{
    A* tmp;
 
    //...
 
    if(A::count() < 5)
        tmp = new A; 
    else
        std::cout << "error";       
}