類pair提供了這樣一種機(jī)制,它把兩個(gè)(有序)值作為一個(gè)單元對(duì)待.在c++標(biāo)準(zhǔn)庫(kù)中,它被廣泛的應(yīng)用.特別是在容器類map和multimap中大量的使用了pair來(lái)管理它們的元素.另外一個(gè)對(duì)于pair的廣泛使用就是在那些要返回兩個(gè)值的函數(shù)中.
結(jié)構(gòu)pair被定義在<utility>中,如下:
namespace std {
template <class T1, class T2>
struct pair {
//type names for the values
typedef T1 first_type;
typedef T2 second_type;
//member
T1 first;
T2 second;
/* default constructor
* - T1 () and T2 () force initialization for built-in types
*/
pair()
: first(T1()), second(T2()) {
}
//constructor for two values
pair(const T1& a, const T2& b)
: first(a), second(b) {
}
//copy constructor with implicit conversions
template<class U, class V>
pair(const pair<U,V>& p)
: first(p.first), second(p.second) {
}
};
//comparisons
template <class T1, class T2>
bool operator== (const pair<T1,T2>&, const pair<T1,T2>&);
template <class T1, class T2>
bool operator< (const pair<T1,T2>&, const pair<T1,T2>&);
//similar: !=, <=, >, >=
//convenience function to create a pair
template <class T1, class T2>
pair<T1,T2> make_pair (const T1&, const T2&);
}
注意pair被定義為struct而不是class,這就是說(shuō)訪問(wèn)pair中任何一個(gè)單獨(dú)的值都是可以的.默認(rèn)的構(gòu)造函數(shù)會(huì)調(diào)用模板類型中默認(rèn)的構(gòu)造函數(shù).當(dāng)然,它也會(huì)初始化基本類型如int為默認(rèn)的值.比如:
std::pair<int,float> p;
這樣的結(jié)果就是p.first=0,p.second=0
上面的帶模板的拷貝構(gòu)造函數(shù)是在隱式類型轉(zhuǎn)換的時(shí)候使用的.如:
void f(std::pair<int,const char*>);
void g(std::pair<const int.std::string>);
void foo {
std::pair<int,const char*> p(42,"hello");
f(p); //OK: calls built-in default copy constructor
g(p); //OK: calls template constructor
}
上面的例子還不能說(shuō)明問(wèn)題,下面我自己實(shí)現(xiàn)一個(gè)pair:
template <class T1,class T2>
class MyPair
{
public:
T1 first;
T2 second;
MyPair():first(T1()),second(T2())
{
std::cout<<"first constructor"<<std::endl;
}
MyPair(const T1& a,const T2&b):first(a),second(b)
{
std::cout<<"second constructor"<<std::endl;
}
template<class U,class V>
MyPair(const MyPair<U,V> &myP):first(myP.first),second(myP.second)
{
std::cout<<"third constructor"<<std::endl;
}
};
相應(yīng)f()和g()也進(jìn)行一番改動(dòng):
void f(MyPair<int,const char*> arg)
{
std::cout<<arg.first<<","<<arg.second<<std::endl;
}
void g(MyPair<int,std::string> arg)
{
std::cout<<arg.first<<","<<arg.second<<std::endl;
}
這是調(diào)用過(guò)程:
int main()
{
MyPair<int,const char*> p(100,"Hello World");
f(p);
g(p);
}
這是調(diào)用結(jié)果:
second constructor
100,Hello World
third constructor
100,Hello World
可以看到f(p)的參數(shù)的模板類與之前構(gòu)造的模板類相同,所以會(huì)調(diào)用默認(rèn)的構(gòu)造函數(shù)進(jìn)行復(fù)制.
但是g(p)的參數(shù)的模板類與之前構(gòu)造的模板類不同,所以會(huì)調(diào)用帶模板定義的拷貝構(gòu)造函數(shù)進(jìn)行復(fù)制.
序偶的比較
兩個(gè)序偶相同,當(dāng)且僅當(dāng)兩個(gè)序偶中對(duì)應(yīng)的值相同.
namespace std {
template <class T1, class T2>
bool operator== (const pair<T1,T2>& x, const pair<T1,T2>& y) {
return x.first == y.first && x.second == y.second;
}
}
比較兩個(gè)序偶的大小,第一個(gè)元素有較高的優(yōu)先級(jí),第一個(gè)元素小的序偶小,如果第一個(gè)元素相等,則比較第二個(gè).
namespace std {
template <class T1, class T2>
bool operator< (const pair<T1,T2>& x, const pair<T1,T2>& y) {
return x.first < y.first ||
(!(y.first < x.first) && x.second < y.second);
}
}
一個(gè)方便的構(gòu)造序偶的函數(shù)make_pair
std::make_pair(42,'@')可以用來(lái)取代std::pair<int,char>(42.'@')
make_pair的定義:
namespace std {
//create value pair only by providing the values
template <class T1, class T2>
pair<Tl,T2> make_pair (const T1& x, const T2& y) {
return pair<T1,T2>(x, y);
}
}
但是在某些情況下,你可能需要顯式的定義類型,這個(gè)時(shí)候make_pair往往不會(huì)產(chǎn)生預(yù)期的結(jié)果:
std::pair<int,float>(42,7.77)
與
std::make_pair(42,7.77)
所產(chǎn)生的pair并不相同,因?yàn)楹笳叩刃в趕td::pair<int,
double>(42,7,77)
posted on 2007-07-03 23:49
littlegai 閱讀(316)
評(píng)論(0) 編輯 收藏 引用