为什么std::find是这样实现的

Why is std::find implemented this way?

本文关键字：实现 std find 为什么      更新时间：2023-10-16

我碰巧遇到std::find的来源，发现它让我感到困惑。基本上，它将项目数除以4，并在每轮中进行比较4：

template<typename _RandomAccessIterator, typename _Tp>
_RandomAccessIterator
__find(_RandomAccessIterator __first, _RandomAccessIterator __last,
   const _Tp& __val, random_access_iterator_tag)
{
  typename iterator_traits<_RandomAccessIterator>::difference_type
__trip_count = (__last - __first) >> 2;
  for (; __trip_count > 0; --__trip_count)
{
  if (*__first == __val)
    return __first;
  ++__first;
  if (*__first == __val)
    return __first;
  ++__first;
  if (*__first == __val)
    return __first;
  ++__first;
  if (*__first == __val)
    return __first;
  ++__first;
}
  switch (__last - __first)
{
case 3:
  if (*__first == __val)
    return __first;
  ++__first;
case 2:
  if (*__first == __val)
    return __first;
  ++__first;
case 1:
  if (*__first == __val)
    return __first;
  ++__first;
case 0:
default:
  return __last;
}
}

我不知道为什么要这样做。看起来有些优化。但我不认为这会利用多核那么容易。无论如何，这是在一个单独的线程中。

有什么想法吗？

看起来像循环展开，也称为循环展开。

这是循环展开。结果是一样的，但对处理器来说更友好。

渐近复杂度是相同的。

不完全确定，我认为这是一种循环展开。

请参见中的循环展开：http://www.codeproject.com/Articles/6154/Writing-Efficient-C-and-C-Code-Optimization

这是达夫的设备。这是一种古老的优化技术它以一种特殊的方式混合while和switch语句。它使用循环展开。在汇编程序中，您可以直接跳到展开的循环中。

相关文章：