带有继承列表的 C++ 模板声明

Question

是否可以在 C++ 中声明一个模板类以及它所继承的类？基本上我想给编译器一个提示，我的模板类在声明时总是会继承另一个。 也许一些代码会澄清为什么这对我来说是个问题：

template<typename T>
class GrandparentClass
{
public:
    T grandparentMember;
};

//this needs to be only a declaration, since I do not want classes of ParentClass with random T
template<typename T>
class ParentClass : public GrandparentClass<T>
{

};

// this does not work:
//template<typename T>
//class ParentClass : public GrandparentClass<T>;

// this does not either, because then the child class cannot access the variable from the grandparent class
//template<typename T>
//class ParentClass;

template<>
class ParentClass<int> : public GrandparentClass<int>
{
public:
    ParentClass()
    {
        grandparentMember = 5;
    }
};

template <typename T>
class ChildClass : public ParentClass<T>
{
public:
    void foo()
    {
        std::cout << grandparentMember << "\n";
    }
};

另外，我不能使用 C++ 11。

编辑：

我找到了一个简单的方法：

template<typename T>
class ParentClass : public GrandparentClass<T>
{
public:
    ParentClass() { ParentClass::CompilerError(); };
};

只是不要在类中定义 CompilerError() 方法，一切都很好。

Answer 1

类声明只对非值变量声明有用，比如指针和引用。但是，您无法访问类成员，甚至无法实例化它。即使您知道声明的类继承自其他类，您仍然不一定能够以任何方式利用该信息。

因此，对于编译器来说，了解类的完整定义后，它才知道类继承自什么。

---

在 cmets 中澄清后：如果你想阻止具有某些类型的类模板的实例化，它的定义就是这样做的地方。在类体内一个简单的static_assert 就可以了； Boost.StaticAssert 或更旧的 SFINAE 技巧将完成 C++11 之前的代码的工作。

Answer 2

如果您对将错误延迟到链接时间而不是编译时间感到满意，您可以在 parent.h 中声明 parent 的所有成员函数，在 parent.cpp 中提供定义，并显式实例化有限的类列表你想要的。

父.h

template<typename T>
class ParentClass : public GrandparentClass<T>
{
    ParentClass();
};

class ParentClass<int>;
class ParentClass<long int>; // or whatever

父.cpp

template <typename T>
ParentClass::ParentClass() : grandparentMember(5) {}