在派生模板类中特化方法形式基类

Question

我很难弄清楚我应该如何进行模板专业化。这一次，不幸的是，google 和 SO 帮不了我。

对于基类：

class base
{
public:
    virtual ~base() = 0;

    virtual int getInt() { throw std::invalid_argument(std::string(typeid(*this).name()) + " can't return int"); }
};
base::~base() {}

和派生类：

template<class T>
class derived : public base
{
public:
    derived() {}
    derived(T value) { mValue = value; }

private:
    T mValue;
};

这段代码：

void proof(base* arg)
{
    try
    {
        std::cout << arg->getInt();
    }
    catch (std::exception& e)
    {
        std::cout << e.what();
    }
    std::cout << "\n\n";
}

int main()
{
    base* a = new derived<int>(23);
    base* b = new derived<std::string>("abc");

    proof(a);
    proof(b);

    delete a;
    delete b;

    return 0;
}

输出，如果不是很明显：

class derived<int> can't return int

class derived<class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > > can't return int

我应该如何对派生进行专门化，以便 getInt() 返回 mValue ？比如：

template<>
int derived<int>::getInt() { return mValue; } 

这不起作用。

为了更清楚，我希望在调用 arg->getInt() 时输出 23，并且在调用 arg->getInt() 时在基类中抛出异常。 你能给我一个示例代码吗？谢谢。

Answer 1

derived 模板没有getInt() 方法。你不能专门化不存在的东西。

您必须专门化整个模板。试试这个：

template<>
class derived<int> : public base
{
public:
    derived() {}
    derived(int value) { mValue = value; }
    int getInt() override { return mValue; } 
private:
    T mValue;
};

Answer 2

您可以将模板专门用于int：

template <> class derived<int> : public base
{
public:
    derived(int value) : mValue(value) {}

    int getInt() override { return mValue; }

private:
    int mValue;
};