《C++标准程序库》读书笔记 2012-07-08 auto_ptr 作为参数传递

《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