46. 完美转发在实现访问者模式或策略模式时的优势？

访问者模式和策略模式，都是我们日常开发中经常打交道的设计模式。但说实话，传统实现方式有个挺烦人的问题——参数传递时的拷贝开销。尤其是当你传递的是 unique_ptr 或者大型对象时，那感觉就像开着跑车却挂着1档在跑。

完美转发在这里能帮上大忙。它能让你的模式实现既保持泛型灵活性，又避免不必要的拷贝。我个人在重构一个图形引擎的访问者模式时，就深刻体会到了这一点。

传统实现的问题在哪？

先看一个典型的策略模式实现：

class Strategy {
public:
    virtual void execute(std::vector<Data> data) = 0;
    // 注意：这里只能传值或常引用
    // 传值 = 拷贝，传 const & = 不能修改
};

class ConcreteStrategy : public Strategy {
public:
    void execute(std::vector<Data> data) override {
        // data 是拷贝来的，开销大
    }
};

你想想看，如果 Data 是个包含大量纹理资源的对象，每次调用 execute 都拷贝一次，那性能损耗是肉眼可见的。更麻烦的是，你没法同时支持左值和右值——要么写两个重载，要么放弃移动语义。

完美转发如何破局？

核心思路是：把策略或访问者的执行函数变成模板，用完美转发接收参数。这样调用方传左值就拷贝，传右值就移动，完全由调用方决定。

来看改造后的代码：

class Strategy {
public:
    template<typename T>
    void execute(T&& data) {
        // 完美转发给具体实现
        doExecute(std::forward<T>(data));
    }

    virtual ~Strategy() = default;

protected:
    virtual void doExecute(std::vector<Data>& data) = 0;      // 左值版本
    virtual void doExecute(std::vector<Data>&& data) = 0;     // 右值版本
};

class MoveAwareStrategy : public Strategy {
protected:
    void doExecute(std::vector<Data>& data) override {
        std::cout << "左值引用，不拷贝\n";
        // 可以直接用 data，不会触发拷贝
    }

    void doExecute(std::vector<Data>&& data) override {
        std::cout << "右值引用，可以移动\n";
        auto local = std::move(data);  // 零拷贝接管资源
    }
};

嗯，这里要注意：子类需要实现两个版本的 doExecute。虽然多写了一行代码，但换来的是调用方可以自由选择传左值还是右值。

访问者模式中的完美转发

访问者模式的情况类似。传统访问者通常长这样：

class Visitor {
public:
    virtual void visit(ElementA& elem) = 0;
    virtual void visit(ElementB& elem) = 0;
};

问题来了——如果 ElementA 内部持有 unique_ptr 资源，你想在 visit 中转移所有权？抱歉，const 引用不行，非 const 引用又限制调用方必须传左值。

用完美转发改造后：

class Visitor {
public:
    template<typename T>
    void visit(T&& elem) {
        doVisit(std::forward<T>(elem));
    }

protected:
    virtual void doVisit(ElementA& elem) = 0;
    virtual void doVisit(ElementA&& elem) = 0;
    virtual void doVisit(ElementB& elem) = 0;
    virtual void doVisit(ElementB&& elem) = 0;
};

我曾经在一个序列化框架里这么干过。访问者需要把元素移动到输出缓冲区，传统做法只能先拷贝再删除，用了完美转发后直接 move，性能提升了一个数量级。

优势总结

维度	传统实现	完美转发实现
参数传递方式	值拷贝 或 const 引用	左值/右值自动匹配
移动语义支持	需要额外重载	天然支持
泛型灵活性	固定类型	模板推导，类型灵活
调用方体验	必须显式 std::move	自动选择最优路径
代码量	少但性能差	稍多但性能优

避坑指南

核心逻辑图

下面这张图展示了完美转发在策略模式中的完整数据流：

什么时候该用？

说实话，不是所有场景都需要完美转发。我建议你考虑以下几点：

• 参数是大型对象（比如 vector、string、自定义资源类）—— 值得用
• 参数是 unique_ptr 或 move-only 类型—— 必须用，否则编译不过
• 参数是 int、bool 等基础类型—— 没必要，拷贝和移动没区别
• 策略/访问者需要修改参数—— 用完美转发可以同时支持左值和右值修改

我个人觉得，完美转发 + 设计模式 是 C++ 现代风格的重要标志。它把移动语义的优势从底层细节提升到了架构层面。你想想看，以前写策略模式要考虑「传值还是传引用」，现在只需要一个模板搞定，调用方自己决定性能策略——这才是真正的「零开销抽象」。