继承和模板函数 C++

Question

我想知道是否有继承模板函数的模式/方法？ 模板函数不能是虚拟的，所以如果我的基类有一个模板函数并且我的派生类有相同的模板函数，那么在下面的例子中总是会调用基类的函数：

struct Base {
    Base() {}
    template < typename T >
    void do_something(T&  t) const {
        t << "Base" << std::endl ;
    }
    };

struct Foo : Base {
    Foo() : Base () {}
    template < typename T >
    void do_something(T&  t) const {
        t << "Foo" << std::endl ;
    }
};

struct Bar : Foo {
    Bar() : Foo() {}
    template < typename T >
    void do_something(T&  t) const {
        t << "Bar" << std::endl ;
    }
};


int main(int argc, char** argv)
{

    Base *b = new Base() ;
    Base *f = new Foo() ;
    Base *ba = new Bar() ;

    b->do_something(std::cout) ;
    f->do_something(std::cout) ;
    ba->do_something(std::cout) ;

    return 0 ;
}

所以这个程序总是打印：

Base
Base
Base

有没有办法让我的程序打印：

Base
Foo
Bar

实际上，我发现这样做的唯一方法是制作一个 static_cast ：

...
static_cast<Foo*>(f)->do_something(std::cout) ;
static_cast<Bar*>(ba)->do_something(std::cout) ;
...

是否有任何模式或优雅的方式来封装强制转换，以便它不会从函数调用中引起注意？ 感谢您的回复

Answer 1

您几乎总是可以通过将功能拆分为更小的部分、根据需要对每个部分进行模板化或在必要时进行虚拟化来完成您需要的操作。 在这个例子中，这很简单：

struct Base {
    Base() {}
    template < typename T >
    void do_something(T&  t) const {
        t << something_piece() << std::endl ;
    }
    virtual const char* something_piece() const {
        return "Base";
    }
};

struct Foo : Base {
    Foo() : Base () {}
    const char* something_piece() const {
        return "Foo";
    }
};

struct Bar : Foo {
    Bar() : Foo() {}
    const char* something_piece() const {
        return "Bar";
    }
};

它可能比这更复杂，但这个想法在结合编译时和运行时差异方面非常强大。

Answer 2

您是否可以选择将结构更改为模板类而不是模板方法？

如果是这样的话：

Template<typename T>
struct Base
{
public:
    virtual void doSomething();
 };


Template<typename T>
struct Foo : Base<T>
{
public:
    virtual void doSomething();
};