在函数原型中是顶级易失性还是​​限制性的？

void f(const int *p);

void f(const int *reStrict p);

void f(const int *volatile p);

void f(const int *reStrict p);

int main()
{
     int a = 42;
     const int *p = &a;
     f(p);
     return a;
}

如果标准中没有任何内容,则由编译器决定,但似乎至少对于gcc 4.9(对于x86),它们会被忽略.检查我用来取笑编译器的这个小片段：

static int b;

void f(const int *p) {
  b = *p + 1;
}

int main()
{
     int a = 42;
     const int *p = &a;
     f(p);
     return a;
}

如果我按原样编译它,我得到

f(int const*):
    pushq   %rbp
    movq    %rsp,%rbp
    movq    %rdi,-8(%rbp)
    movq    -8(%rbp),%rax
    movl    (%raX),%eax
    addl    $1,%eax
    movl    %eax,b(%rip)
    popq    %rbp
    ret
main:
    pushq   %rbp
    movq    %rsp,%rbp
    subq    $16,%rsp
    movl    $42,-12(%rbp)
    leaq    -12(%rbp),%rax
    movq    %rax,%rdi
    call    f(int const*)
    movl    -12(%rbp),%eax
    leave
    ret

如果我使用void f(const int * __ reStrict__ p)编译它,%eax leave ret

如果我使用void f(const int * __ volatile__ p)编译它,我得到了

f(int const*):
    pushq   %rbp
    movq    %rsp,%eax
    leave
    ret

所以在实践中它们似乎也在C中被忽略了.