ESP32中传递对象指针数组至构造函数的内存越界问题排查

核心问题是指针数组的传递类型错误——误用*arrSens会把数组首地址指向的指针解引用成StateSensor对象，而非传递整个指针数组的地址，后续遍历访问时自然会出现内存越界，导致中间元素的getPin()返回随机值。以下是高效修复方案：

1. 修正C风格指针数组的传递与构造函数 #

错误代码（问题根源） #

之前的错误写法类似这样：

// 错误的StateManager构造函数
class StateManager {
public:
    StateManager(StateSensor sensorArr[], int len) {
        // 错误：sensorArr退化为StateSensor*，但实际传入的是*arrSens（首指针解引用的对象）
        for(int i=0; i<len; i++){
            this->sensors[i] = &sensorArr[i]; // 越界访问
        }
    }
};

// 错误调用
StateSensor* arrSens[] = {&sensor1, &sensor2, &sensor3};
StateManager manager(*arrSens, 3); // *arrSens是StateSensor&，不是指针数组

正确实现 #

class StateManager {
private:
    StateSensor** sensors; // 存储指针数组的地址
    int sensorCount;

public:
    // 参数为指向指针的指针 + 数组长度
    StateManager(StateSensor** sensorArr, int count) : sensorCount(count) {
        sensors = sensorArr; // 直接保存数组地址，无拷贝开销
    }

    // 中断处理函数：添加边界检查防止越界
    void handleInterrupt(int pinIndex) {
        if(pinIndex >= 0 && pinIndex < sensorCount){
            sensors[pinIndex]->action();
            Serial.print("Pin: ");
            Serial.println(sensors[pinIndex]->getPin()); // 正常返回引脚值
        }
    }
};

// 正确调用
StateSensor* arrSens[] = {&sensor1, &sensor2, &sensor3};
// 自动计算数组长度，避免硬编码出错
const int SENSOR_COUNT = sizeof(arrSens)/sizeof(arrSens[0]);
StateManager manager(arrSens, SENSOR_COUNT); // 直接传数组名（退化为StateSensor**）

2. 更安全的C++风格方案（推荐） #

用std::array替代C风格数组，自带长度信息，彻底规避越界风险：

#include <array>

// 定义传感器数组类型
using SensorArray = std::array<StateSensor*, 3>;

class StateManager {
private:
    const SensorArray& sensors; // 引用传递，无拷贝

public:
    StateManager(const SensorArray& sensorArr) : sensors(sensorArr) {}

    void handleInterrupt(int pinIndex) {
        if(pinIndex >= 0 && pinIndex < sensors.size()){
            sensors[pinIndex]->action();
            Serial.println(sensors[pinIndex]->getPin());
        }
    }
};

// 使用方式
SensorArray arrSens = {&sensor1, &sensor2, &sensor3};
StateManager manager(arrSens);

3. 关键注意事项 #

• 必须传递/携带数组长度：C风格数组传递时会退化为指针，丢失长度信息，必须手动传入或用sizeof在数组定义域内计算。
• 强制边界检查：所有数组访问前必须做索引范围校验，防止MCP23017中断触发时传入超出数组范围的索引。
• 避免对象拷贝：传递指针数组或std::array引用，不要拷贝StateSensor对象，减少内存开销同时保证访问原对象。

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