《C++标准程序库》中说明auto_ptr当需要作为参数传递时,安全的方式是使用const T&方式
分析如下:
对于使用by value方式传递,不管使用T或者const T,ownership都会改变
对于使用by reference,若仅仅使用T&,虽然传参的时候没有改变ownership,但是在函数内部用户却可以随便改变ownership
援引书中的示例:
template <class T> void bad_print(const std::auto_ptr<T>& p) { //does p own an object? if (p.get() == NULL) { std::cout << "NULL"; } else { std::cout << *p; } std::auto_ptr<T> tmp = p; //COMPILE-TIME ERROR } template <class T> void bad_print2(std::auto_ptr<T>& p) { //does p own an object? if (p.get() == NULL) { std::cout << "NULL"; } else { std::cout << *p; } std::auto_ptr<T> tmp = p; }int main() { std::auto_ptr<int> p(new int); *p = 42; //change value to which p refers //bat_print(p); //COMPILE-TIME ERROR bad_print2(p); *p = 18; //RUNTIME ERROR return 0; }
调用bad_print2,编译没有错误,但是运行的时候,因为std::auto_ptr<T> tmp = p;语句会改变p的ownership,在语句*p = 18;就会发生RUNTIME ERROR。
调用bad_print,编译就会报错,因为语句std::auto_ptr<T> tmp = p;改变了p的ownership。
这也能说明为什么auto_ptr不能用在STL的容器,书中是这样解释,对于C++标准程序库的所有容器的接口都使用的是const T&,然后在内部使用赋值操作,类似语句std::auto_ptr<T> tmp = p;
这样编译的时候就会报错,所以auto_ptr不能用于STL的容器。
备注:
auto_ptr作为类成员,应该是用const T