强制转换中的中间指针必须是“ const限定”的-为什么？

在以下代码中...

#include <stdlib.h>
#include <stdint.h>

extern void get_buffer_from_HW_driver(volatile uint32_t **p);

void getBuffer(volatile uint32_t **pp)
{
    // Write an address into pp, that is obtained from a driver
    // The underlying HW will be DMA-ing into this address,
    // so the data pointed-to by the pointer returned by this
    // call are volatile.
    get_buffer_from_HW_driver(pp);
}

void work()
{
    uint32_t *p = NULL;
    getBuffer((volatile uint32_t **)&p);
}

...编译器正确地检测到p内部指向的数据的任何潜在访问work都是危险的访问。照原样，该代码指示编译器发出安全的代码，可以优化对重复读取的访问，*p这是错误的。

但是奇怪的是，通过编译此代码发出的警告...

$ gcc -c -Wall -Wextra -Wcast-qual constqual.c

...不抱怨丢失volatile-它建议使用const：

constqual.c: In function ‘work’:
constqual.c:20:15: warning: to be safe all intermediate pointers in cast from 
                   ‘uint32_t ** {aka unsigned int **}’ to ‘volatile uint32_t ** 
                   {aka volatile unsigned int **}’ must be ‘const’ qualified
                   [-Wcast-qual]
 getBuffer((volatile uint32_t **)&p);
           ^

我看不到const这里有什么道理。

PS请注意，按预期volatile在前面添加uint32_t *p可解决此问题。我的问题是，为什么GCC建议使用const而不是volatile。

好吧，我在GCC的Bugzilla上举了一张与此有关的票……而约瑟夫·迈尔斯（Joseph Myers）给出了一个简洁的答案：

不，海湾合作委员会不感到困惑。就是说转换uint32_t **为类型安全volatile uint32_t *const *，但不能转换为类型安全volatile uint32_t *。

...并且他还添加了对C FAQ的这一部分的引用。

我必须承认，对此我的第一反应是“说什么？” 。我迅速测试了该建议，更改了代码，使其改为使用建议的声明（并强制转换）...

#include <stdlib.h>
#include <stdint.h>

extern void get_buffer_from_HW_driver(volatile uint32_t * const *p);
void getBuffer(volatile uint32_t * const *pp)
{
    // Write an address into pp, that is obtained from a driver
    // The underlying HW will be DMA-ing into this address,
    // so the data pointed-to by the pointer returned by this
    // call are volatile.
    get_buffer_from_HW_driver(pp);
}

void work()
{
    uint32_t *p = NULL;
    getBuffer((volatile uint32_t * const *)&p);
}

$ gcc -c -Wall -Wextra -Wcast-qual constqual.c

$

...的确，再也没有警告。

因此，我继续阅读相关的常见问题解答-我想我对所发生的事情了解得更多。通过添加const修饰符，我们传递的参数是（从右到左读取，就像我们应该使用这种C语法那样）：