有人可以解释什么是 (void (*) (void))((uint32_t)&__STACK_END) 吗？

Question

这是一些带有中断向量的启动文件摘录。

#pragma DATA_SECTION(interruptVectors, ".intvects")
void (* const interruptVectors[])(void) = 
{
 (void (*) (void))((uint32_t)&__STACK_END),
 resetISR,
 nmi_ISR,
 fault_ISR,
 ... /* More interrupt vectors */

void (* const interruptVectors[])(void) - 是一个必须包含函数名称的函数指针数组，但我无法理解(void (*) (void))((uint32_t)&__STACK_END)语法。

(void (*) (void))看起来像一个指向函数的指针，它什么都不返回，没有参数，也没有名称。 可能吗？

(uint32_t)&__STACK_END是一个指针。 为什么函数指针和指针在一起？

提前致谢！

Answer 1

这看起来像 ARM 处理器或类似的中断向量表。 中断向量表包含中断处理程序的地址，因此它本质上是一个函数指针数组。

该表的第一个条目是堆栈指针的初始化值。 显然不是函数指针，而是数据指针，所以需要进行一些类型转换。 不是因为处理器关心类型，而是因为 C 关心。

所以&__STACK_END可能是一些指针类型，它指向堆栈末尾的数据地址。 然后将其转换为普通的 32 位数字，最后转换为函数指针。

可能可以跳过第一次转换为uint32_t并直接从数据指针转换为函数指针，但这样做可能是为了确保在给定编译器上正确完成转换。

严格来说，在 C 标准中，这种从数据指针到函数指针的转换是不合法的，即使中间有整数转换也是如此。 但是，大多数嵌入式编译器都可以做到这一点，因为这是您需要做的典型事情。

Answer 2

CORTEX-M 的向量表的第一个值是堆栈指针的初始值，看起来像你的情况。 此语法是将整个向量表定义为类型为 void(*function)(void) 的函数指针的常量数组，同时将第一个值定义为堆栈指针值作为常量的技巧。

我个人认为有更好的方法可以更清楚地定义这一点。