Как сделать работу типа шаблона в этом случае?

Question

Еще раз, я хотел бы C++ была сильнее typedef S:

#include <vector> 

template<typename T> 
struct A { 
    typedef std::vector<T> List; 
}; 

template<typename T> 
void processList(typename A<T>::List list) { 
    // ... 
} 

int main() { 
    A<int>::List list; 
    processList<int>(list); // This works. 
    processList(list);  // This doesn't. 
} 

Очевидно, что компилятор видит list как std::vector<int> и не A<int>::List, поэтому он не может соответствовать его против A<T>::List, что, как ожидается.

В самом деле, это более длинное имя типа, часто повторяющееся, и это неприятность. Вместо того, чтобы позволить processList принять vector вместо этого, есть ли способ сделать операцию типа шаблона для меня?

Answer 1

Есть ли способ сделать работу типа шаблона для меня?

Нет, это то, что называется , не выводимый контекст.

Однако, зачем вам это нужно? Идиоматический способ передачи последовательностей вокруг по итератору:.

template<typename It> 
void processList(It begin, It end) { 
    typedef typename std::iterator_traits<It>::value_type T; 
    // .... 
} 

int main() { 
    A<int>::List list; 
    processList(list.begin(), list.end()); // works now 
    return 0; 
} 

(Обратите внимание, что в вашем вопросе, вы передаете vectorзначения, что плохая вещь, чтобы сделать для итераторов, это нормально и даже предпочтительнее)

Однако, если вы действительно отчаянным, вы можете иметь функцию вывести любой контейнер, принимая определенное количество аргументов шаблона:.

template<typename T, typename A, template<typename,typename> C> 
void processList(C<T,A>& cont) { 
    // .... 
} 

Обратите внимание, что это будет любой шаблон с двумя аргументами шаблона. OTOH, он не будет соответствовать контейнеру, например std::map, который имеет различное количество аргументов.

Answer 2

Got it. Использование наследования для создания типа, который на самом деле разные:

template<typename T> 
class A : public std::vector<T> { 
}; 

Хорошо, что мне не нужно конструкторы не по умолчанию, в этом случае.

Answer 3

Существует простое решение в вашем случае:

template <class C> 
void processList(C const& list) 
{ 
    typedef typename C::value_type value_type; 
    BOOST_STATIC_ASSERT_MSG((boost::same_type< C, typename A<value_type>::List >), 
    NOT_A_A_LIST_TYPE, 
    (C, A<value_type>) 
); 
    // do your stuff 
} 

Обратите внимание, что C++ 0x приходит!

template <typename second> 
using TypedefName = SomeType<OtherType, second, 5>; 

Интересно, если это будет работать

template <typename value> 
using AList = typename A<value>::List;