检查 C++ 模板实例化

Question

是否有一些实用程序可以让我检查模板实例化？ 我的编译器是 g++ 或 Intel。

我想要的具体点：

• 逐步实例化。
• 实例化回溯（可以通过使编译器崩溃来破解此问题。更好的方法？）
• 模板参数检查。

@gf 帮助我进行了简单的类型打印，C++ template name pretty print。

但是我正在进入 boost phoenix 和模板级别，很难理解发生了什么，我想要智能解决方案

另外，如果您有一些检查模板实例化的技术，请分享一下。

谢谢

Answer 1

对于模板，我们根本没有干净的输出工具，而且我知道没有编译器可以让您直接查看模板实例。我发现最接近元程序调试的是a paper on Templight。

目前最好的实用程序似乎是：

• static asserts & concept checks（明确断言你的假设）
• 提到的实例化回溯（例如通过使用静态断言）
• 让实例化产生警告（boost::mpl::print 可能会这样做）
• 跟踪器，作为模板参数传递并用于发出运行时输出的自定义类（由C++ Templates - The Complete Guide 引入）