XC8编译器手动指定函数地址时指针被优化，求原因与解决方法

我来帮你拆解这个问题，核心在于XC8编译器对PIC单片机内存模型的处理，以及函数指针的类型匹配问题：

为什么编译器会优化掉你的代码？ #

XC8编译器针对PIC单片机的架构，严格区分程序存储器（ROM，存放代码）和数据存储器（RAM，存放变量）。你直接用(void (*)(void))(0x0DD2)把程序地址转成普通函数指针时，编译器会认为这个指针指向的是数据存储器空间，而0xDD2在数据空间里是无效/未使用的地址。

编译器判断这个赋值操作没有实际意义，后续的函数调用也不会执行有效代码，所以就把这部分代码优化掉了——这就是你看到warning: (759) expression generates no code的原因，编译器觉得这行代码做了等于没做，直接跳过。

你的指针赋值存在什么问题？ #

普通的void (*)(void)函数指针在XC8里默认是数据存储器指针，而你的函数foo存放在程序存储器里。直接把程序地址赋值给数据指针，类型不匹配，编译器无法识别这是一个有效的函数入口地址，自然会视为无效代码。

解决方法：使用程序空间专用的函数指针 #

要让编译器识别这个地址是程序存储器里的函数入口，你需要声明指向程序空间的函数指针，用XC8提供的__attribute__((space(prog)))属性来修饰指针类型：

#include "foo.h"
void main(void) {
    // 定义指向程序空间的函数指针类型
    typedef void (*prog_func_ptr)(void) __attribute__((space(prog)));
    // 把程序地址赋值给正确类型的指针
    prog_func_ptr a = (prog_func_ptr)0x0DD2;
    // 调用函数
    a();
}

另外，如果你想快速验证，也可以给指针加上volatile修饰符，强制编译器不优化这个指针的赋值和调用（不过这只是临时 workaround，更推荐上面的类型匹配方案）：

#include "foo.h"
void main(void) {
    volatile void (*a)(void) = (volatile void (*)(void))0x0DD2;
    a();
}

这样编译器就会把这个指针当成需要保留的有效代码，不会再优化掉，你也能成功通过地址调用函数了。

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