检查C++模板实例化

Question

有没有一些工具可以让我检查模板实例化？我的编译器是g++或Intel。

我想要的具体点：

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

@gf帮助我简单地打印类型，C++模板名称漂亮打印。

然而，我正在接触boost phoenix和模板级别，这使得很难理解正在发生什么，我想要一个智能的解决方案。

此外，如果您有一些检查模板实例化的技巧，可以分享吗？

谢谢

- Anycorn

Answer 1

使用模板时，我们很难获得干净的输出方式，并且我所知道的编译器都不允许您直接查看模板实例化。关于元编程调试，我找到的最接近的是Templight论文。

目前，最好的工具似乎是：

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

- Georg Fritzsche

---

好的，我想你是指mpl::print。我在你提供的论文中找到了它。 - Anycorn

补充一下：有一个实现可用。 - Nobody moving away from SE