首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >使用静态方法进行C++设计

使用静态方法进行C++设计
EN

Stack Overflow用户
提问于 2010-05-15 02:57:36
回答 10查看 1K关注 0票数 5

我想定义为具有静态方法的类X:

代码语言:javascript
运行
复制
class X
{
 static string get_type () {return "X";}
 //other virtual methods
}

我想强制从X继承的类重新定义get_type()方法,并返回与"X“不同的字符串(如果它们现在只是重新定义get_type,我很高兴)。

我该怎么做呢?我知道我不能有虚拟的静态方法。

编辑:问题不是关于type_id,而是关于应该被重写的静态方法。例如

代码语言:javascript
运行
复制
class X {
 static int getid() {return 1;}
}
EN

回答 10

Stack Overflow用户

发布于 2010-05-15 03:15:02

代码语言:javascript
运行
复制
template<int id>
class X {
public:
    static int getid() { return id; }
};

class Y : public X<2> {
};

你没有重写这个方法,但是你强制每个子类都提供一个ID。注意:我还没有尝试过这个方法,可能有一些微妙的原因导致它不能工作。

票数 5
EN

Stack Overflow用户

发布于 2010-05-15 03:21:39

如果我没记错的话,要调用静态方法,您必须通过指定类的确切名称来调用该方法,例如X::get_type();DerivedClass::get_type()等,而且在任何情况下,如果在对象上调用,则不会考虑对象的动态类型。因此,至少在特定情况下,它可能只在您不期望多态行为的模板化上下文中有用。

但是,我不明白为什么不能强制每个有趣的类(继承的或非继承的,因为“编译时多态性”并不关心)通过模板提供此功能。在以下情况下,您必须专门化get_type函数,否则将出现编译时错误:

代码语言:javascript
运行
复制
#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也可以做到这一点。)

票数 3
EN

Stack Overflow用户

发布于 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的虚拟函数?

票数 2
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/2836818

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档