在派生类中缺少静态成员变量时强制编译错误

Force compilation error on missing static member variable in derived classes

本文关键字：编译 错误 变量 静态成员 派生      更新时间：2023-10-16

假设以下类层次结构：

//file base.h
class IBase
{
public:
    virtual ~IBase() = default;
    //a static member identifying IBase (e.g. "iid.base")
    static const char* const IID;  //initialize in implementation file
//[...]
};//class IBase
class IDerived : public IBase
{
public:
    virtual ~IDerived() = default;
    //a static member identifying IDerived (e.g. "iid.derived")
    static const char* const IID;  //initialize in implementation file
//[...]
};//class IDerived
class IEvenMoreDerived : public IDerived
{
public:
    virtual ~IEvenMoreDerived() = default;
    //missing static const member IID!
//[...]
};//class IEvenMoreDerived

此层次结构中的每个类都必须有自己的static const tChar* const iid可用于标识对象而无需实例化它。在IEvenMoreDerived缺少此信息。

现在，在代码的某个地方，我有一个访问 IID 的函数模板：

//file main.cpp
#include "base.h"
template<typename T>
void queryIID()
{
    std::cout << T::IID << std::endl;
}
int main(int argc, char* argv[])
{
    queryIID<IBase>();             //prints "iid.base"
    queryIID<IDerived>();          //prints "iid.derived"
    queryIID<IEvenMoreDerived>();  //probably prints "iid.derived"
    return 0;
}

我的目的是在使用queryIID<IEvenMoreDerived>();时出现编译时错误，因为IEvenMoreDerived没有静态成员iid。我认为有可能在函数模板queryIID()中使用一些模板魔术，但我尝试的所有方法都没有解决问题。

一些补充要点：

  • 不幸的是，使用constexpr char*而不是static const char* const似乎是不可能的，因为根据MS VS2015功能预览，即使在VS2015中也不会受到支持。
  • 经过一番挖掘，我遇到了C++模板常见问题解答。据此，成员隐藏是类模板的"功能"。我只是想不通如何使用它来解决我的问题。此外，我不希望将上面介绍的类层次结构更改为类。
  • 在其他问题中，我在 SO 上发现了这个有点相似的问题，但它并不完全符合我的问题。

作为一种解决方法，您可以在外部结构中委派Id，如下所示：

template <typename T>
struct IdName
{
    static const char* const IID;
};
// instead of `const char* const IBase::IID = "IBase";`
// you have to use the following
template <> const char* const IdName<IBase>::IID = "IBase";
// Same for IDerived
template <> const char* const IdName<IDerived>::IID = "IDerived";

尝试使用IdName<IEvenMoreDerived>::IID时出现链接错误。

现场示例

相关文章：