声明抽象类(纯虚拟方法)大大增加了二进制大小。

Question

下面是一个故事:我正在用C++工具包在Linux下为ARM Cortex-M0处理器开发AC6软件。在我使用Keil之前(在windows中)(谁有自己的工具链)，我已经迁移到GNU-toolchain ((用于ARM嵌入式处理器的GNU工具) 5.2.1)。我认识到的第一件事是:二进制文件的大小大大增加了。I测试了每个编译器优化(除了链接时间优化，它在内联程序集中给出了一个错误，这不是问题的一部分，但可能与答案有关)。然后，开始使用任何可用的工具检查可执行文件(elf文件不是bin，gnu生成两者) :objdump，read亲自，nm。我发现了一些导致尺寸增加的符号，重要的是：'d_print_comp_inner‘，'d_exprlist'，'d_template_args’。但是不知道是什么导致这些函数以二进制形式出现的。(我使用过最小库: 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

使用抽象类的大小输出：

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

在这里，当方法是抽象的时候，符号和它们的大小，消除了那些出现在两个版本中的符号。(使用nm工具。不完整的列表，大小为>=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，刷新，malloc，fput等)甚至在源代码中都没有提到。

有谁知道是什么导致了这种行为？

更新：I已经禁用了标志--noexception的异常，所以我没有给出任何提示。事实证明，在这里提及这一点与答案是相关的。

更新2:如果您跟踪答案中的链接， 这是最全面的网站。将解释这一切。

Answer 1

这几乎可以肯定是因为意外地包含了异常处理，而libc++已经将异常处理内置到其中，而不管您是否使用--noexception编译代码，或者任何正确的gnu-ism。

问题中的例外情况可能是“纯粹的虚拟函数调用”或类似的东西(这是一个相当晦涩的运行时错误，但如果在基类构造函数中调用虚拟函数，则是可能的)。

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

void __cxa_pure_virtual(void) 
{ 
    BKPT();
}

这就是我在我们的项目中所拥有的，尽管在您的libc++版本中可能发生了变化。

Answer 2

据我所知，当您将基类中的虚拟函数变为纯函数时，您就创建了进行纯虚拟调用的潜力。因此，编译器会生成代码，其中它会打印关于纯虚拟调用事实的消息，函数和类的不确定名称，并且可能是其他的东西。为此，它向二进制文件中添加了一组函数，因此大小会增加。

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