我想定义为具有静态方法的类X:
class X
{
static string get_type () {return "X";}
//other virtual methods
}我想强制从X继承的类重新定义get_type()方法,并返回与"X“不同的字符串(如果它们现在只是重新定义get_type,我很高兴)。
我该怎么做呢?我知道我不能有虚拟的静态方法。
编辑:问题不是关于type_id,而是关于应该被重写的静态方法。例如
class X {
static int getid() {return 1;}
}发布于 2010-05-15 03:15:02
template<int id>
class X {
public:
static int getid() { return id; }
};
class Y : public X<2> {
};你没有重写这个方法,但是你强制每个子类都提供一个ID。注意:我还没有尝试过这个方法,可能有一些微妙的原因导致它不能工作。
发布于 2010-05-15 03:21:39
如果我没记错的话,要调用静态方法,您必须通过指定类的确切名称来调用该方法,例如X::get_type();、DerivedClass::get_type()等,而且在任何情况下,如果在对象上调用,则不会考虑对象的动态类型。因此,至少在特定情况下,它可能只在您不期望多态行为的模板化上下文中有用。
但是,我不明白为什么不能强制每个有趣的类(继承的或非继承的,因为“编译时多态性”并不关心)通过模板提供此功能。在以下情况下,您必须专门化get_type函数,否则将出现编译时错误:
#include <string>
struct X {};
struct Derived: X {};
template <class T> std::string get_type() {
static_assert(sizeof(T) == 0, "get_type not specialized for given type");
return std::string();
}
template <> std::string get_type<X>() {
return "X";
}
int main() {
get_type<X>();
get_type<Derived>(); //error
}(static_assert为C++0x,否则使用您最喜欢的实现,例如BOOST_STATIC_ASSERT。如果你觉得专门化函数不好,那就专门化一个结构体。如果您希望强制错误(如果有人无意中试图将其专门化为不是从X派生的类型),那么使用type_traits也可以做到这一点。)
发布于 2010-05-15 03:15:56
我想说你知道原因,但为了以防万一,这里有一个很好的解释:
http://publib.boulder.ibm.com/infocenter/lnxpcomp/v8v101/index.jsp?topic=/com.ibm.xlcpp8l.doc/language/ref/cplr139.htm
看起来你必须设计一种方法来解决这个问题。也许是一个包装Singleton的虚拟函数?
https://stackoverflow.com/questions/2836818
复制相似问题