c++ - 模板化循环继承

Question

在此代码中，编译器提示未定义 MyClassB ，这是可以理解的:

class MyClassA;
class MyClassB;

template <class T> class BaseClass : public T {
};

class MyClassA : public BaseClass<MyClassB> {
};

class MyClassB : public BaseClass<MyClassA> {
};

但在这段代码中，编译成功并且没有提示 MyClassB :

class MyClassA;
class MyClassB;

template <class T> class BaseClass : public T {
};

class MyClassA : public BaseClass<std::vector<MyClassB>> {
};

class MyClassB : public BaseClass<std::vector<MyClassA>> {
};

为什么第二个代码编译，因为MyClassB构造std::vector<MyClassB>时尚未定义？

Answer 1

因为您的 std::vector 实现允许不完整的类型。这是类模板的成员函数的实例化规则的副作用:它们在使用之前不会被实例化。因此， 需要它成为完整类型的函数尚未实例化。所以没有错误。

相反，它确实需要是一个完整的类型才能成为基类，所以在这种情况下会出现错误。

---

但是，将不完整的类型传递给 std::vector(或任何其他标准库容器)实际上是未定义的行为，并且“有效”是有效的未定义结果。你不应该这样做。