如何获取C语言真正的const void指针？其异常行为原因问询

你观察到的异常行为不是C语言的标准特性，是你对const指针声明规则的理解错误、主动丢弃const限定符、以及使用了GCC非标准扩展共同导致的，具体问题如下： #

1. const指针的声明规则理解错误 #

你代码里的注释完全写反了const的作用范围：

• const void *ptr2 和 void const *ptr3 是完全等价的，二者都是指向const限定内容的指针，指针本身的指向是可以修改的。
• 如果你要声明「指针本身不可修改的常量指针」，正确写法是 void * const ptr3，只有const放在*号右侧时，才是修饰指针本身。
  你把const的位置搞混，才会误以为「常量指针可以被修改」，实际上你根本没有声明对常量指针。如果按正确写法声明void * const ptr3，再执行ptr3++操作，编译器会直接报错，和普通const指针的行为完全一致。

2. 强制转换主动丢弃了const限定符 #

C语言的const限定符只限制「通过当前指针直接修改内容」的行为，你主动把const void *强制转换成没有const修饰的uint32_t *，相当于手动绕开了编译器的const检查，这是你主动操作的结果，和void指针本身无关。
如果你的强制转换保留const限定：*((const uint32_t*)ptr2) = 4，编译器会直接报错，和普通指向const的指针行为完全一致。
另外注意：如果被指向的变量本身是const修饰的，你丢弃const修改的操作属于未定义行为，可能会触发程序崩溃。你这次没报错只是因为原变量modNum32本身没有const修饰。 #

3. void指针算术是GCC非标准扩展 #

C标准规定void是不完整类型，无法确定大小，所以不允许对void指针做算术运算。你能执行ptr3++且地址加1，是GCC的非标准扩展行为，GCC默认会把void的大小视为1处理。如果开启标准C编译选项（比如-std=c11 -pedantic），这行代码会直接触发编译错误。

内容的提问来源于stack exchange，提问作者Noob