按照http://www.cplusplus.com/reference/algorithm/swap/中提到的,swap的原理应该是这样的:
template <class T> void swap ( T& a, T& b )
{
T c(a); a=b; b=c;
}
比如
a[] = {1, 2, 3};
b[] = {4, 5, 6};
swap(a, b)
就可以将两个数组进行交换。
但是按照我传统对C语言的理解,我本身自己写的函数如
void func(int *a){
//TODO
}
func(a);
传过去的是个数字首个内容的地址。如果交换指针的值的话,交换的也只是首个位置,无法更改后续位置。
而swap源码可以交换整个数组。而且,我并没有传整个数组的长度进去。甚至类似的,多维数组也可以交换。
那么他实现的机理是什么呢?
题主,下面是swap的实现,它使用的是模板实现,当我传递数组给它的时候,它能推导出数组大小是多少,比如int a[] ={1,2,3,4},当给把a传递给这个函数的时候,其中_Size就推导出来是4.
template<class _Ty,size_t _Size>
inlinevoid swap(_Ty (&_Left)[_Size], _Ty (&_Right)[_Size])
{
if (&_Left != &_Right)
{
_Ty *_First1 = _Left;
_Ty *_Last1 = _First1 + _Size;
_Ty *_First2 = _Right;
for (; _First1 != _Last1; ++_First1, ++_First2)
_STD iter_swap(_First1, _First2);
}
}
iter_swap的功能是交换两个迭代器指向的值,
template<class _FwdIt1,
class _FwdIt2> inline
void iter_swap(_FwdIt1 _Left, _FwdIt2 _Right)
{ // swap *_Left and *_Right
swap(*_Left, *_Right);
}
上面swap里的内容是下面这样的:
tmp = *_Right;
*_Right = *_Left;
*_Left = tmp;
题主,下面是swap的实现,它使用的是模板实现,当我传递数组给它的时候,它能推导出数组大小是多少,比如int a[] ={1,2,3,4},当给把a传递给这个函数的时候,其中_Size就推导出来是4.
template<class _Ty,size_t _Size>
inlinevoid swap(_Ty (&_Left)[_Size], _Ty (&_Right)[_Size])
{
if (&_Left != &_Right)
{
_Ty *_First1 = _Left;
_Ty *_Last1 = _First1 + _Size;
_Ty *_First2 = _Right;
for (; _First1 != _Last1; ++_First1, ++_First2)
_STD iter_swap(_First1, _First2);
}
}
iter_swap的功能是交换两个迭代器指向的值,
template<class _FwdIt1,
class _FwdIt2> inline
void iter_swap(_FwdIt1 _Left, _FwdIt2 _Right)
{ // swap *_Left and *_Right
swap(*_Left, *_Right);
}
上面swap里的内容是下面这样的:
tmp = *_Right;
*_Right = *_Left;
*_Left = tmp;
版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。