依赖于 arguments 的常量性绑定到 const& 参数是线程不安全的秘诀吗？

Question

我刚刚看到这样的代码

/* whatever */ foo(std::string const& s) {
  // stuff
  auto L = s.length();
  int i{/* init based on L */};
  while (i < L) {
    // do other stuff and maybe
    ++i;
  }
}

我打算建议人们可以避免定义L并编写/* init based on s.length() */ and (i < s.length())而不是/* init based on L */ and (i < L) 。

但是谁真正告诉我s.length()不会因为s参数对应的参数被另一个并发线程更改而发生不可预测的变化？

Answer 1

不，没有人能告诉你。 这是对const object 含义的常见误解。

const object 不是 promise，其他一些执行线程无法修改 object，而您 go 关于您的业务。

const object 是 promise，访问const object 的代码无法修改它（无论“修改”对所讨论的 object 意味着什么）。

事实上，根本不需要涉及其他执行线程。 这个foo function，在“stuff”部分，可以调用其他一些 function，它可以通过某个指针或某处的引用访问完全相同的const object 并彻底改变它的内部和外部，然后返回到这个foo function。