How to write a type trait `is_container` or `is_vector`?

Question

Is it possible to write a type trait whose value is true for all common STL structures (e.g., vector, set, map, ...)?

To get s

Answer 1

template 
struct is_container {

    template <
       typename U,
       typename I = typename U::const_iterator
    >   
    static int8_t      test(U* u); 

    template 
    static int16_t     test(...);

    enum { value  =  sizeof test ::type> (0) == 1 };
};


template  
struct  is_container >    : std::true_type { };