Использование псевдонимов локальных классов в списке базовых классов шаблона

Question

В этом коде:

template <typename Pair>
struct EdgeRange :
  public std::pair<decltype(valueIter(std::declval<Pair>().first)),
                   decltype(valueIter(std::declval<Pair>().second))> {
  using EntryFirst  = decltype(valueIter(std::declval<Pair>().first));
  using EntrySecond = decltype(valueIter(std::declval<Pair>().second));

  EdgeRange(const Pair& p):
    std::pair<EntryFirst, EntrySecond>(valueIter(p.first), valueIter(p.second))
  {}
};

decltype типы упоминаются дважды каждый. Как я могу устранить это дублирование, не перемещая типы за пределы класса?

Answer 1

std::pair имеет typedefs для своих двух типов, так что вы можете просто воспользоваться этими:

template <typename Pair>
struct EdgeRange :
  public std::pair<decltype(valueIter(std::declval<Pair>().first)),
                   decltype(valueIter(std::declval<Pair>().second))>
{
    using EntryFirst  = typename EdgeRange::first_type;
    using EntrySecond = typename EdgeRange::second_type;

    // ...
};