ESP32 Core1 panic'ed (StoreProhibited)未处理异常排查

注：StoreProhibited异常触发条件是CPU尝试向无写权限、未映射、已回收的内存地址执行写操作，和代码里有没有主动声明指针没有必然联系——C++多态的隐式this指针、虚表指针、数组越界写、对象生命周期失效、栈溢出都会触发这类错误

高概率故障点（匹配当前排查线索） #

已验证移除ModeClock代码后运行正常、其余同继承体系的Mode类运行正常、Display/Clock单独测试无异常，故障范围已经收敛到ModeClock自身、ModeClock与基类的交互逻辑上，优先排查以下问题：

• 类成员/局部缓冲区越界写
  检查ModeClock内定义的字符数组、缓存区长度是否足够：比如定义长度16的时间字符串缓冲区，用sprintf/strcpy写入时没有留字符串结束符\0的位置，写入长度超过缓冲区大小后，会直接冲毁对象内存相邻的虚表指针、其他成员的值，触发内存访问错误。单独测试Clock类时如果没有走Mode类封装的缓冲区逻辑，就不会触发该问题。
• 多态调用时对象生命周期失效
  如果把ModeClock实例定义为函数内的局部变量，再把实例地址/引用注册给模式管理器，函数执行完后局部变量会被自动回收，模式管理器轮询调用基类指针指向的run方法时，this指针已经指向被释放的栈内存，对成员变量执行写操作就会触发panic。这类问题的典型特征就是直接调用实例方法测试正常，走多态调度就崩溃。
• 虚函数覆写签名不匹配
  核对ModeClock的run函数和基类Mode.h中声明的虚函数签名是否完全一致：如果基类定义是virtual void run() = 0;，你在ModeClock里给run加了参数、加了const修饰、返回值不匹配，编译器不会把该函数识别为虚函数覆写，类虚表中对应run的条目是野指针，调用时会跳转到非法地址触发异常。
• run方法栈溢出
  ESP32 Core1默认运行的Arduino loop任务栈大小仅8KB，如果ModeClock的run函数里定义了大体积局部变量（比如KB级的数组、大结构体、深层递归调用），写操作冲毁栈空间的任务上下文时，就会触发存储保护错误。其余Mode类如果run函数局部变量占用小，就不会触发同类问题。

快速定位方法 #

不需要逐行猜问题，直接用panic回溯日志就能定位到具体故障行：

1. 编译时打开调试符号：Arduino IDE中将Debug Level设置为Verbose，PlatformIO中将build_type设置为debug，保留编译生成的.elf符号文件
2. 串口打印出panic回溯串（格式为Backtrace: 0x400xxxxxx:0x3ffbxxxx 0x400xxxxxx:0x3ffbxxxx ...）后，使用ESP32工具链中的addr2line工具解析地址：

   xtensa-esp32-elf-addr2line -pfiaC -e 你的编译产物路径.elf 回溯串里的所有地址
   

   解析结果会直接显示崩溃对应的代码文件、行号、函数名。
3. 如果解析出的崩溃点在ModeClock的run函数内部，优先检查该行及之前的所有内存写操作：数组赋值、字符串拷贝、成员变量写入；如果崩溃点在虚函数调用、函数指针调用位置，直接排查对象生命周期、虚函数签名匹配问题。

验证修复步骤 #

1. 在ModeClock类的run函数声明后加override关键字，重新编译，如果编译报错就说明函数签名和基类不匹配，修改到编译通过即可解决虚表异常问题
2. 检查所有Mode类实例的定义位置，确保注册给模式管理器的实例都是全局变量、或是通过new创建在堆上的持久对象，不存在局部变量传址注册的情况
3. 把ModeClock内所有无长度限制的内存操作替换为安全版本：用snprintf代替sprintf，用strlcpy代替strcpy，所有数组成员写入前校验下标范围
4. 如果run函数内存在大体积局部变量，先将其改为static静态变量或是类成员变量，若修改后崩溃消失，将运行模式调度任务的栈大小调整到16KB以上即可。

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