标准派，请问 volatile void func()

群雄逐鹿中原

volatile void func()
{
}

这样写volatile是什么意思呢？
我尝试写了一下，被gcc报告了一个warning。

folklore

volatile表示结果是易变的，也就是说是个可以被其它程序改变的

volatile void fun()想说明什么，返回值是会被其它值改变的? 这个太扯了吧
还是说fun本身是会被改变的，那样的话是
volatile void (*fun)();才对。
所以volatile void fun() 无意义。

但volatile int* fun();应该可以

selfrun

限制编译期的优化。某些函数在编译过程中会直接被优化成inline的，如果代码对函数参数的顺序有依赖，就会出错。
加上volatile前缀，就是告诉编译器，不要对此优化。

starwing83

回复 4# selfrun


    标准里面貌似没有这个语义（不过我也不确定）

lrita

不会写出这中稀奇古怪的东西。

selfrun

回复 5# starwing83

gcc上做了一些测试，这个说法不成立：

selfrun 发表于 2013-01-21 12:17
限制编译期的优化。某些函数在编译过程中会直接被优化成inline的，如果代码对函数参数的顺序有依赖，就会出 ...

我之前的理解有误，抱歉抱歉

windoze

我记得CV modifier是用来描述数据而不是函数的，所以"volatile void"这个类型看起来不像是个有意义的东西。
当然我也不是很确定，刚才在标准里找了找也没找到相关说明。

selfrun

回复 9# pmerofc


    以前测试程序时的误判得出的错误结论，找不到原来的测试程序，不记得是哪个编译器了:

    int fn(int a, int b)
    {
      int *p = &a;
      printf("%p, %p\n",&a, &b);
      return p[1 + (( b - a ) >> (sizeof(int) * 8 - 1))];
    }