如何基于模板重构Component事件处理函数以复用代码

你想要保留直接调用对应最终事件类型虚函数的简洁模式，同时把重复的事件分发逻辑抽到模板里，其实只需要调整模板函数里的类型转换和事件拷贝逻辑，确保派生类事件的信息不丢失，同时正确调用子组件的对应虚函数。

以下是改写后的Component类实现：

类内模板函数定义 #

#include <type_traits> // 需要引入这个头文件来用static_assert

class Component {
...
/* 这些函数可在派生类中重写以处理对应事件 */
virtual void handleEvent(const MouseButtonEvent&);
virtual void handleEvent(const MouseWheelEvent&);
virtual void handleEvent(const KeyEvent&);
virtual void handleEvent(const InputEvent&);
...

template<typename GMouseEvent>
void handleMouseEvent(const GMouseEvent& e) {
    // 编译期检查：确保模板参数是MouseEvent的派生类，避免误用
    static_assert(std::is_base_of_v<MouseEvent, GMouseEvent>, 
                  "GMouseEvent must inherit from MouseEvent");
    if (!children.empty()) {
        // 直接拷贝完整的派生类事件对象，保留所有派生类特有属性
        GMouseEvent eCopy = e;
        // 转换到基类引用，修改point属性（point是MouseEvent的成员）
        auto& mouseEventCopy = static_cast<MouseEvent&>(eCopy);
        const auto& mouseEventOriginal = static_cast<const MouseEvent&>(e);
        
        for (auto child : children) {
            mouseEventCopy.point = child->transformPointToLocal(mouseEventOriginal.point);
            if (child->predicateOnMouseEventPropery(mouseEventOriginal.point)) {
                // 传递派生类事件对象，确保调用正确的虚函数重载
                return child->handleEvent(eCopy);
            }
        }
    }
}

template<typename GNonMouseEvent>
void handleNonMouseEvent(const GNonMouseEvent& e) {
    for (auto child : children) {
        // 直接传递原始事件类型，保证调用对应事件的虚函数
        child->handleEvent(e);
    }
}

...
std::vector<Component*> children;
};

类外handleEvent实现 #

void Component::handleEvent(const MouseButtonEvent& e) {
    handleMouseEvent<MouseButtonEvent>(e);
}
void Component::handleEvent(const MouseWheelEvent& e) {
    handleMouseEvent<MouseWheelEvent>(e);
}
void Component::handleEvent(const KeyEvent& e) {
    handleNonMouseEvent<KeyEvent>(e);
}
void Component::handleEvent(const InputEvent& e) {
    handleNonMouseEvent<InputEvent>(e);
}

关键细节解释 #

• 类型安全保障：添加static_assert做编译期检查，确保模板参数是MouseEvent的派生类，避免错误传入非鼠标事件类型。
• 完整事件拷贝：直接拷贝GMouseEvent类型对象，像MouseButtonEvent的foo这类派生类特有属性会被完整保留，解决了你之前先转基类拷贝丢失派生类数据的问题。
• 基类属性修改：将拷贝后的派生类对象转为MouseEvent&来修改point，既完成了坐标转换需求，又不破坏派生类的其他数据。
• 正确虚函数调用：传递GMouseEvent类型的eCopy给子组件的handleEvent，编译器会自动匹配到对应事件类型的虚函数重载，和你原来的逻辑完全一致。

兼容性说明 #

• MyComponent的实现不需要任何修改，调用基类Component::handleEvent的逻辑完全正常。
• 调用侧代码也保持不变，依然可以直接用c->handleEvent(e)的简洁写法，虚函数机制会正确路由到对应的实现。

这样调整后，所有鼠标事件的分发逻辑都集中到了handleMouseEvent模板里，非鼠标事件的逻辑集中到handleNonMouseEvent，未来新增事件类型时，只需要添加对应的handleEvent重载并调用对应的模板函数即可，不用重复写循环和事件转换的冗余代码。

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