c++ - 在派生类中作为模板实现的虚函数

Question

有以下代码:

struct Base
{
    virtual void print(int x) = 0;
    virtual void print(float x) = 0;
};

struct Derived : public Base
{
    template<typename T>
    void print(T x)
    {
        std::cout<<x<<std::endl;
    }
};

是否有可能做一些 C++ 黑魔法(对这些类型进行显式实例化，一些智能 using 等)来识别以下实现:

virtual void print(int x) = 0;
virtual void print(float x) = 0;

在Derived类中的形式为:

template<typename T>
void print(T x)

Answer 1

不，没有。

您可以做的是转发到本地模板实现:

struct Derived : public Base
{
    void print(int x) override { printTempl(x); }
    void print(float x) override { printTempl(x); }

    template <typename T>
    void printTempl(T x)
    {
        std::cout << x << std::endl;
    }
};

如果你觉得太冗长，而且你有很多这样的 print，你也可以宏它:

#define PRINT_FWD(typ) void print(typ x) override { printTempl(x); }