1.Pairs(对组)
(1)class pair可以将两个值视为一个单元。任何函数需返回两个值,也需要pair。
(2)便捷地创建pair对象可以使用make_pair函数
std::make_pair(32,'@')
等价于
std::pair(int,char)(42,'@')
2.Class auto_ptr
(1)auto_ptr是一种指针:它是”它所指向的对象“的拥有者(owner)。所以,当身为对象拥有者的auto_ptr被摧毁时,该对象也将遭到摧毁。auto_ptr要求一个对象只能有一个拥有者,严禁一物二主。
(2)auto_ptr不允许你使用一般指针惯用的赋值(assign)初始化方式。你必须直接使用数值来完成初始化。
std::auto_ptr<ClassA> ptr1(new ClassA); //OK
std::auto_ptr<ClassA> ptr2 = new ClassA; //ERROR
(3)auto_ptr拥有权转移
由于一个auto_ptr会删除其所指对象,所以这个对象绝对不能同时被其他对象“拥有”。绝对不应该出现多个auto_ptr同时拥有一个对象的情况。
auto_ptr的copy构造函数和assignment操作符将对象拥有权交出去。
copy构造函数的运用
//initialize an auto_ptr with a new object
std::auto_ptr<Class A> ptr1(new ClassA); //copy the auto_ptr
// - transfers ownership from ptr1 to ptr2
std::auto_ptr<Class A> ptr2(ptr1)
赋值动作
//initialize an auto_ptr with a new object
std::auto_ptr<Class A> ptr1(new ClassA);
std::auto_ptr<Class A> ptr2; //create another auto_ptr
ptr2 = ptr1; //assign the auto_ptr
// - transfers ownership from ptr1 to ptr2
如果ptr2被赋值之前正拥有另一个对象,赋值动作发生时会调用delete,将对象删除
//initialize an auto_ptr with a new object
std::auto_ptr<Class A> ptr1(new ClassA);
//initialize another auto_ptr with a new object
std::auto_ptr<Class A> ptr2(new ClassA);
ptr2 = ptr1; //assign the auto_ptr
// - delete object owned by ptr2
// - transfers ownership from ptr1 to ptr2
(4)起点和终点(source and sink)
拥有权的转移,使得auto_ptr产生一种特殊用法:某个函数可以利用auto_ptr将拥有权交给另一个函数。
1.某函数是数据的终点
2.某函数是数据的起点。当一个auto_ptr被返回时,其拥有权便被转交给调用端
std::auto_ptr<ClassA> f()
{
std::auto_ptr<ClassA> ptr(new ClassA);
...
return ptr; //transfer ownership to calling funciton
}
void g()
{
std::auto_ptr<ClassA> p;
p = f(); //p gets ownership of the returned object
//(previously returned object of f() gets deleted)
}
(5)auto_ptr作为成员之一
3.数值极限
(1)C语言所采用的预处理器常数
整数常数定义于<climits>和<limits.h>,浮点常数定义于<cfloat>和<float.h>
(2)C++通过模板numeric_limits提供极值(定义于<limits>)
4.辅助函数
算法程序库(定义于头文件<algorithm>)内含三个辅助函数,一个用在两值之中挑选较大者,另一个用来在两值之中挑选较小者,第三个用来交换两值。
(1)swap函数
namespace std {
template<class T>
inline void swap(T& a,T& b) {
T tmp(a);
a = b;
b = tmp;
}
};
只有当swap()所依赖的copy构造操作和assignment操作行为存在时,这个调用才有效。
(2)辅助性的“比较操作符”
有四个template functions,分别定义了 !=,>,<=,>=四个比较操作符。它们都是利用操作符==和<完成的。