使用基类的功能模板专门化

Question

我环顾四周，但找不到我想要的东西。 基本上，我想要一个由基类专用的功能模板。 我不知道如何使用专门功能。

含义...

class IBase
{
public:
    virtual std::string func() const = 0;
};

class MyClass : public IBase
{
public:
    std::string func() const { return "From MyClass"; }
};

template <class T>
std::string get_func(const T* t)
{
    return "Unknown";
}

template <>
std::string get_func<IBase>(const IBase* t)
{
    return t->func();
}

int main()
{
    int a;
    MyClass b;

    get_func(&a); // <- Returns 'Unknown'. Good.
    get_func(&b); // <- Returns 'Unknown'. Bad, want 'From MyClass'.
}

我使用const T*的原因是因为IBase是抽象的。

Answer 1

只需使用重载函数即可。

std::string get_func(const IBase *t) {
    return t->func();
}

总是在模板之前选择重载的功能。

Answer 2

在公认的答案中使用函数重载来替换函数模板特化并不总是一个好主意。 对于问题中的示例代码，函数重载不能提供默认的实现，该默认实现为非专业类打印“ Unknown”。 函数重载不足的其他示例包括元组和几乎任何可变参数编程。

所讨论的代码无法正常工作的主要原因是，目前，类型推导和转换不能很好地配合使用。 您需要将&b强制转换为专用函数期望的其父类（即IBase *）的指针类型。 由于当前C ++中存在此问题，因此有必要使用来帮助编译器。

get_func((const IBase*)&b);

其次，最好将virtual添加到

std::string func() const { return "From MyClass"; } 

，因为IBase :: func被定义为虚拟成员函数。 （这并不是所有编译器都必需的： 派生类中的函数的C ++“ virtual”关键字。是否有必要？ ）。

进行了这些更改后，以下代码将输出预期的结果：

Unknown
From MyClass

码：

#include <string>
#include <iostream>
using namespace std;

class IBase
{
public:
    virtual std::string func() const = 0;
};

class MyClass : public IBase
{
public:
    virtual std::string func() const { return "From MyClass"; }
};

template <class T>
std::string get_func(const T* t)
{
    return "Unknown";
}

template <>
std::string get_func<IBase>(const IBase* t)
{
    return t->func();
}

int main()
{
    int a;
    MyClass b;

    cout << get_func(&a) << endl; // <- Returns 'Unknown'. Good.
    cout << get_func((const IBase*)&b) << endl; // 
}