swap

[wjb_yd]

#include <iostream>
#include <algorithm>
using namespace std;

class A
{
int i;

class B
{
public:
int j;
};
public:
B b;
};

int main()
{
A a;
A b;
swap(a.b,b.b);
return 0;
}

看过swap源码的朋友应该都知道，swap内部会产生一个用于交换参数的temp变量，但是我现在传入的参数类型是不能被外部访问的，那么swap内部如何能合法的产生出这个A::B类型的temp呢？

[baihacker]

B提供一个swap接口.

[baihacker]

//一个依赖于具体类型的swap的实现通常比通用的swap有效.

#include <iostream> 
#include <algorithm> 
using namespace std; 

class A 
{ 
int i; 

class B 
{ 
public: 
int j; 
void swap(B& it){int t = it.j; it.j = j; j = t;}
}; 
public: 
B b; 
}; 

int main() 
{ 
A a; 
A b; 
a.b.swap(b.b);
return 0; 
} 

[killercat]

本人也对编译原来学的不是很透彻，对 C++ 编译器也没有多少研究，所以，下面纯属 YY，供大家参考：
编译器在语法检查的时候，检查模板的语言，即检查：
template<class _Ty> inline
void swap(_Ty& _X, _Ty& _Y)
{
_Ty _Tmp = _X;
_X = _Y, _Y = _Tmp;
}
检查结果是：模板语法正确，语法正确之后，再对模板进行实例化，产生实例，最后实例被调用，这个过程中，实例没有进行语法检查，编译器认为模板的语法正确了，那么它生成的实例的语法也是正确的。

[killercat]

之所以 A::B _Tmp = _X 能够通过编译，可能就是因为没有进行检查的原因。

[richbirdandy]

public:
B b;
怎么不能被外部访问

A a;
A b;
两个都是A类型
temp不也是A类型的
怎么会是A::B呢

[richbirdandy]

错了 是A::B类型的

这个应该是所谓的受限名称(qualified name)查找
参考C++ Templates 第9章

[wjb_yd]

再顶！！！

[wjb_yd]

我再顶，有人能给个明确回答么

[IanFang]

通过A的拷贝构造函数和赋值操作符完成的。临时对象也是A类型的，b只不过是类型A的一个成员，它的交换是A对象交换的结果。B类型的拷贝构造函数和赋值操作符被A的对应函数调用自然是可以成功的。

参见3楼。

[jieao111]

你的意思是a.b,b.b不能被外部访问？

[e_sharp]

UP