C++基类指针数组无法调用派生类run()方法的解决方案问询

核心问题 #

你遇到的编译错误本质是基类FunctionBlock未声明run()方法，C++中基类指针只能访问基类已声明的成员，无法直接调用派生类独有的方法。要实现基类指针调用派生类的run()，必须使用虚函数机制。

解决方案步骤 #

1. 修改基类，添加纯虚函数run() #

将FunctionBlock改为抽象基类，声明纯虚函数run()，强制所有派生类实现该方法，同时让基类指针能动态绑定到派生类的具体实现：

class FunctionBlock
{
public:
    uint8_t  IN1 : 1 ;
    uint8_t  IN2 : 1 ;
    uint8_t  IN3 : 1 ;
    uint8_t    Q : 1 ;
    
    // 纯虚函数：基类无实现，派生类必须重写
    virtual void run() = 0;
}; 

2. 修正对象初始化的内存问题 #

你最初的setup()中直接取临时对象的地址是错误的：&Input(1)这类临时对象会在setup()执行结束后销毁，导致指针变成野指针。你后来使用静态对象的方式是嵌入式环境下的最优解，也可以用堆分配（需注意AVR内存限制）：

静态对象方式（推荐）

static Input  b1(1);
static Input  b2(2);
static Input  b3(3);
static And    b4;
static Output b5(4);

const int nBlocks = 5;
FunctionBlock *block[] = {&b1, &b2, &b3, &b4, &b5};

堆分配方式（慎用，避免内存碎片化）

FunctionBlock *block[5]; 

void setup()
{
    block[0] = new Input(1);
    block[1] = new Input(2);
    block[2] = new Input(3);
    block[3] = new And();
    block[4] = new Output(4);
}

3. 验证调用 #

修改完成后，基类指针数组调用run()时会自动匹配对应派生类的实现，编译错误消失：

void loop()
{
    // 正确调用各派生类的run()
    for( int i = 0 ; i < nBlocks ; i ++ ) block[i]->run() ;

    // 信号链接逻辑保持不变
    block[3]->IN2 = block[1]->Q ;
    block[3]->IN1 = block[0]->Q ;
    block[3]->IN3 = block[2]->Q ;
    block[4]->IN2 = block[3]->Q ;
}

关键说明 #

AVR-GCC完全支持C++虚函数机制，无需额外编译选项。纯虚函数不仅解决了方法调用问题，还能防止直接实例化FunctionBlock基类，符合面向对象的设计逻辑。

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