如果作为参数传递的字符串为空，则字符串在 C++ 中查找 function 返回 0

Question

当传递一个空字符串来查找 function 时，它返回 0。
如果传递了未初始化的字符串，那么它也返回 0。

#include <iostream>
#include <string>
using namespace std;

int main() {
    string str1="";
    string str2="This is a sample string";
    unsigned int loc = str2.find(str1);
    cout << "Loc : " << loc << endl;
    if(loc != string::npos)
    {
        cout << "Found" << endl;
    }
    else
    {
        cout << "Not found" << endl;
    }
    return 0;
}

Output ：
地点：0
成立

我的问题是为什么 find 返回 0 而不是返回 string::npos？

Answer 1

如果i i + len(l) <= len(h) l h所有0 <= k < len(l)我们有l[k] == h[i+k] . 你所处理的只是这个定义的空洞事实：如果没有有效的x开头，'for all x ' 会自动变为 true。

Answer 2

正如cppreference 上的文档所说。 （重点是我的。）

查找与给定字符序列相等的第一个substring。 搜索从 pos 开始，即找到的 substring 不能从 pos 之前的 position 开始。

1. 找到第一个 substring 等于str 。

何时在 position 中找到字符串？

形式上，如果以下所有条件都为真，则可以在 position xpos 找到 substring str：

• xpos >= pos
• xpos + str.size() <= size()
• 对于str中的所有位置n ， Traits::eq(at(xpos+n), str.at(n))

空字符串在 position 0 处满足这些要求。

文档进一步说。 （重点是我的。）

特别是，这意味着

• 仅当pos <= size() - str.size()时才能找到 substring
• 当且仅当pos pos <= size()
• 对于非空 substring，如果pos >= size() ，则 function 始终返回npos 。

Answer 3

它在 position 0（搜索到的第一个）处找到完全匹配，因此返回索引。

引用cppreference ，条件是：

形式上，如果以下所有条件都为真，则可以在 position xpos找到 substring str ：

1. xpos >= pos
2. xpos + str.size() <= size()
3. 对于str中的所有位置n ， Traits::eq(at(xpos+n), str.at(n))

尝试从 position 0 匹配 substring，我们得到了

1. 满足，因为 0（我们的搜索位置）>= 0（开始参数）
2. 满足，因为 0 + 0 <= size()
3. 被满足了，因为 needle 中没有一个字符与 haystack 中的对应字符不匹配——它们都匹配。