C++虚模板成员函数的实用解决方案：基于类型擦除的实现

C++语法不支持模板成员函数声明为virtual：模板函数的实例化发生在编译阶段，虚函数的动态分发发生在运行阶段，二者逻辑上无法直接结合。你原有代码中的do_write永远只会调用基类Output的write模板实现，不会触发派生类的重写逻辑。

以下方案完全保留原do_write的签名和实现，仅修改基类Output的内部实现、新增类型擦除层即可实现需求：

#include <iostream>
#include <functional>
#include <string>
#include <vector>

// 类型擦除层：统一封装所有满足可迭代约束的类型
class ErasedIterable {
public:
    template<typename Iterable>
    ErasedIterable(const Iterable& iter) : 
        for_each_impl([&](const std::function<void(const std::string&)>& visitor) {
            for (const auto& item : iter) {
                visitor(item);
            }
        }) {}

    void for_each(const std::function<void(const std::string&)>& visitor) const {
        for_each_impl(visitor);
    }

private:
    std::function<void(const std::function<void(const std::string&)>)> for_each_impl;
};

class Output {  // 公共接口
public:
    // 原模板方法签名完全保留，不影响上层调用
    template <class Iterable,
            class _begin = decltype(Iterable {}.begin()),
            class _end   = decltype(Iterable {}.end())>
    void write(const Iterable& messages) const
    {
        // 将模板参数擦除为统一类型，转发到虚函数实现动态分发
        write_impl(ErasedIterable(messages));
    }

    // 新增虚函数作为多态入口
    virtual void write_impl(const ErasedIterable& iter) const {
        iter.for_each([](const std::string& msg) {
            std::cout << msg << std::endl;
        });
    }

    virtual ~Output() = default;
};

class Derived : public Output { // 具体派生类
public:
    // 仅需重写虚函数即可实现自定义逻辑
    void write_impl(const ErasedIterable& iter) const override
    {
        std::cout << "Report from derived class:" << std::endl; 
        iter.for_each([](const std::string& msg) {
            std::cout << "DR:" << msg << std::endl;
        });
    }
};

// 完全未修改的原有私有API
template <class Iterable,
        class _begin = decltype(Iterable {}.begin()),
        class _end   = decltype(Iterable {}.end())>
void do_write (Output &out, const Iterable& messages)
{
    out.write(messages);
}

int main ()
{
    Derived output;
    do_write(output, std::vector<std::string>{"Record 1", "Record 2"});
    return 0;
}

• 类型擦除层ErasedIterable负责把任意可迭代类型的差异抹平，对外暴露统一的遍历接口，消除模板参数对多态的影响
• 基类的模板write仅做参数转发，不实现业务逻辑，把调用转交给虚函数write_impl
• 派生类仅需重写write_impl虚函数，即可被do_write正确调用，实现预期的多态效果
• 运行后输出为：

  Report from derived class:
  DR:Record 1
  DR:Record 2
  

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