有没有办法知道编译器在 C++ 中为模板函数或类实例化代码
假设我有以下代码
template < class T> T add(T a, T b){
return a+b;
}
现在当我打电话时
add<int>(10,2);
我想知道编译器为 int 特定版本创建的函数。
我正在使用 G++、VC++。如果有人能帮我指出实现这一点的编译器选项，那将会很有帮助。
希望问题很清楚。提前致谢。
【问题讨论】：
g++ -S。
标签： c++
Clang (https://clang.llvm.org/) 可以漂亮地打印实例化模板的 AST：
你的例子：
test.cpp
template < class T> T add(T a, T b){
return a+b;
}
void tmp() {
add<int>(10,2);
}
漂亮打印 AST 的命令：
$ clang++ -Xclang -ast-print -fsyntax-only test.cpp
Clang-5.0 输出：
template <class T> T add(T a, T b) {
return a + b;
}
template<> int add<int>(int a, int b) {
return a + b;
}
void tmp() {
add<int>(10, 2);
}
【讨论】：
如果你想查看汇编输出，使用这个：
g++ -S file.cpp
如果你想查看 GCC 生成的一些（伪）C++ 代码，你可以使用这个：
g++ -fdump-tree-original file.cpp
对于您的 add 函数，这将输出类似
;; Function T add(const T&, const T&) [with T = int] (null)
;; enabled by -tree-original
return <retval> = (int) *l + (int) *r;
（我通过引用传递参数以使输出更有趣）
【讨论】：
你绝对可以看到g++使用“-S”选项生成的汇编代码。
我认为不可能显示“C++”等效模板代码 - 但我仍然希望 g++ 开发人员解释为什么 - 我不知道 gcc 的体系结构。
使用汇编时，您可以查看生成的代码，寻找与您的函数相似的部分。由于运行 gcc -S -O1 {yourcode.cpp}，我得到了这个（AMD64，gcc 4.4.4）
_Z3addIiET_S0_S0_:
.LFB2:
.cfi_startproc
.cfi_personality 0x3,__gxx_personality_v0
leal (%rsi,%rdi), %eax
ret
.cfi_endproc
这实际上只是一个 int 加法（leal）。
现在，如何解码 c++ name mangler？有一个名为 c++filt 的实用程序，您粘贴规范（C 等效）名称，您将获得解组后的 c++ 等效项
qdot@nightfly /dev/shm $ c++filt
_Z3addIiET_S0_S0_
int add<int>(int, int)
【讨论】：
现在有一个在线工具可以为您执行此操作：https://cppinsights.io/ 例如，此代码
template<class X, class Y> auto add(X x, Y y) {
return x + y;
}
int main()
{
return add(10, 2.5);
}
被翻译成
template<class X, class Y> auto add(X x, Y y) {
return x + y;
}
/* First instantiated from: insights.cpp:9 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
double add<int, double>(int x, double y)
{
return static_cast<double>(x) + y;
}
#endif
int main()
{
return static_cast<int>(add(10, 2.5));
}
【讨论】：
for 循环之类的“原始”版本。非常令人兴奋！
当优化器完成它的工作时，你很可能没有任何看起来像函数调用的东西了。在您的具体示例中，您肯定会得到一个内联加法，更糟的是。除此之外，您始终可以在编译期间在单独的文件中发出生成的汇编程序，这就是您的答案。
【讨论】：
最简单的方法是检查生成的程序集。您可以通过使用 g++ 的 -S 标志来获取程序集源。
【讨论】：
如果您正在寻找等效的 C++ 代码，那么没有。编译器从不生成它。编译器直接生成它的中间表示比先生成 c++ 要快得多。
【讨论】：
我认为c++ Insights 是你想要的。
【讨论】：