我想创建一个抽象类模板,强制所有实例实现 doStuff
使用纯虚函数的函数。
我有以下模板:
template<class T>
class X
{
public:
X() {};
virtual ~X() {};
virtual X<T>& doStuff(X<T>& x) = 0;
};
还有一个 T= int 的实例:
class Y : public X<int>
{
public:
Y();
virtual ~Y();
Y& doStuff(Y& x) {
Y res;
Y& res2 = res;
return res2;
}
};
我收到错误信息:
In member function ‘Y& Y::doStuff(Y&)’: cannot declare variable ‘res’ to be of abstract type ‘Y’ because the following virtual functions are pure within ‘Y’: X<T>& X<T>::doStuff(X<T>&) [with T = int]
如果我将参数类型更改为 doStuff
在 Y
,一切都很好:
class Y : public X<int>
{
public:
Y();
virtual ~Y();
Y& doStuff(X<int>& x) {
Y res;
Y& res2 = res;
return res2;
}
};
为什么参数不能是对 Y
的引用Y
时的对象实现 X?
Y&
的返回值不会产生类似的错误消息。
也许我使用了错误的方法来实现我想要的 - 请随时告诉我。
最佳答案
通过设置Y&
作为参数,您更改 doStuff
的签名因此 res
是抽象的。
X<int>&
不是 Y&
尽管Y
继承X
.
关于c++ - 从类模板实现纯虚函数 - 参数类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/42187597/