父指针调用虚函数：Node派生类树结构的Symbols()实现咨询

针对你描述的场景：基于Node派生类构建的树，A节点自身不维护SymbolTable，会递归向上调用父节点的Symbols()，B节点持有独立的SymbolTable并返回自身实例。下面提供几种实用的解决方案，覆盖性能优化、异常处理等常见需求：

1. 替换递归查找：非递归实现避免栈溢出 #

递归版本在树层级较深时可能触发栈溢出，且性能不如非递归逻辑。可以修改Node的Symbols()方法，用循环遍历替代递归：

#include <typeinfo>

struct SymbolTable {}; // 假设已有定义

struct Node { 
    Node* parent; 
    virtual const SymbolTable& Symbols() { 
        Node* current = this;
        while (true) {
            // 检查当前节点是否为B类型
            if (dynamic_cast<B*>(current)) {
                return static_cast<B*>(current)->symbols;
            }
            // 处理根节点无SymbolTable的边界情况
            if (!current->parent) {
                static const SymbolTable empty_table;
                return empty_table;
            }
            current = current->parent;
        }
    } 
};

struct A : public Node { };

struct B : public Node { 
    SymbolTable symbols; 
    const SymbolTable& Symbols() override { 
        return symbols; 
    } 
};

2. 新增类型标志：消除动态类型转换开销 #

dynamic_cast会带来额外性能损耗，你可以给Node添加一个标志位，直接标记节点是否持有SymbolTable：

struct SymbolTable {};

struct Node { 
    Node* parent;
    bool has_symbols = false; // 标记是否持有SymbolTable
    virtual const SymbolTable& Symbols() { 
        Node* current = this;
        while (!current->has_symbols) {
            if (!current->parent) {
                static const SymbolTable empty_table;
                return empty_table;
            }
            current = current->parent;
        }
        // 已确认has_symbols为true，安全转换为B类型
        return static_cast<B*>(current)->symbols;
    } 
};

struct A : public Node { };

struct B : public Node { 
    SymbolTable symbols; 
    B() { has_symbols = true; } // 构造时标记
    const SymbolTable& Symbols() override { 
        return symbols; 
    } 
};

3. 缓存符号表节点：高频查询场景优化 #

如果Symbols()调用频率很高，可以给每个Node添加缓存指针，指向最近的持有SymbolTable的祖先节点，避免重复遍历：

struct SymbolTable {};

struct Node { 
    Node* parent;
    const Node* symbol_owner = nullptr; // 缓存最近的符号表持有节点

    virtual const SymbolTable& Symbols() { 
        if (!symbol_owner) {
            const Node* current = this;
            while (true) {
                if (auto* b_node = dynamic_cast<const B*>(current)) {
                    symbol_owner = b_node;
                    break;
                }
                if (!current->parent) {
                    static const B empty_b_node; // 构造默认空符号表的B节点
                    symbol_owner = &empty_b_node;
                    break;
                }
                current = current->parent;
            }
        }
        return static_cast<const B*>(symbol_owner)->symbols;
    } 

    // 父节点变更时清空缓存，避免返回过时结果
    void SetParent(Node* new_parent) {
        parent = new_parent;
        symbol_owner = nullptr;
    }
};

struct A : public Node { };

struct B : public Node { 
    SymbolTable symbols; 
    const SymbolTable& Symbols() override { 
        return symbols; 
    } 
};

关键注意事项 #

• 必须处理根节点无SymbolTable的边界情况，否则递归或遍历会触发空指针异常，上面的方案均返回一个静态空SymbolTable，你也可以根据需求改为抛出异常。
• 如果树结构频繁修改（比如父节点变更），缓存方案需要同步清空缓存，确保结果正确性。

内容的提问来源于stack exchange，提问作者Maroš Beťko