STL源码剖析（二十）基本算法之copy

最新推荐文章于 2024-10-14 20:54:39 发布

原创

最新推荐文章于 2024-10-14 20:54:39 发布 · 516 阅读

本文深入剖析了C++标准库中copy和copy_backward算法的实现细节，包括如何利用assignment operator和copy constructor，以及何时使用memmove或memcpy提升效率。通过模板元编程和迭代器特性的巧妙运用，这些算法能够针对不同类型的数据进行优化，确保在不同场景下高效地复制和移动元素。同时，文章也探讨了移动语义在这些算法中的应用，以减少不必要的数据复制。

copy进行复制操作，复制操作不外乎运用assignment operator或copy constructor，有些元素类型拥有trivial assignment operator可以使用内存复制如memmove或memcpy可节省大量时间。
copy算法使用的assignment operator，算法中使用函数重载、类型特性type traits、偏特性等特性技巧，目的加强效率。
copy算法完整脉络如下：

请添加图片描述

copy_barward实现技巧与copy类似，将[first, last)区间内元素以逆行方向复制到result-1为起点，方向逆行的区间上，执行的赋值操作*(result-1) = *(last -1), *(result-2) = *(last-2), …返回迭代器result-(last-first)。
copy_backward接受的迭代器必须是BidirectionalIterator。

namespace std _GLIBCXX_VISIBILITY(default)
{
   
   

  template<bool, bool, typename> //模板类__copy_move<bool, bool, typename>
    struct __copy_move
    {
   
   
      template<typename _II, typename _OI>
	static _OI //静态成员函数
	__copy_m(_II __first, _II __last, _OI __result) //拷贝迭代器[first, last)内容至result
	{
   
   
	  for (; __first != __last; ++__result, (void)++__first) //执行[first, last)循环，result前向+1
	    *__result = *__first; //result赋值为[first, last)内容
	  return __result; //返回迭代器result
	}
    };

  template<typename _Category> //模板类__copy_move<typename _Category>
    struct __copy_move<true, false, _Category>
    {
   
   
      template<typename _II, typename _OI>
	static _OI
	__copy_m(_II __first, _II __last, _OI __result) //移动迭代器[first, last)内容至result
	{
   
   
	  for (; __first != __last; ++__result, (void)++__first)
	    *__result = std::move(*__first); //将迭代器first中内容移动至result
	  return __result; //返回result，移动完成后[first, last)中内容为空
	}
    };

  template<> //模板类特例化版本__copy_move<false, false, random_access_iterator_tag>
    struct __copy_move<false, false, random_access_iterator_tag>
    {
   
   
      template<typename _II, typename _OI> //迭代器类型为随机访问迭代器
	static _OI
	__copy_m(_II __first, _II __last, _OI __result) //拷贝迭代器[first, last)内容至result
	{
   
   
	  typedef typename iterator_traits<_II>::difference_type _Distance; //表迭代器之间距离的类型
	  for(_Distance __n = __last - __first; __n > 0; --__n) //执行距离循环
	    {
   
   
	      *__result = *__first;
	      ++__first;
	      ++__result;
	    }
	  return __result;
	}
    };

  template<> //模板类特例化版本__copy_move<true, false, random_access_iterator_tag>
    struct __copy_move<true, false, random_access_iterator_tag>
    {
   
   
      template<typename _II, typename _OI> //随机访问迭代器
	static _OI
	__copy_m(_II __first, _II __last, _OI __result) //移动迭代器[first, last)内容至result
	{
   
   
	  typedef typename iterator_traits<_II>::difference_type _Distance; //表迭代器之间距离的类型
	  for(_Distance __n = __last - __first; __n > 0; --__n) //执行距离循环
	    {
   
   
	      *__result = std::move(*__first); //将迭代器first中内容移动至result
	      ++__first;
	      ++__result;
	    }
	  return __result; //返回result，移动完成后[first, last)中内容为空
	}
    };

  template<bool _IsMove