c++ - CRTP 可以编译，但我不希望它编译。如何？

Question

我有一个带有不完整子类的 CRTP，它缺少在基类中实现的“不是真的”方法：

#include <iostream>

using namespace std;

template<class T>
class BaseA
{
  public:
  T& asChild(){return static_cast<T&>(*this);}
  void AMethod(void) {asChild().AMethod();}
};

class IncompleteChild : public BaseA<IncompleteChild>
{
  public:
  // uncomment the following to avoid segfault:
//    void AMethod(void) {cout << "IncompleteChild Method" << endl;}
};

class Child : public BaseA<Child>
{
  public:
  void AMethod(void) {cout << "Child AMethod" << endl;}
};

template<class T>
void printBaseA(BaseA<T>& a)
{
  a.AMethod();
}

int main()
{
  IncompleteChild cI;
  cI.AMethod();
  printBaseA(cI);

  return 0;
}

这编译得很好，但在运行时会导致分段错误。我怎样才能避免这种情况？我更喜欢这里的编译器错误（使用 gcc 4.6.3）。

Answer 1

由于您的类实际上没有member AMethod，因此您最终调用了 CRTP 基的成员，这为您提供了无限递归。

简单的解决方案不是在所有地方重用名称，而是一个叫一个叫AMethod另一个AMethodImpl 或类似的东西：

void AMethod()
{
    static_cast<T*>(this)->AMethodImpl();
}