检查C ++模板实例化

Question

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

我想要的具体要点：

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

@gf通过简单打印C++ template name pretty print帮助我。

然而，我正在进入提升凤凰和模板级别使得很难理解发生了什么，我想要智能解决方案

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

谢谢

Answer 1

使用模板我们根本没有干净的输出设施，而且我知道没有允许您直接查看模板实例的编译器。我发现最接近元节目调试的是a paper on Templight。

目前最好的公用事业似乎是：

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