c++ - libc++ std::search_n 中的这种崩溃是一个错误吗？

Question

我已经尽可能缩小了范围，这似乎是一个错误......

#include <algorithm>
#include <vector>

int main(int argc, char *argv[])
{
  // Crashes
  std::vector<uint8_t> bs{1, 0, 0};
  std::search_n(bs.begin(), bs.end(), 3, 1);

  // Does not crash
  std::vector<uint8_t> bs{1, 0};
  std::search_n(bs.begin(), bs.end(), 2, 1);

  return 0;
}

我明白了

Segmentation fault: 11

我希望我没有错误地使用 std::search_n :)

目前，使用 LLDB 似乎不可能逐步完成 STL 实现。

版本信息：

$clang --version
Apple LLVM version 4.2 (clang-425.0.24) (based on LLVM 3.2svn)
Target: x86_64-apple-darwin12.3.0
Thread model: posix

证据 ;）

13:06:47 ~/bug$ cat bug.cc
#include <algorithm>
#include <vector>

int main(int argc, char *argv[])
{
  std::vector<uint8_t> bs{1, 0, 0};
  std::search_n(bs.begin(), bs.end(), 3, 1);

  // std::vector<uint8_t> bs{1, 0};
  // std::search_n(bs.begin(), bs.end(), 2, 1);

  return 0;
}
13:06:52 ~/bug$ clang++ -std=c++11 -stdlib=libc++ bug.cc -o bug
13:07:36 ~/bug$ ./bug
Segmentation fault: 11
13:07:42 ~/bug$

Answer 1

这似乎是 search_n 中的一个错误，它对我来说也崩溃了（Xcode 4.6.1）。我认为在 __search_n 测试

if (__first == __s)  // return __last if no element matches __value_

需要是

if (__first >= __s)  // return __last if no element matches __value_

发生的情况是算法开始匹配，然后不匹配并重新开始；这个新的起点超出了 __s，这是模式长度的逻辑上最后一个可能的起点。旧的测试只测试平等，而不是“超越”。修复后它不再对我崩溃了。