Şablonlu bir parametrenin değerini kullanma

Question

Std adlı kullanıcının değer_tipini nasıl kullanması gerekiyor? Bu value_type için ne :: olduğunu düşünmüş

prog.cpp:10: error: ‘T::value_type’ is not a type 
prog.cpp:14: error: type ‘T’ is not derived from type ‘TSContainer<T>’ 
prog.cpp:14: error: expected ‘;’ before ‘pop’ 
prog.cpp:19: error: expected `;' before ‘}’ token 
prog.cpp: In function ‘int main()’: 
prog.cpp:25: error: ‘class TSContainer<std::vector<int, std::allocator<int> > >’ has no member named ‘pop’ 
prog.cpp:25: warning: unused variable ‘v’ 

:
Öyle gibi kullanmaya çalıştı:

#include <vector> 

using namespace std; 

template <typename T> 
class TSContainer { 
private: 
     T container; 
public: 
     void push(T::value_type& item) 
     { 
       container.push_back(item); 
     } 
     T::value_type pop() 
     { 
       T::value_type item = container.pop_front(); 
       return item; 
     } 
}; 
int main() 
{ 
     int i = 1; 
     TSContainer<vector<int> > tsc; 
     tsc.push(i); 
     int v = tsc.pop(); 
} 

Ama bu sonuçlanır?

Answer 1

Sen typename kullanmak zorunda: vb

typename T::value_type pop() 

ve.

Bunun nedeni, derleyicinin T :: value_type öğesinin bir üye değişkeni olup olmadığını bilmemesidir (kimse, struct X { int value_type; }; türünü tanımlamanızı engeller ve bunu şablona aktarır). Bununla birlikte, bu işlev olmadan kod ayrıştırılamamıştır (yapıların anlamı, bazı tanımlayıcıların bir tip veya bir değişken tanımladığına bağlı olarak değişmektedir, örneğin, T * p bir çarpım veya bir işaretçi beyanı olabilir). Bu nedenle, kural, tür veya değişken olabilecek ve typename ile önek eklenerek açık bir şekilde işaretlenmemiş olan her şeyin bir değişken olarak kabul edilmesidir.

Answer 2

Gerçekten bir tür olduğunu belirtmek için typename anahtar sözcüğünü kullanın.

void push(typename T::value_type& item) 

typename T::value_type pop()