如何声明易失性结构的指针

Question

假设我有以下定义：

/* Generic structure of entire SFR area for each UART module */
typedef struct tagUART {
        unsigned int uxmode;
        unsigned int uxsta;
        unsigned int uxtxreg;
        unsigned int uxrxreg;
        unsigned int uxbrg;
} UART, *PUART;



/* SFR blocks for each UART module */
extern volatile UART UART1 __attribute__((__sfr__));
extern volatile UART UART2 __attribute__((__sfr__));

现在，如果我通过UART1访问寄存器，那么一切都很好，但是如果我使用一个指向该结构的指针，该如何声明它以指定所指向的整个区域是易失的呢？

volatile UART * hw = &UART1;

这可以吗 ？

Answer 1

如果您声明

extern volatile UART UART1;

然后，从该变量派生的任何指针将属于volatile UART *类型，实际上，如果尝试将其分配给任何其他类型的变量，则编译器应发出警告。

如果您希望UART总是volatile则可以这样键入def

typedef volatile struct {...} tagUART UART;

或如放松所说将特定字段声明为volatile

typedef struct tagUART {
        volatile unsigned int uxmode;
        unsigned int uxsta;
        volatile unsigned int uxtxreg;
        unsigned int uxrxreg;
        unsigned int uxbrg;
} UART, *PUART;

内联使用volatile

while (*(volatile int *)&a) ;

不鼓励使用，并且仅应将其用于通常不是易失性的变量，而必须在这种情况下使用。

另一种方法是有一个union ，其中访问一个版本是挥发性另一个不是：

union {
    volatile UART volatile_version;
    UART normal;
};

Answer 2

我认为那是错误的方式； 如果有人（=三个月后您）使用指向USART的指针但忘记了volatile部分怎么办？

正确的方法是将每个字段声明为volatile 。 有点混乱，但是更好，因为它捕获了您正在代码中尝试建模的更多内容。

您经常会看到诸如__IO的宏用于对硬件寄存器建模的结构的字段，并且通常在扩展中包括volatile 。