Question

我正在尝试使用递归模板在C ++中实现非常简单的单继承堆栈跟踪：

#include <iostream>
using namespace std;
template <class C> struct MakeAlias : C{ typedef C Base; };
class StackTrace{
      public:
      static int var;
      virtual ~StackTrace() {}
      template <class T> void printStackTrace(T* c){
          if(typeid(T)==typeid(StackTrace))return; 
          cout << typeid(T).name() << "." << endl;
          class T::Base *V;
          printStackTrace(V);
     }
};
class A : public MakeAlias<StackTrace>{
};
class B : public MakeAlias<A>{
};
class C : public MakeAlias<B>{
    public:
    void hello(){
        cout << "hello from ";
        StackTrace::printStackTrace(this);
        cout << endl;
    }

};
int main(){
    C c;
    c.hello();
}

一切都应该没问题，但是当我尝试编译它时，g ++忽略了 if（typeid（T）== typeid（StackTrace））return; 行并返回以下错误：

st.cpp: In member function `void StackTrace::printStackTrace(T*) [with T = StackTrace]':
st.cpp:13:   instantiated from `void StackTrace::printStackTrace(T*) [with T = A]'
st.cpp:13:   instantiated from `void StackTrace::printStackTrace(T*) [with T = B]'
st.cpp:13:   instantiated from `void StackTrace::printStackTrace(T*) [with T = C]'
st.cpp:24:   instantiated from here
st.cpp:12: error: no type named `Base' in `class StackTrace'
st.cpp:13: error: no type named `Base' in `class StackTrace'

它尝试调用C :: Base :: Base :: Base :: Base / StackTrace :: Base / class，它们在运行时永远不会被调用。即使我在printStackTrace声明之后立即输入 return 语句，也会评估相同的错误。为什么不动态检查范围和成员函数以及编译器忽略返回的原因？

Answer 1

模板是纯粹的编译时构造。它们只是指示编译器生成类或函数，然后正常编译（因此它们必须在语法上有效，除了some special exceptions）。

你可以通过提供printStackTrace的重载来解决这个问题：

template <class T>
void printStackTrace(T *c)
{
  cout << typeid(T).name() << "." << endl;
  typename T::Base *V;
  printStackTrace(V);
}

void printStackTrace(StackTrace *c)
{
  cout << typeid(StackTrace).name() << "." << endl;
}

Live example

Answer 2

无论您提前返回，编译器都会扩展行

class T::Base *V;

递归。如果你想永远停止编译器扩展模板（或者直到编译器打破一些内部限制，以先到者为准:-)）你需要在编译时进行调度。或许这样的事情就可以解决问题。将printStackTrace函数更改为

template <class T>
void printStackTrace(T* c) {
    printStackTraceImpl(c, std::is_same<T, StackTrace>);
}

template <class T>
void printStackTraceImpl(T* c, std::true_type) { 
      cout << typeid(T).name() << "." << endl;
      class T::Base *V;
      printStackTrace(V);
}

template <class T>
void printStackTraceImpl(T* c, std::false_type) { 
    // do nothing.
}

编辑：或按照其他地方的建议，为StackTrace类型提供重载。这实际上比我未经测试的代码更清晰： - ）

g ++在编译时走得太远了

2 个答案: