c++ - Boost find_first 它是如何工作的？/定义一个范围

Question

我有一个缓冲区(例如 char buffer[1024] )，其中填充了一些数据。现在我想在这个缓冲区中搜索一个子字符串。因为它应该是一个不区分大小写的搜索，所以我正在使用 boost::algorithm::ifind_first。

所以我这样调用这个函数:

boost::iterator_range<char*> buf_iterator;
buf_iterator = boost::algorithm::ifind_first(buffer ,"substring");

这实际上工作正常。但我担心的是:

我只向函数传递了一个 char pointer，所以 ifind_first 应该不知道我的缓冲区在哪里结束，但它仍然有效。

现在我的第一个想法是函数搜索直到字符串终止字符。但是在Boost Documentation函数定义如下:

template<typename Range1T, typename Range2T> 
  iterator_range< typename range_iterator< Range1T >::type > 
  find_first(Range1T & Input, const Range2T & Search);

因为它与模板参数一起工作，我实际上怀疑它是否与空终止一起工作？

所以我的问题是 ifind_first 如何知道在哪里停止？或者更准确地说，我怎样才能给它一个范围？正如已经提到的，它与 char* 一起工作得很好，但我不太确定我是否只是幸运 - 我的意思是在最坏的情况下函数被调用并且不知道在哪里停止并进入未定义的内存...

编辑:

现在在一个答案中提到它取决于我传递给函数的类型。现在这意味着如果我使用 char 缓冲区，我必须始终确保它以 0 结尾......？

Answer 1

它使用了一种技术，其中数组的长度是模板参数，即:

template< typename T, size_t L >
void foo( T (&arr)[L] )
{
}

由于字符串文字的长度已知，因此可以推导出 L，例如 foo( "test") 是 foo< char, 5 >()。我敢打赌 const char* 有一个重载，其中假设参数是一个 c 字符串，其中 strlen() 可用于确定长度。

编辑:更好的解释说明 ifind_first 将如何失败，以及如果您小心的话为什么不会失败

在这种情况下，决定 ifind_first 是否会失败的是主题或搜索是否退化为 char*。在这种情况下，您直接传递了一个字符串文字作为搜索，ifind_first 将尝试并猜测它是 const char[10](“substring”的长度 + 1 为 NULL 终止符)。然而，对于搜索来说这无关紧要，因为即使它退化为 const char* ifind_first 也会猜测它是一个 NULL 终止的 c 字符串，而字符串文字是一个 NULL 终止的 c 字符串，因此可以正常工作。

在这种情况下，您实际上是在请求 char buffer[1024]，在您的情况下，它不会退化为 char*。但是，如果相反，你会说 char* buffer = new char[1024];缓冲区的类型是 char* 并且不保证以 NULL 终止。在这种情况下，ifind_first 将以神秘的方式失败，具体取决于您填充的区域之后的内容。

因此，总而言之，由于在您的情况下缓冲区的类型是 char[1024] 它不会触及缓冲区末尾之后的内存，但是，它也不会关心那里是否有 NULL 终止符(它不不要寻找它，因为你已经传递给它一个 char[1024] 它知道编译时的长度)。因此，如果假设您用 12 个字符后跟 NULL 填充缓冲区，它仍然会搜索整个缓冲区。