提供“安全”的环境。与 auto_ptr 一起使用的 push() 函数

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

编辑：第二次迭代。 （第一个假设某个特定堆栈类的 push 方法将被重载。）

此迭代旨在提供 push 作为任何提供推送的类的函数模板接受的成员可以存储T*。目的是允许 auto_ptr 和 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

Answer 3

您需要一个特定的空指针类型来处理这种情况。这就是 C++11 引入 nullptr 的原因。