STL之copy_backward函数

最新推荐文章于 2024-04-29 10:31:26 发布

无名_1989

最新推荐文章于 2024-04-29 10:31:26 发布

阅读量632

点赞数

分类专栏： STL源码分析

STL源码分析专栏收录该内容

43 篇文章

订阅专栏

本文详细解析了copy_backward函数的调用结构及其与copy函数的区别。介绍了copy_backward的不同版本，包括泛化版本和特化版本，并解释了如何根据是否有无关紧要的赋值操作符来选择不同的实现方式。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

copy_backward与copy的调用结构基本一致，但也有稍许区别：例如

1. copy有一个泛化版，两个特化版，而copy_backward只有一个泛化版；
2. copy中的__copy有两个版本，分别用input_iterator_tag和random_access_iterator_tag区分，而copy_backward只有一个__copy_backward泛化版本；

template <class BidirectionalIterator1, class BidirectionalIterator2>
inline BidirectionalIterator2 copy_backward(BidirectionalIterator1 first,
                                            BidirectionalIterator1 last,
                                            BidirectionalIterator2 result) {
  return __copy_backward_dispatch<BidirectionalIterator1,
                                  BidirectionalIterator2>()(first, last,
                                                            result);
}

__copy_backward_dispatch的泛化版本：

template <class BidirectionalIterator1, class BidirectionalIterator2>
struct __copy_backward_dispatch
{
  BidirectionalIterator2 operator()(BidirectionalIterator1 first,
                                    BidirectionalIterator1 last,
                                    BidirectionalIterator2 result) {
    return __copy_backward(first, last, result);
  }
};

__copy_backward_dispatch的特化版本1：

template <class T>
struct __copy_backward_dispatch<T*, T*>
{
  T* operator()(T* first, T* last, T* result) {
    typedef typename __type_traits<T>::has_trivial_assignment_operator t;
    return __copy_backward_t(first, last, result, t());
  }
};

__copy_backward_dispatch的特化版本2：

template <class T>
struct __copy_backward_dispatch<const T*, T*>
{
  T* operator()(const T* first, const T* last, T* result) {
    typedef typename __type_traits<T>::has_trivial_assignment_operator t;
    return __copy_backward_t(first, last, result, t());
  }
};

有“无关紧要的赋值操作符” 会执行下面这个函数：

template <class T>
inline T* __copy_backward_t(const T* first, const T* last, T* result,
                            __true_type) {
  const ptrdiff_t N = last - first;
  memmove(result - N, first, sizeof(T) * N);
  return result - N;
}

没有“无关紧要的赋值操作符” 会执行下面这个函数：

template <class T>
inline T* __copy_backward_t(const T* first, const T* last, T* result,
                            __false_type) {
  return __copy_backward(first, last, result);
}

底层的具体实现之一的函数（另一个是memmove）：

template <class BidirectionalIterator1, class BidirectionalIterator2>
inline BidirectionalIterator2 __copy_backward(BidirectionalIterator1 first,
                                              BidirectionalIterator1 last,
                                              BidirectionalIterator2 result) {
  while (first != last) *--result = *--last;
  return result;
}

转载：https://blog.csdn.net/chengzi_comm/article/details/51974119