c++ - 检查 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 引入)