Ne pas répéter les types utilisés comme paramètres de gabarit

Question

Étant donné le code ci-dessous, y a-t-il une meilleure façon de le corriger qui ne répète pas deux fois typename std::iterator_traits<T>::iterator_category?

template<class T, class T2> 
struct foo : 
    bar< 
     foo<T, T2>, typename 
     std::conditional< 
      std::is_same<typename 
       std::iterator_traits<T>::iterator_category, //Repeated 
       std::random_access_iterator_tag 
      >::value, 
      std::bidirectional_iterator_tag, typename 
      std::iterator_traits<T>::iterator_category  //Repeated 
     >::type 
    > 
{} 

Answer 1

le diviser (comme il devrait être de toute façon):

// put in detail namespace/file or something in real code 
template<class T, class T2> 
struct foo_base 
{ 
    typedef foo<T, T2> foo_type; 
    typedef typename std::iterator_traits<T>::iterator_category category_type; 

    static const bool random_access = std::is_same<category_type, 
             std::random_access_iterator_tag>::value; 
    typedef typename std::conditional<random_access, 
             std::bidirectional_iterator_tag, 
             category_type>::type tag_type; 

    typedef bar<foo_type, tag_type>::type base_type; 
} 

template<class T, class T2> 
struct foo : 
    foo_base<T, T2>::base_type 
{}; 

Même s'il n'y avait pas peu répété, vous devriez toujours diviser pour garder la logique du type de base séparée de l'héritage du type de base.

Answer 2

Vous pouvez typedef il:

typedef std::iterator_traits<T>::iterator_category it_cat;