如何在编译时调试模板参数？

Question

我有一段代码，几乎减少到：

template<class T> struct MyStruct;  // No definition by default
template<class T> struct MyStruct<T *> { ... };  // Specialization for pointers

现在在我的代码中的某个地方 ，我得到了一个MyStruct<T>的实例化，它恰好是未定义的（没有C ++ 0x / 011，没有Boost ......没什么特别的，只是普通的C ++ 03）：

error C2027: use of undefined type 'MyStruct<T>'

麻烦的是， 我不知道在哪里 ，这是所引起 ，因为这是做实例代码本身就是一个模板，从许多地方调用，使用不同的参数。

有没有办法以某种方式弄清楚T在编译时是什么 ，所以我能更好地理解错误信息？

（对不起，我忘了提及：Visual Studio 2008.）

Answer 1

我相信你正在使用MSVC ++，如果是这样，然后看到输出窗口，它可能会打印更多信息，特别是行号和文件名。 一旦知道文件和行号，就可以从那里开始。

输出窗口通常打印所有内容，例如如何以及使用什么模板参数，模板实例化。 一切都在循序渐进。 调试时这些消息非常有用。

正如您自己发现的那样，启用/ WL会在输出窗口中打印更多详细信息。

Answer 2

我知道你说没有C ++ 11，但你可能要考虑，因为C ++ 03代码在所有符合C ++ 11的编译器中向后兼容，要使用C ++ 11的static_assert特性来调试你的代码。 ..如果必须使用C ++ 03编译器进行最终编译，那么您始终可以创建#define并使用#ifdef和#endif预处理器宏来确保static_assert功能不会导致早期出现问题不支持C ++ 11功能的编译器。

有关详细信息，请参阅此处的MSDN文档 。