Как я понимаю, псевдонимы шаблонов в С++ 0x позволят нам сделать следующее:
template <typename T>
using Dictionary = std::map< std::string, T >;
Dictionary<int> ints;
ints[ "one" ] = 1;
ints[ "two" ] = 2;
У меня есть два вопроса:
Сначала мы сможем это сделать (привязать к любому типу или просто шаблонам):
template <typename Iter>
using ValueType = std::iterator_traits<Iter>::value_type;
Во-вторых, использование псевдонимов требует использования ключевого слова typename
в шаблонах, например:
template <typename Iter>
typename ValueType<Iter> sum(Iter first, Iter last) { ... }
// ^ required?
Или это требуется в объявлении псевдонима?
using ValueType = typename std::iterator_traits<Iter>::value_type;
// ^ required?
Или нет?