提供了一個「安全的」推（）函數的使用與auto_ptr的

Question

我想聲明中使用的「安全」 push()功能與auto_ptr這樣的：

template<class StackType,typename T> 
inline void push(StackType &s, auto_ptr<T> p) { 
    s.push(p.get()); 
    p.release(); 
} 

我也希望它爲空指針工作，例如：

push(my_stack, 0); // push a null pointer 

因此，專業化：

template<class StackType> 
inline void push(StackType &s, int p) { 
    s.push(reinterpret_cast<typename StackType::value_type>(p)); 
} 

雖然它的工作原理，這既是醜，並允許錯誤的代碼，如：

push(my_stack, 1); // ??? 

編譯。

我該如何編寫push()的專業化版本，使其只接受0作爲有效的int值（用於空指針）？

要求

• StackType一些堆垛狀容器類，我必須使用，其源代碼，我可以不變化（就像std::stack）。我可以認爲它有一個push()成員函數。

• 我不能使用nullptr，因爲我不需要C++ 0x編譯器。

Answer 1

如下您可以重載函數：

template<class StackType,typename T> 
inline void push(StackType &s, auto_ptr<T> p) { 
    s.push(p.get()); 
    p.release(); 
} 

template<class StackType> 
inline void push(StackType &s) 
{ 
    s.push(reinterpret_cast<typename StackType::value_type>(0)); 
} 

然後使用它：

push(my_stack); 
push(my_stack, auto_ptr_var); 

Answer 2

你需要一個特定的空指針類型來處理這種情況。這就是C++ 11帶來nullptr的原因。

Answer 3

編輯：第二次迭代。 （第一種假設某些特定堆棧類的push方法將被重載。）

本次迭代改爲將push作爲函數模板提供給提供push成員的任何類，可以存儲T*。意圖是允許auto_ptr<T>和0作爲參數，但禁止其他整數值和指針。

基本技巧還是一樣：提供一個過載，使push(s, 0)實際上將0解釋爲成員的空指針。

class X; 

template<typename StackType, typename T> 
void push(StackType& s, std::auto_ptr<T> p); 

template<typename ST> 
void push(ST&, int (X::*)); 

class X { 
    private: 
    int m; 
    X(); // unimplemented 
    X(const X&); // unimplemented 
    X& operator=(const X&); // unimplemented 
    ~X(); // unimplemented 

    template<typename ST> 
    friend 
    void push(ST&, int (X::*)); 
}; 

template<typename StackType, typename T> 
void push(StackType& s, std::auto_ptr<T> p) { 
    s.push(p.get()); 
    p.release(); 
} 

template<typename StackType> 
void push(StackType& s, int (X::*)) { 
    s.push(0); 
} 

測試：

std::stack<int*> s; 
push(s, std::auto_ptr(new int(1))); // works 
push(s, 0); // works 
push(s, 1); // errors out: no matching function