STM32+CMake环境下FreeRTOS弱函数TaskMain链接覆盖问题咨询

环境配置 #

• Win10
• STM32CubeMX 6.8.1
• Clion 2022.3.2
• gcc-arm-none-eabi-10.3
• CMake 3.26.1

问题复现步骤 #

1. 在CubeMX中开启FreeRTOS，将默认任务改为TaskMain，并设置生成弱函数；
2. 将CubeMX生成的所有代码添加为库目标，用户代码main.cpp作为可执行目标链接该库；
3. 在main.cpp中重定义TaskMain函数，代码如下：

#include "cmsis_os.h"
#include "gpio.h"

void TaskMain(void* args) {
    UNUSED(args);
    while (true) {
        HAL_GPIO_WritePin(GPIOC, GPIO_PIN_13, GPIO_PIN_RESET);
        osDelay(1000);
        HAL_GPIO_WritePin(GPIOC, GPIO_PIN_13, GPIO_PIN_SET);
        osDelay(1000);
    }
}

程序并未进入main.cpp中的TaskMain函数，而是卡在freertos.c中弱函数的死循环里。有人提出将freertos.c中的函数声明移至main.h的“Exported functions prototypes”下，并在main.cpp中包含main.h可解决问题，需解释该方法有效的原因。

原因解析 #

核心问题出在C++的名字修饰和链接器符号解析规则上：

1. C与C++的符号差异
   CubeMX生成的freertos.c是C语言文件，其中的弱函数TaskMain会被编译成C风格的符号（符号名就是TaskMain）；而main.cpp是C文件，直接定义的TaskMain会被C编译器做名字修饰，生成类似_Z8TaskMainPv的独特符号。链接器会认为这是两个完全不同的符号，因此库中的弱符号TaskMain依然会被优先使用，而非你在C++中定义的版本。

2. 添加声明到main.h的作用
   把TaskMain的声明移到main.h并在main.cpp中包含后，相当于在C代码中明确了该函数的调用约定：
   CubeMX生成的main.h一般会自带extern "C"的兼容处理，C编译器会按照C语言规则编译TaskMain的定义，生成和C文件中一致的TaskMain符号。即便头文件没做兼容，也能通过声明时的extern "C"让符号匹配。

3. 链接器的弱符号替换规则
   链接器处理符号时，强符号（你在main.cpp中正确生成的C风格TaskMain）会优先替换库中的弱符号（freertos.c里的__weak版本）。当符号名完全匹配后，链接器就会选择你定义的强符号，程序也就会进入你写的TaskMain函数。

简单来说，这个操作本质上是让C++代码生成的函数符号与C库中的弱符号一致，让链接器识别到这是同一个函数，从而用你的强定义替换掉弱定义。

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