c++ - 如何在其中一个层次结构类中使用 std::is_base_of？

Question

我正在尝试做一个结构类似于此的程序:

#include <type_traits>

template <class A, class B, class C = void>
class Test {};

template <class A, class B>
class Test<A *, B *, typename std::enable_if<std::is_base_of<A, B>::value>::type> {
public:
    int a;
};

class X {};

class Y : public X {
private:
    using T = Test<X *, Y *>;
    T t;
public:
    Y() : t() {t.a = 1;}
};

也就是说，我想在使用基类和派生类的派生类中有一个模板实例化，并确保这两个类之间存在派生关系。

但这在 gcc 6.1.0 下无法编译。错误信息是:

error: invalid use of incomplete type 'class Y'

那么我应该怎么做才能使这段代码起作用呢？谢谢!

Answer 1

这是因为当你指定一个类型为非指针/非引用对象时，要求你应该事先定义(存储)该类型。如果您使用 T 作为指针，它应该这样工作:

class Y : public X {
private:
    using T = Test<X *, Y *>;
    T* t;
public:
    Y() : t(new T) {t->a = 1;}
};

这当然有其自身的一些缺点。