c++ - 精炼表达式评估(提案 n4228 c++ 17)

Question

阅读提案 n4228 我读到以下代码:

void f()
{
 std::string s = "but I have heard it works even if you don't believe in it";
 s.replace(0, 4, "").replace(s.find("even"), 4, "only").replace(s.find(" don't"), 6, "");
 assert(s == "I have heard it works only if you believe in it");
}

受未指定的评估顺序约束，其漏洞最近才被工具发现。

问题出在哪里？也许 s.find("even") 和 s.find("don't") 的计算顺序与任何方面不同？在任何替换发生之前？

有人知道发现问题的工具是什么吗？

Answer 1

是的，你是对的。根据 C++-pre-17 的规则，对 s.find 的两次调用可以在 任何 替换调用之前执行。由于替换调用会修改字符串，因此它们会导致 find 返回的索引在使用时不再有效。

投票进入 C++17 CD 的(不幸的是较弱的)规则将阻止这种情况，并且代码将按预期工作。