熟悉stl的请进，关于容器的swap

cjog

#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;
class ss
{
        int i;
public:
        ss(int j)
        {
                i=j;
                cout<<"ss(int) "<<this<<endl;
        }
        ss(const ss& arg)
        {
                i=arg.i;
                cout<<"ss(const ss& arg) "<<this<<endl;
        }
        ~ss() {
                cout<<"~ss() "<<this<<endl;
        }
        ss& operator=(const ss&arg)
        {
                i=arg.i;
                cout<<"ss& operator=(const ss&arg) "<<this<<"="<<&arg<<endl;
        }
        void peek() {
                cout<<i<<endl;
        }
};

template<class T> void see(T& x) { x.peek(); }


main()
{
        ss x(1),y(2);
        swap(x,y);  //调用泛型算法里的swap
        x.peek();
        y.peek();
        vector<ss>vss1,vss2;
        vss1.reserve(7);
        vss2.reserve(4);
       
        for(int i = 0; i < 7; i++)
                vss1.push_back(i);
        for(int i = 7; i < 11; i++)
                vss2.push_back(i);
        cout<<"before member swap"<<endl;
        cout<<"vss1"<<endl;
        for_each(vss1.begin(), vss1.end(), see<ss>);
        cout<<endl<<"vss2"<<endl;
        for_each(vss2.begin(), vss2.end(), see<ss>);
        cout<<"member swaping...."<<endl;
        vss1.swap(vss2);  //调用vector的member swap。两个vector中的element的constructor，copy constructor，operator=及destructor一个都没调用.
        cout<<"after member swap"<<endl;
        cout<<"vss1"<<endl;
        for_each(vss1.begin(), vss1.end(), see<ss>);
        cout<<endl<<"vss2"<<endl;
        for_each(vss2.begin(), vss2.end(), see<ss>);
        cout<<"non-member swaping...."<<endl;
        swap(vss1,vss2);//两个vector中的element的构造函数，copy constructor，operator=及析构函数一个都没调用.因为此处还是调用的vector的member swap
        cout<<"after non-member swap"<<endl;
        cout<<endl<<"vss1"<<endl;
        for_each(vss1.begin(), vss1.end(), see<ss>);
        cout<<endl<<"vss2"<<endl;
        for_each(vss2.begin(), vss2.end(), see<ss>);       
}


请注意红色那行，这行我觉得应该调用泛型算法里面的swap，但实际上还是调用的vector的成员函数swap，在stl_vector.h中添加打印信息可印证之。实在想不通这是什么道理，我觉得那行应该调用泛型算法里面的swap才对，不知为何还是调用vector的成员函数swap。急盼高手指教，O(∩_∩)O谢谢

OwnWaterloo

显然成员要高效一些， 只需要交换vector内部的handle， 不需要构造一个临时的vector。

cjog

是的，成员swap的注释中也说了，交换可以在常数时间内完成
我搞不明白的是，从那行红色代码的调用方式来看，应该执行泛型算法的swap啊，为什么还是执行的成员swap呢。

ps:gcc 4.1.2上编译的

okocha-jay

我觉得是在vector的声明中，或者是在std空间里有一个针对vector的swap函数特化版本（当然，它高效），
接受两个vector引用类型的参数；
所以会调用这个swap

知道KOENIG查找规则吗？google一下吧

OwnWaterloo

回复 3# cjog

呃……  我刚才没弄明白你的问题。 现在明白了， 解答就是楼上的。
不过……  那个好像应该叫重载……

hzsjx

应该是特化

OwnWaterloo

看来误会的人不少。
C++03中， 函数是不能partial specification的， 只能explicit specification或者overloading。
explicit specification的结果已经不是一个模板了， 无法应用于各种vector。

1. 
   
2. template<typename T>
   
3. void swap(T& v1, T& v2) // #1
   
4. {
   
5.     T t = v1;
   
6.     v1 = v2;
   
7.     v2 = t;
   
8. }
   
9. 
   
10. template<typename T,class A>
    
11. void swap(vector<T,A>& v1, vector<T,A>& v2) // #2
    
12. {
    
13.       v1.swap(v2);
    
14. }
    

复制代码

2和1之间是相互重载关系， 而不是特化。

okocha-jay

看来误会的人不少。
C++03中， 函数是不能partial specification的， 只能explicit specification或者over ...
OwnWaterloo 发表于 2010-02-25 18:41

    恩，两个主模板，相互重载。
不是全特化，毕竟vector还需要有泛型参数。

cjog

谢谢各位，还是没完全懂，研究中。。。。

cjog

把/usr/include/c++/4.1.2下的文件搜了个遍，都没有找到对以vector为参的swap进行特化或重载的代码。。。。迷茫