c++ - 编译器可以假设没有其他线程会修改参数吗？

Question

考虑这个函数:

void foo(int * p)
{
   // something
}

编译器可以假定没有其他线程会修改 p 指向的值吗？或者它是否必须表现得好像这个值可以随时修改？

void bar(volatile int * p)
{
}

如果没有，volatile 关键字有帮助吗？ GOTW #69声明 volatile 关键字通常总是被编译器忽略。

编辑:显然对“编译器假设”这个短语存在一些误解。让我澄清一下:

• 如果编译器这样假设，它可以在第一次读取时将 *p 的值放入寄存器，然后使用它直到 p 超出范围.在那一刻，它应该将 *p 的值写入该内存地址。
• 如果编译器不这样假设，每次读取 *p 时，编译器都应该从内存中获取它的值，因为其他线程有可能修改它.每次*p改变，编译器应该把它写入内存，以便其他线程可以读取它

Answer 1

编译器不能做出这样的假设，程序员也不能。单独使用 volatile 关键字并不能防止并发访问。