返回在該類中定義的類型的類模板的成員函數的正確語法是什麼？

Question

我目前正在通過加速C++工作，並且我被困在練習11-6中。這個想法是將標準庫向量重新實現爲一個名爲Vec的類。

我對iterator erase(iterator)成員有問題，因爲我不知道類定義之外的正確語法，並且我嘗試過的所有內容都會導致編譯器錯誤。我現在的代碼是：

template <class T> T* Vec<T>::erase(T* pos){ 

    if(pos < avail) 
     std::copy(pos + 1, avail, pos); 

    --avail; 
    alloc.destroy(avail); 

    return pos; 

} 

這很好用。然而，爲了維護的目的，並與STL算法的兼容性，我知道我應該做這樣的事情：

template <class T> Vec<T>::iterator Vec<T>::erase(Vec<T>::iterator pos){ 

    // As before 

} 

我已經在類定義中定義iterator，如下：

typedef T* iterator; 

試圖與在第二代碼片段的結果進行編譯：

D:\Documents\Programming\Accelerated C++\Chapter 11>cl /EHsc Vec.cpp 
Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 15.00.21022.08 for 80x86 
Copyright (C) Microsoft Corporation. All rights reserved. 

Vec.cpp 
Vec.cpp(23) : warning C4346: 'Vec<T>::iterator' : dependent name is not a type prefix with 'typename' to indicate a type 
Vec.cpp(23) : error C2143: syntax error : missing ';' before 'Vec<T>::erase' 
Vec.cpp(23) : error C4430: missing type specifier - int assumed. Note: C++ does not support default-int 
Vec.cpp(23) : fatal error C1903: unable to recover from previous error(s); stopping compilation 

可悲的是，該警告沒有多大意義的我，和讀取後我無法完全看到它將如何應用於我的代碼。

消息的其餘部分顯示爲編譯器無法識別返回類型。

我已經嘗試了許多不同的組合，搜索並沒有太大的幫助。我將不勝感激任何幫助。謝謝！

Answer 1

template <class T> 
    typename Vec<T>::iterator Vec<T>::erase(typename Vec<T>::iterator pos){ 
//^^^^^^^^ note this      ^^^^^^^^ note this as well! 

     //your code! 
    } 

那typename是需要在兩個地方。這是因爲iterator是從屬名稱，所以需要typename！

讀通過所謂Johannes一個偉大的傢伙，＃2本身這個優秀的解釋：

• Use of typename keyword with typedef and new
：
• Where and why do I have to put the "template" and "typename" keywords?

讀，你也可以閱讀本主題後

---

鏈接到其他的好文章：

• Name binding and dependent names (C++ only)
• Dependent Names（向下滾動，並仔細閱讀本節 - 更好，如果你讀了整篇文章）

Answer 2

template <class T> typename Vec<T>::iterator Vec<T>::erase(typename Vec<T>::iterator pos){ 

    // As before 

} 

...因爲這裏的迭代器的名稱是依賴模板參數」無typename編譯假裝認爲VEC :: iterator是VEC的靜態成員:)