c++ - 在 C++ 编译时输出 typedef 的类型(特别是发生错误时)

Question

_{我很难解释这个特定的问题/问题，所以请耐心等待(我在处理所有与模板相关的问题时遇到了麻烦!)。}/p>

以这段代码为例(注意展示代码的重点是展示一个复杂的模板层次结构，而不是它是否有意义):

#include <string>
#include <vector>
#include <list>

template <typename T>
struct Foo
{
  typedef typename T::value_type value_type;
  typedef typename T::value_type1 value_type1;
  typedef typename T::value_type2 value_type2;

  Foo() {}
  Foo(value_type1, value_type, value_type2) {}
  Foo(value_type, value_type1, value_type2) {}
};

template <typename T, typename T1, typename T2>
struct MiddleMan
{
  typedef T   value_type;
  typedef T1  value_type1;
  typedef T2  value_type2;
};

template <typename T>
struct MainClass
{
  typedef typename T::value_type value_type;
  typedef typename T::value_type1 value_type1;
  typedef typename T::value_type2 value_type2;

  typedef MainClass<T>  this_type;

  typedef Foo<this_type> iterator;
};

using namespace std;

int main()
{
  typedef MiddleMan<string, vector<string>, list<vector<string> > > mm;
  MainClass<mm>::iterator  a(1, 2, 3);

  return 0;
}

并假设这是你得到的错误

None of the 3 overloads could convert all the argument types

请注意，我知道在这种情况下，如果您编译代码，错误消息与上面不同，但我当前正在处理的复杂模板代码中的错误消息是上面的。我只是提供了一个简化的例子来帮助解决这个问题。

现在我想知道 Foo 的类型，即 value_type、value_type1、value_type2 这样我可以修复错误，而无需一直追溯到 MiddleMan。我不想手动跟踪的原因是代码可能是非常复杂的模板代码，很难进行回溯。

我想既然编译器已经弄清楚了类型，它应该能够让我知道，即应该有一个简单的方法在编译时弄清楚类型(可能通过输出窗口中的消息)附加到 typedef。有没有简单的方法？

---

SOLUTION-EDIT:这是另一个示例，在阅读所选答案后可能对 future 的 SOer 有所帮助:

template <typename T> struct incomplete;

template <typename T, typename T2, typename T3>
class foo
{
public:
  typedef T value_type;
  typedef T2 value_type2;
  typedef T3 value_type3;
};

int main()
{
  // Assume the following type is much more complex
  typedef foo<float, int, char> type_i_am_having_trouble_with;

  // At this point you are instantiating it, and the program compiles (or maybe
  // not) and you have no idea what some of the typedefs stand for
  type_i_am_having_trouble_with b;

  // Use this to find out what the typedefs stand for
  incomplete<type_i_am_having_trouble_with::value_type> test; 
}

Visual C++ 2008 的输出:

error C2079: 'test' uses undefined struct 'incomplete<T>'
1>        with
1>        [
1>            T=float
1>        ]

Answer 1

有一些技巧可以让编译器向您显示 typedef 的实际类型。一种是尝试实例化一个不完整的类型。

template<typename>
struct Printer;

typedef std::vector<int> foobartype;
Printer<foobartype> printer;

还有boost::mpl::print这实际上可以发出警告而不是出错。

所有这些技术都必须在类型名称实际可访问的地方使用，因此您最终将不得不“跟踪”代码。

遗憾的是，调试模板代码几乎是一门魔法，通常您必须使用编译器并在脑海中实例化一些东西才能解决问题。