1

我目前正在对 STL 进行一些研究,尤其是在调试期间打印 STL 内容。我知道有很多不同的方法。

像:

我目前正在寻找的是,为什么 g++ 会删除未使用的函数,例如我有以下代码并使用编译设置g++ -g main.cpp -o main.o

include <vector>
include <iostream>
using namespace std;
int main() {
    std::vector<int> vec;
    vec.push_back(10);
    vec.push_back(20);
    vec.push_back(30);

    return;
}

所以当我调试这段代码时,我会发现我不能使用print vec.front(). 我收到的消息是:

Cannot evaluate function -- may be inlined

因此我尝试使用该设置-fkeep-inline-functions,但没有更改。

当我使用时nm main.o | grep front,我看到该方法没有行条目.front()。再次做同样的事情,但是vec.front()在我的代码中有一个额外的条目,我可以使用print vec.front(),并nm main.o | grep front在我看到条目的地方使用

0000000000401834 W _ZNSt6vectorIiSaIiEE5frontEv

有人可以解释一下我如何将所有函数保留在我的代码中而不会丢失它们。我认为,只要我不设置优化设置或执行以下操作,死函数就不会被删除。

为什么需要它:当前的 Python 实现使用内部 STL 实现来打印容器的内容,但使用 ISO/IEC 14882 定义的函数会更有趣。我知道可以编写共享库,可以在调试之前将其编译为您的实际代码,以保持您拥有所有 STL 功能,但谁想在调试之前为其代码编译一个额外的库。知道这两种方法(共享库和 Python)是否有一些优点和缺点也会很有趣?

4

2 回答 2

4

究竟什么是死函数,它不是在我的源代码中可用但未使用的函数吗?

有两种情况需要考虑:

int unused_function() { return 42; }
int main() { return 0; }

如果你编译上面的程序,unused_function它就死了——永远不会被调用。但是,它仍然会出现在最终的可执行文件中(即使经过优化 [1])。

现在考虑一下:

template <typename T> int unused_function(T*) { return 42; }
int main() { return 0; }

在这种情况下,即使您关闭所有优化,unused_function不会出现。

为什么?因为模板不是“真正的”功能。它是一个原型,编译器可以从中创建“真正的”函数(称为“模板实例化”)——每种类型一个T。由于您从未使用过unused_function,因此编译器没有创建它的任何“真实”实例。

您可以使用 请求编译器显式实例化给定类中的所有explicit instantiation request函数,如下所示:

#include <vector>
template class std::vector<int>;

int main() { return 0; }

现在,即使没有使用任何vector函数,它们都被实例化为最终的二进制文件。

[1] 如果您使用的是 GNU ld(或),在这种情况下,您仍然可以通过编译和链接gold来摆脱.unused_function-ffunction-sections-Wl,--gc-sections

于 2012-06-09T14:23:57.613 回答
0

感谢您的回答。再说一遍,模板函数不会由 gcc 启动,因为它们是原型。只有在使用该功能或​​它被显式启动时,它才会在我的可执行文件中可用。

所以我们之前提到的是:

  • 函数定义 int usedFunc() { return 10; }
  • 函数原型 int protypeFunc(); (只是为了打破它)

内联函数时会发生什么?我一直认为,该函数将被插入到我的源代码中,但现在我读到,编译器通常会自行决定要做什么。(听起来很奇怪,因为它们必须是规则)。例如,您是否使用关键字inline并不重要。

inline int inlineFunc() { return 10; }

我的一个朋友也告诉我,他无法访问函数的地址,尽管他没有使用内联。有没有我忘记的函数类型?他还告诉我,它们应该是对象数据格式内部的差异。

@edit - 忘记了:

  • 嵌套函数
  • 函数指针
  • 重载函数
于 2012-06-14T16:47:35.837 回答