C++使用substr()比对字符串时，移除循环条件的-3是否会导致问题？

问题解答 #

移除-3后确实存在代码无法正常工作的场景，具体如下：
你实测能正常运行，是因为C++标准中std::string::substr(pos, count)自带安全边界处理：当pos + count超出字符串总长度时，会自动截断返回从pos到字符串末尾的子串，不会触发内存越界。此时长度不足4的子串和目标4长度的pick比较必然返回false，所以常规场景下看起来逻辑正常。
但还是有几种场景会出问题：

• 匹配逻辑修改后越界：如果你后续把substr匹配改成直接下标访问的写法，比如：

  if (text[i] == 'p' && text[i+1] == 'i' && text[i+2] == 'c' && text[i+3] == 'k')
  

  当i超过text.length()-4时，text[i+3]就会触发越界访问，属于未定义行为，轻则程序崩溃，重则出现逻辑错乱、内存污染。
• 误匹配风险：如果后续你修改了目标子串的截取逻辑，导致目标子串的实际长度小于4，比如phrase从下标7开始的剩余字符只有3个，那么phrase.substr(7,4)返回的就是长度为3的子串。此时当i走到text.length()-3的位置时，text.substr(i,4)也会返回长度为3的子串，如果内容刚好和目标子串一致，就会被误判为匹配成功。
• 性能损耗：虽然单次多遍历3次循环影响可以忽略，但如果是处理超长文本、高频调用的场景，这种无意义的无效遍历会累积出可感知的性能损耗。

更优的写法 #

不管是保留硬编码-3还是直接去掉都不是最优解，你想要的灵活性和安全性可以同时兼顾，避免魔法数字的写法如下：

std::string text {"Peter Piper picked a peck of pickled pepper."};
std::string phrase {"Got to pick a pocket or two."};
// 先提取目标子串，动态获取长度
std::string target = phrase.substr(7, 4);
size_t target_len = target.size();
// 先判断文本长度是否足够容纳目标子串，避免无符号整数下溢
if (text.size() >= target_len) {
    for (size_t i = 0; i <= text.size() - target_len; ++i) {
        if (text.substr(i, target_len) == target) {
            std::cout << "text contains " << target 
                      << " starting at index " << i << std::endl;
        }
    }
}

这种写法修改目标子串时完全不需要调整循环条件，同时规避了所有边界问题，性能也最优。

内容的提问来源于stack exchange，提问作者GuruRandapa