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

Question

假设有以下类层次结构:

//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不幸的是，根据 The MS VS2015 Feature Preview 似乎不可能即使在 VS2015 中也不支持它。
• 经过一番挖掘，我发现了 C++ Templates FAQ .据此，成员隐藏是类模板的一个“特性”。我只是不知道如何使用它来解决我的问题。此外，我不希望将上面显示的类层次结构更改为类。
• 在其他问题中，我找到了 this somewhat similar question on SO , 但它并不完全符合我的问题。

Answer 1

作为解决方法，您可以委托(delegate) 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 时出现链接错误.

Live example