在扩展模板的类中初始化静态常量

Question

考虑以下伪代码：

class Foo {
public:
    virtual int getID() const = 0;
}

template<typename T>
class Blah : public Foo {
public:
    T data;
    static const int ID;  //static ID
    int getID() const { return Blah<T>::ID; }  //instance returns the ID
}

class Dude : public Blah<int> {
}
int Dude::ID = 10;  //I want to define Blah<int>::ID here, but how?

int receive(const Foo& foo) {
    if(foo.getID() == Dude::ID) {
        cout << "Received a Dude" << endl;
    }
}

这段代码无法编译，因为 ISO C++ 不允许将 Blah 模板中的 ID 定义为 Dude 类中的 ID。我明白为什么，因为我可以有多个扩展 Blah 的类。

我明白如果我把 template; Blah::ID = 10' int Blah 暗示它将起作用...但这不是我想要的...我希望派生类定义 ID。 ..

我是否必须将 ID 和 getID() 推送到派生类中？我想最终我对一些 RTTI 感兴趣，这样我就可以适当地处理 Foo 。如果有人有更好的模式，我洗耳恭听。

编辑 为了回应一些评论...我想通过某个 ID 唯一地标识从 Foo 派生的类，以便我可以将某些 Foo 对象的运行时 id 与特定的类 ID。

谢谢！

Answer 1

制作静态int ID； private，并在公共接口中提供GetID，使SetID成为受保护的接口。但这不是一个好的解决方案，因为所有派生类将共享相同的 ID，这不是您想要的。

更好的方法应该是使用 id 作为基类的模板参数，然后 class Derived : public Base<234>{} 将起作用。

或者将 virtual const int GetID() = 0 添加到 Base 类中。

Answer 2

我认为你可以简单地这样做：

class Dude : public Blah<int> {
}
 static const int Dude_ID; //declaration!

int receive(const Foo& foo) {
    if(foo.getID() == Dude::Dude_ID) {
        cout << "Received a Dude" << endl;
    }
}
static const int Dude::Dude_ID = 10; // definition!

同样，为每个派生类定义一个ID。

---

为每个类提供 ID 的另一种方法是：

template<typename T, int ID=1>
class Blah : public Foo {
public:
    int getID() const { return ID; }  
}

template<int ID=10>
class Dude : public Blah<int> {
public:
    int getID() const { return ID; }  
}

Answer 3

我发现这个答案正是我所追求的……很抱歉，如果我的问题令人困惑。

在C++中，如何使用单例来保证每个类都有唯一的整体ID？