在派生的模板类中专门设置一个基类的方法

Question

我不知道应该如何进行模板专业化。这一次，不幸的是，谷歌和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（）和我调用arg-> getInt（）时抛出的基类中的异常，我希望pe输出为23。 你能给我一个示例代码吗？谢谢。

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; 
};