#include <type_traits>
#include <iterator>
#include <utility>
#include <vector>
#include <map>
#include <set>

namespace details
{
    template <typename T>
    auto has_iterator(int) -> decltype(std::begin(std::declval<T>()), 0);

    template <typename T>
    float has_iterator(float);

    template <typename T>
    auto has_iterator()
    {
        return has_iterator<T>(0);
    }
    
}

template <typename T>
struct has_iterator
{
    static constexpr bool const value {
        std::is_same_v<int, decltype(details::has_iterator<T>())>
    };
};

int main()
{
    // Test negative cases (i.e. where it return false)
    static_assert( !has_iterator<int>::value );
    static_assert( !has_iterator<std::ostream>::value );

    // Test containers
    static_assert( has_iterator<std::string>::value );
    static_assert( has_iterator<std::vector<int>>::value );
    static_assert( has_iterator<std::map<std::string, int>>::value );
    static_assert( has_iterator<std::set<float>>::value );

    // test C-arrays
    static_assert( has_iterator<char(&)[4]>::value );
    static_assert( has_iterator<int(&)[12]>::value );
}