使用模板生成纯虚拟基类方法

Question

这听起来有点奇怪，我可能不得不在某些时候重构我的代码，但我需要使用模板函数生成纯虚拟基类方法。使用 C++11（可变参数模板？）是否可行？

例子：

struct I
{
    virtual void foo(int) = 0;
    virtual void foo(float) = 0;
};

struct S : public I
{
    template<typename T>
    void foo(T t) { /*do the same symbolic stuff on t*/ } 
};

int main()
{
    S s;
    s.foo(0);
    s.foo(0.0f);
    return 0;
}

给出以下错误（clang）：

main.cpp:65:7: error: variable type 'S' is an abstract class
    S s;
      ^
main.cpp:53:18: note: unimplemented pure virtual method 'foo' in 'S'
    virtual void foo(int) = 0;
                 ^
main.cpp:54:18: note: unimplemented pure virtual method 'foo' in 'S'
    virtual void foo(float) = 0;
                 ^
1 error generated.

Answer 1

你不能直接做，但你可以使用转发器有一个通用的实现：

struct S : public I
{
private:
    template<typename T>
    void foo_impl(T t) { /*do the same symbolic stuff on t*/ } 
public:
    virtual void foo(int v) { foo_impl(v); }
    virtual void foo(float v) { foo_impl(v); }
};

Answer 2

你不能这样做。

模板方法的签名与非模板方法的签名不同。

而且你不能有一个虚拟模板方法。