c – 编译器是否可以假设没有其他线程会修改参数？

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

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

void bar(volatile int * p)
{
}

如果没有,volatile关键字有帮助吗？ GOTW #69声明volatile编译器通常会忽略volatile关键字.

编辑：
显然,对“编译器假定”这一短语存在一些误解.让我澄清一下：

>如果编译器假设,它可以在第一次读取时将* p的值放入寄存器,然后使用它直到p超出范围.此时,它应该在该内存地址写入* p的值.
>如果编译器不这样认为,每次读取* p时,编译器都应从内存中获取其值,因为其他线程可能会对其进行修改.每次更改* p时,编译器都应将其写入内存,以便其他线程可以读取它