類型別名/ using聲明，在迭代器C++ 11

Question

我無法得到一個使用聲明的工作，我認爲應該工作：

#include <iostream> 
#include <vector> 
using namespace std; 

template<typename C, typename V> 
vector<typename C::iterator> find_all1(C& c, V v) 
{ 
    vector<typename C::iterator> res; 
    for (auto p = c.begin(); p!=c.end(); ++p) { 
    if (*p == v) 
     res.push_back(p); 
    } 
    return res; 
} 

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

template <typename C, typename V> 
vector<Iterator<C>> find_all2(C& c, V v) 
{ 
    vector<Iterator<C>> res; 
    for (auto p = c.begin(); p != c.end(); ++p) { 
    if (*p == v) 
     res.push_back(p); 
    } 
    return res; 
} 

int main(int argc, const char *argv[]) 
{ 
    return 0; 
} 

這基本上是從Stroustrup的書爲例，它贏得了不會編譯。第一部分（find_all1）會這樣做，但嘗試使用using聲明的模板版本不會。

錯誤的引導部分噴涌看起來像這樣：

$ make 
c++ -g -fPIC -std=c++0x -stdlib=libc++ -c -o iter_tests2.o iter_tests2.cpp 
iter_tests2.cpp:18:7: error: no template named 'Iterator'; did you mean 'iterator'? 
using Iterator<T> = typename T::iterator; 
     ^~~~~~~~ 
     iterator 
/usr/bin/../lib/c++/v1/iterator:415:25: note: 'iterator' declared here 
struct _LIBCPP_TYPE_VIS iterator 
         ^
iter_tests2.cpp:18:15: error: partial specialization of alias templates is not permitted 
using Iterator<T> = typename T::iterator; 
       ^~~ 

還有更精彩的，但我認爲重要的部分是關於使用聲明。

Answer 1

你的語法不正確，取出<T>：

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