C++ `using` команда для псевдонима типа в классе шаблонов

Question

Кажется, что это должно быть очень просто, но я играл и не нашел решение, которое я ищу, так вот:

у меня есть следующие структуры (упрощено для иллюстративных целей, конечно):

template<typename T> 
struct test 
    { 
    using L = std::list<T>; 
    L::iterator a; 
    }; 

Теперь, это бросает ошибку:

error: need 'typename' before 'test<T>::K::iterator' because 'test<T>::K' is a dependent scope 

два способа, которые я нашел фиксацию его до сих пор является менее чем идея л:

1) добавить имяТип перед любым использованием L:

template<typename T> 
struct test 
    { 
    using L = std::list<T>; 
    typename L::iterator a; 
    }; 

Я предпочел бы избежать дополнительной подробности этого, если это возможно.

2) добавить еще используя утверждение целевой итератор непосредственно:

template<typename T> 
struct test 
    { 
    using L = std::list<T>; 
    using iter = typename L::iterator; 
    iter a; 
    }; 

Но это потребует того, чтобы сделать то же самое для каждого итератора я хотел использовать, если я хотел бы также получить доступ к const_iterator и т. д. и т. д., и я бы предпочел не указывать кучу использования операторов.

Итак, есть ли способ, чтобы написать заявление, используя то позволяет мне писать:

L::iterator a; 
L::const_iterator b; 
... 

Спасибо!

Answer 1

typename должен быть там, но вы можете использовать несколько шаблонов псевдоним утилиты, чтобы избежать определения нового iter Типу каждый раз:

template<typename C> 
using Iterator = typename C::iterator; 

template<typename C> 
using ConstIterator = typename C::const_iterator; 

template<typename T> 
struct test 
{ 
    using L = std::list<T>; 
    Iterator<L> i; 
    ConstIterator<L> ci; 
}; 

Answer 2

Нет, нет. Все зависимые типы должны либо быть предварены typename, либо вводиться через предисловие с typename.

Теперь вы можете создать list_iter<T>using declartion где:

template<typename T> 
using list_iter = typename std::list<T>::iterator; 

или даже мета-ИТЭР, используя оператор:

template<template<typename>class container, typename T> 
using iter = typename container<T>::iterator; 
template<template<typename>class container, typename T> 
using const_iter = typename container<T>::const_iterator; 

, который позволит вам сделать:

struct test { 
    using L = std::list<T>; 
    iter<std::list,T> a; 
}; 

, где я «скрыл» typename в using за пределами struct.

В стороне, в 99% случаев std::list - неправильный контейнер.