如何在编译期防止C++派生类调用基类public方法引发无限递归？

你的核心需求是避免派生类在实现基类私有纯虚函数时，意外调用基类的update()方法导致无限递归，且希望这类错误能在编译阶段就被检测出来，而非等到运行时崩溃。

下面提供两种可行的C++惯用法解决该问题：

方法一：使用私有标记参数重载update() #

通过给update()增加一个仅基类能构造的私有标记参数，将实际逻辑放在带标记的私有重载版本中，对外暴露的public版本则调用这个私有实现。派生类既无法构造该标记参数，也无法访问私有重载，自然无法在纯虚函数中调用update()。

修改后的代码示例：

#include <iostream>

class Base{
private:
    // 私有标记类型，仅基类内部可构造
    struct PrivateCallTag {};
    virtual void add_to_sum(int incr) = 0;

    // 实际执行更新逻辑的私有版本，需传入私有标记
    void update_impl(int incr, double other, PrivateCallTag) {
        this->add_to_sum(incr);
        m_other = other;
    }

public:
    Base() : m_sum(0), m_other(0) {}

    // 对外的public接口，无需额外参数
    void update(int incr, double other) {
        update_impl(incr, other, PrivateCallTag{});
    }

    void print_everything() const{
        std::cout << "sum: " << m_sum << "\n";
        std::cout << "other: " << m_other << "\n";
    }

protected:
    int m_sum;

private:
    double m_other;
};

class Derived : public Base{
    void add_to_sum(int incr) override{
        this->m_sum += incr;
    }
};

class DerivedBad : public Base{
    void add_to_sum(int incr) override{
        this->m_sum += incr;
        // 编译错误：无法访问Base的私有成员，也无法构造PrivateCallTag
        this->update(incr, 3.0); 
    }
};

int main() {
    Derived d;
    d.update(3, 42);
    d.print_everything();

    // DerivedBad d2; // 编译阶段就会报错，无法通过编译
    return 0;
}

该方案的优势：

• 完全在编译期阻止违规调用，无运行时开销
• 对外的public接口保持不变，不影响原有调用逻辑
• 实现简单，仅需添加一个私有标记类型和重载函数

方法二：拆分update逻辑，明确职责边界 #

如果业务逻辑允许，可以将update()中与派生类无关的逻辑单独提取出来，让派生类仅关注自身负责的部分，从根源上减少调用update()的动机。

比如，基类提供一个protected的set_other()方法，替代让派生类通过调用update()修改m_other：

class Base{
private:
    virtual void add_to_sum(int incr) = 0;
public:
    Base() : m_sum(0), m_other(0) {}
    void update(int incr, double other){
        this->add_to_sum(incr);
        set_other(other);
    }
    void print_everything() const{
        std::cout << "sum: " << m_sum << "\n";
        std::cout << "other: " << m_other << "\n";
    }
protected:
    int m_sum;
    // 派生类若需修改m_other，直接调用该方法即可
    void set_other(double other) {
        m_other = other;
    }
private:
    double m_other;
};

这种方式让派生类无需通过调用update()完成部分操作，从设计上避免了递归可能，同时保持代码职责清晰。

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