启动文件中(void (*)(void))((uint32_t)&__STACK_END)语法解析

对应启动文件的中断向量表代码片段如下：

#pragma DATA_SECTION(interruptVectors, ".intvects")
void (* const interruptVectors[])(void) =
{
  (void (*) (void))((uint32_t)&__STACK_END),
  resetISR,
  nmi_ISR,
  fault_ISR,
  ... /* 其余中断向量 */
}

关于(void (*) (void))写法的合法性 #

• 完全符合C语言语法标准，属于合法的强制类型转换写法。
  C语言强制类型转换的固定格式为(目标类型)待转换值，括号内的void (*)(void)本身就是标准的类型声明：代表「指向无传入参数、无返回值函数的指针」类型。这里没有提前用typedef给该类型定义别名，直接将其写在强制转换运算符的括号内，和常见的(int*)0x20000000将整数强转为int型指针的写法逻辑完全一致，仅目标类型换成了函数指针类型，不存在语法问题。

栈顶地址强转为函数指针的原因 #

• 这是为了匹配ARM Cortex-M系列内核的硬件启动规则，属于面向硬件要求的特殊写法：
  • Cortex-M内核的中断向量表并非纯函数入口指针表，向量表偏移0位置的第一个表项，硬件强制要求存储初始栈顶地址。芯片上电后，内核会首先自动将该位置的值加载到栈指针（SP）寄存器，完成栈空间初始化，之后才会读取偏移4位置的第二个表项（即代码中的resetISR），跳转到复位中断函数开始执行用户程序。
  • 代码中定义的interruptVectors是强类型数组，所有元素的类型被限定为void (*)(void)函数指针，C编译器的类型校验规则不允许直接将整数类型的地址值存入该数组，因此必须通过强制类型转换把栈顶地址转换为和数组元素匹配的函数指针类型，既可以通过编译，也能保证栈顶地址被准确存放到向量表的0偏移位置，满足硬件读取要求。
  • 代码中先将&__STACK_END转换为uint32_t类型，是为了确保地址值为32位无符号整数宽度，避免不同编译配置下指针长度差异导致的数值截断问题，之后再转换为函数指针类型，是嵌入式开发中规避编译异常、保证数值准确性的常规操作。

补充说明：向量表第一个位置存储的栈顶地址永远不会被内核当作函数入口跳转执行，只是借用了函数指针数组的连续内存空间，将硬件要求的初始值存到固定偏移位置，不存在非法执行地址的风险。

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