Как вывести наиболее вложенный тип итератора?

Question

Я хотел бы написать черту типа, которая, учитывая ContainerType, способна вывести наиболее вложенную IteratorType, что означает, что, например, всегда заданы std::vector<int>, или std::vector<std::vector<int>>, или std::vector<std::vector<std::vector<int>>>. то же самое IteratorType будет выведено, как если бы это было std::vector<int>.

Answer 1

Вот, пожалуйста, я написал черту и небольшую демонстрацию того, как это работает:

#include <type_traits>
#include <iterator>
#include <vector>

template<class ...>
using void_t = void;    

template<class T, class = void>
struct is_container : std::false_type{};

template<class T>
struct is_container<T, void_t<decltype(std::begin(std::declval<T>())), decltype(std::end(std::declval<T>()))>> : std::true_type{};

template<class T, class = void>
struct drill_iterator {
    using type =  typename T::iterator;
};

template<class T>
struct drill_iterator<T, typename std::enable_if<is_container<typename T::value_type>::value>::type > {
    using type = typename drill_iterator<typename T::value_type>::type;
};


int main(){
    drill_iterator<std::vector<std::vector<int>>>::type a;
    drill_iterator<std::vector<int>>::type b;

    if(std::is_same<decltype(b), std::vector<int>::iterator>::value
    && std::is_same<decltype(a), std::vector<int>::iterator>::value)
        return 0;

    return 1;
}

Демоверсия