你能幫我理解這個C++模板代碼嗎？

Question

Hya，

任何人都可以告訴我這是怎麼回事？

template <typename T, 
template <typename ELEM> class CONT = std::deque > 
class Stack { 
private: 
CONT<T> elems; // elements 

public: 
void push(T const&); // push element 
void pop(); // pop element 
T top() const; // return top element 
bool empty() const { // return whether the stack is empty 
return elems.empty(); 
} 
}; 

什麼，我不明白的是： 模板類V或說這個 「模板類CONT =的std :: deque的」

我想象這是

template <class> 
class CONT = std::deque // here CONT is templatized class declaration. 

但什麼讓我感到厭煩的是，我們如何給類名稱CONT分配一些東西，而不是寫下它的定義（我一直這樣做直到這一次）：

template <class> 
class CONT{ 
//def 
} 

一件事：

template <class> // why its only class written in angle bracket there should be also be name 
like : template<class ty> 

非常感謝，任何幫助是非常讚賞）

Answer 1

什麼，我不明白的是：模板V類

。在你的問題上沒有這樣的行，所以我不能與幫助。

template< template <typename ELEM> class CONT = std::deque > 
class Stack 

這是一個模板模板參數的聲明。您將模板傳遞到Stack模板，然後Stack可以在內部使用它。

= std::deque部分是默認值，以防您未指定CONT參數。 （std::deque是一個預定義的模板。）

但是，這不起作用，因爲std::deque有兩個參數。這將工作：

template< template <typename ELEM, typename ALLOC> class CONT = std::deque > 
class Stack 

然而ELEM和ALLOC實際上沒有任何名字;它們的存在僅僅是爲了說明所需模板的參數列表是什麼。所以，你可以省略它們：

template< template <typename, typename> class CONT = std::deque > 
class Stack 

Answer 2

這不是一個對象分配。它只是模板說明符中的語法，用於指定如果沒有提供默認類型參數應該是什麼。這是而不是該類型的定義。