C中volatile表达式中的指针

Question

说我有一个结构

typedef struct A{

int a1;
int *a2;

}A_t;

现在如果我声明这个结构的实例是volatile的 -

volatile A_t trial;

我使用volatile指针来访问这个volatile结构.

volatile A_t *ptrToTrial = &trial;

如果我尝试这样做:

int *ptrToField = ptrToTrial->a2;

应该ptrToField也是不稳定的吗？编译器prtToField是否会在没有明确提及的情况下知道它是volatile,因为它是通过ptrToTrialvolatile 访问的？

如果有功能 -

function trialFunction(A_t *trialptr)
{
     int *p = trialptr->a2;

}

如果我们用上面声明的volatile ptr调用这个函数 -

trailFunction(ptrToTrial)

我收到一个错误:volatile A_t* is incompatible with parameter of type A_t.

因此,如果我将函数定义更改为include volatile,我看不到错误.

function trialFunction(volatile A_t *trialptr)
{
     int *p = trialptr->a2;

}

编译器是否也应该抱怨指针p- 因为p它trialptr->a2是非易失性的并且是易失性的？

Answer 1

请注意，int *a2;您的值struct A不是易失性的。所以

int *ptrToField = ptrToTrial->a2;

ptrToField不是volatile。

trailFunction(ptrToTrial)得到错误，因为函数trailFunction需要A_t *trialptr，但你通过了volatile A_t*，这显然是编译错误。

最后：

function trialFunction(volatile A_t *trialptr)
{
     int *p = trialptr->a2;
}

编译没问题，因为a2的类型是int*。