错误地正确运行着

维护的代码中的一段，目的是删除字符串中分号后的回车符（删除“分号回车换行”的组合），之前一直正确的运行，这次出了问题，跟踪到这里：

string::size_type pos=0;
       
while( (pos=str.find("; / r / n", pos)) != string::npos)...{
    str.erase(pos, 3);
    pos += 3;
} 

(晕，优快云的blog竟然不能输入/ r / n ，自动被翻译了，晕倒)

猛的一看，就感觉这个pos+3似乎有逻辑问题，经过试验，确实不应该＋3，因为删除之后已经指向后面的字符串了，不需要＋3。
由于实际环境中很少出现“分号回车换行”之后马上接着又有“分号回车换行的”，而且这种组合也一般不出现在字符串结尾，所以虽然代码有逻辑错误，但是却可以一直“正确”地运行，我们笑称这是"错误地正确运行着"