易变结构语义

将结构类型变量的实例声明为volatile是否足够（如果其字段以可重入代码访问），还是必须将结构的特定字段声明为volatile？

措辞不同，以下两者之间的语义差异（如果有）：

typdef struct {
  uint8_t bar;
} foo_t;

volatile foo_t foo_inst;

和

typedef struct{
  volatile uint8_t bar;
} foo_t;

foo_t foo_inst;

我认识到，将指针类型的变量声明为volatile（例如volatile uint8_t * foo）仅通知编译器foo指向的地址可能会更改，而没有声明foo指向的值。对我来说还不清楚结构类型变量是否适用类推。

在您的示例中，两者是相同的。但是问题围绕着指针。

首先，volatile uint8_t *foo;告诉编译器所指向的内存是易失的。如果要将指针本身标记为易失性，则需要uint8_t * volatile foo;

这就是将结构标记为易失性与标记各个字段之间的主要区别。如果你有：

typedef struct
{
    uint8_t *field;
} foo;

volatile foo f;

那就像：

typedef struct
{
    uint8_t * volatile field;
} foo;

而不像：

typedef struct
{
    volatile uint8_t *field;
} foo;

如果用volatile声明结构，则其所有成员也将是volatile