声明抽象类(纯虚方法)会大幅增加二进制大小

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.我发现一些符号导致尺寸增加,重要的是:' d_print_comp_inner',' d_exprlist',' d_template_args'.但不知道是什么导致这些函数出现在二进制文件中.(我使用过最小的库: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

抽象类的大小输出:

   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,flush,malloc,fputs等)在源代码中甚至没有提到.

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

更新: 我已经禁用带有标志的异常--noexception,所以我没有给出任何异常.事实证明,这与答案有关,这里提到这一点很好.

更新2: 如果您跟踪答案中的链接,这是解释所有内容的最全面的网站.

Answer 1

这几乎可以肯定是因为意外包含了libc ++内置的异常处理,无论你是否使用--noexception适当的gnu-ism 编译你的代码.

有问题的例外可能是"纯虚函数调用"或类似的东西(要获取相当模糊的运行时错误,但如果在基类构造函数中调用虚函数则可能).

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

void __cxa_pure_virtual(void) 
{ 
    BKPT();
}

我的项目是什么,虽然你的libc ++版本可能已经改变了