1

我正在尝试使用递归模板在 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/ 类，它在运行时永远不会被调用。即使我在 printStackTrace 声明之后立即放置return语句，也会评估相同的错误。为什么不动态检查范围和成员函数以及为什么编译器忽略返回？

4

2 回答 2

3

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

您可以通过提供以下重载来解决此问题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;
}

活生生的例子

于 2013-09-12T15:59:17.387 回答
1

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

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 类型提供重载。这实际上比我未经测试的代码更干净:-)

于 2013-09-12T16:00:06.710 回答