Question

以下是故事：我正在使用AC6 Toolpack为Linux中的ARM Cortex-M0处理器开发C ++软件。在我使用Keil（在windows中）（拥有自己的工具链）之前，我已经迁移到GNU-toolchain（（GNU Tools for ARM Embedded Processors）5.2.1）。我意识到的第一件事是;二进制文件大小大幅增加。 我测试了每个编译器优化（链接时间优化除外，它在内联汇编时出错，不是问题的一部分，但可能与答案有关）。然后开始检查可执行文件（elf文件不是bin， gnu使用任何可用工具生成两者：objdump，readelf，nm。我发现了一些导致尺寸增加的符号，重要的是：＆＃39; d_print_comp_inner＆＃39; ，＆＃39; d_exprlist＆＃39;，＆＃39; d_template_args＆＃39;。但不知道是什么导致这些函数出现在二进制文件中。（我使用过最小的库：nano newlib）。长话短说我开始逐一消除代码以找到罪魁祸首。最后是抽象方法声明！

将功能定义为

virtual Return_type function_name(...)=0;

而不是

 virtual Return_type function_name(...);

添加45 KB和我提到的符号。 这是源代码中唯一的变化。存在基类中的空定义。请注意：方法仍然是虚拟的，并在子类中重写

没有抽象类的大小输出：

   text    data     bss     dec     hex filename
  15316      24    4764   20104    4e88 temc_discovery.elf

使用Abstract Class输出大小：

   text    data     bss     dec     hex filename
  61484     128    4796   66408   10368 temc_discovery.elf

这里的方法是抽象的符号和他们的大小，消除了两个版本中出现的符号和他们的大小。（nm工具使用。不完整列表，大小＆gt; = 0x60）

00002de4  t d_print_comp_inner
00001a34  t d_exprlist
00000ca4  t d_template_args
00000678  t d_type
00000574  t d_print_mod
000003f8  t d_encoding
000003e0  r cplus_demangle_operators
000003c8  t d_expression_1
000003a8  t d_name
00000354  t d_demangle_callback.constprop.15
000002e0  t d_print_mod_list
00000294  r cplus_demangle_builtin_types
00000268  t d_unqualified_name
00000244  T _printf_i
00000238  t d_print_function_type.isra.11
000001fc  T _svfprintf_r
000001fc  T _svfiprintf_r
000001f4  t d_print_array_type.isra.10
000001ce  t d_print_cast.isra.12
0000018c  t d_substitution
00000110  t d_operator_name
0000010c  T __sflush_r
000000e8  T __swsetup_r
000000e6  t d_cv_qualifiers
000000e0  t d_print_subexpr
000000e0  t d_expr_primary
000000dc  T _printf_common
000000cc  T __cxa_demangle
000000c8  t d_source_name
000000c4  r standard_subs
000000c4  T __ssputs_r
000000b0  T __swbuf_r
000000ac  T _malloc_r
000000a8  T _fputs_r
000000a4  T __smakebuf_r
000000a0  T __gnu_cxx::__verbose_terminate_handler()
00000096  t d_print_expr_op
0000008c  T _free_r
0000008c  t d_parmlist
0000008a  t d_growable_string_callback_adapter
0000007c  T __sfp
00000072  t d_append_buffer
00000068  T __sinit
00000060  d impure_data

源代码中甚至没有提到我熟悉的一些名称（例如printf，flush，malloc，fputs等）。

任何人都知道造成这种行为的原因是什么？

更新我已经使用标记--noexception禁用了异常，因此我还没有给出任何异常。事实证明，这与答案很有关，在这里提到这一点。

更新2： This is the most comprehensive website解释一切，如果你跟踪答案中的链接。

Answer 1

几乎可以肯定，因为意外包含了libc ++内置的异常处理，无论你是否使用--noexception或任何正确的gnu-ism编译代码。

有问题的异常可能是“纯虚函数调用”或类似的东西（要获取相当模糊的运行时错误，但如果在基类构造函数中调用虚函数则可能）。

答案是提供你自己的空实现，atexit（），以及你真正不需要的任何随机标注。一旦你这样做，链接器就不会拖入其他东西（拖入其他东西，拖入其他东西等）。

void __cxa_pure_virtual(void) 
{ 
    BKPT();
}

我的项目有什么，虽然你的libc ++版本中的内容可能已经改变了

Answer 2

据我所知，当您在基类 pure 中创建虚拟函数时，您可以创建纯虚拟调用的潜力。因此编译器生成代码，其中它打印关于纯虚拟调用事实的消息，函数和类的demangled名称，并且可能是其他的。它为你的二进制文件添加了许多函数，因此大小增加了。

我建议在您的纯虚函数中添加空实现 - 可能会阻止编译器执行这些操作。

声明抽象类（纯虚方法）会大大增加二进制大小

2 个答案: