声明抽象class(纯虚方法)大大增加二进制大小
Declaring abstract class (pure virtual method) increase binary size substantially
故事是这样的:
我正在使用 AC6 Toolpack 在 Linux 中为 ARM Cortex-M0 处理器开发 C++ 软件。在我使用 Keil(在 windows)(拥有自己的工具链)之前,我已经迁移到 GNU 工具链((GNU Tools for ARM Embedded Processors)5.2.1)。我意识到的第一件事是;二进制文件大小大幅增加。 我测试了每个编译器优化(除了link时间优化,它在内联汇编中给出错误,不是问题的一部分但可能与答案有关)。然后开始检查使用任何可用工具的可执行文件(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 和我提到的符号。 这是源代码中唯一的变化。存在基 class 中的空定义。请注意:方法仍然是虚拟的并且在子 classes
中被覆盖
没有摘要的大小输出Class:
text data bss dec hex filename
15316 24 4764 20104 4e88 temc_discovery.elf
带摘要的大小输出 Class:
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
禁用异常,所以我没有给它任何东西。原来在这里提这个和回答的这么好有关。
更新二:
This is the most comprehensive website 解释这一切,如果你在答案中跟踪 links。
据我所知,当你在 base class pure 中创建虚函数时,你就有可能进行纯虚调用。因此,编译器生成代码,在其中打印有关纯虚拟调用事实的消息、函数的 demangled 名称和 class,可能还有其他内容。它为此向您的二进制文件添加了一堆函数,因此大小增加了。
我建议向您的纯虚函数添加空实现 - 可能会阻止编译器执行该操作。
这几乎可以肯定是因为意外包含了异常处理,libc++ 内置了异常处理,无论您是否使用 --noexception
或任何正确的 gnu-ism 编译代码。
有问题的异常可能是 'pure virtual function call' 或类似的东西(一个相当模糊的运行时错误,但如果您在基础 class 构造函数中调用虚函数,则可能发生)。
答案是提供您自己的空实现、atexit() 以及您并不真正需要的任何随机标注。一旦这样做,链接器就不会拖入其他内容(拖入其他内容,拖入其他内容,等等)。
void __cxa_pure_virtual(void)
{
BKPT();
}
这是我在我们的项目中所拥有的,尽管在您的 libc++ 版本中可能发生了变化
故事是这样的:
我正在使用 AC6 Toolpack 在 Linux 中为 ARM Cortex-M0 处理器开发 C++ 软件。在我使用 Keil(在 windows)(拥有自己的工具链)之前,我已经迁移到 GNU 工具链((GNU Tools for ARM Embedded Processors)5.2.1)。我意识到的第一件事是;二进制文件大小大幅增加。 我测试了每个编译器优化(除了link时间优化,它在内联汇编中给出错误,不是问题的一部分但可能与答案有关)。然后开始检查使用任何可用工具的可执行文件(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 和我提到的符号。 这是源代码中唯一的变化。存在基 class 中的空定义。请注意:方法仍然是虚拟的并且在子 classes
中被覆盖没有摘要的大小输出Class:
text data bss dec hex filename
15316 24 4764 20104 4e88 temc_discovery.elf
带摘要的大小输出 Class:
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
禁用异常,所以我没有给它任何东西。原来在这里提这个和回答的这么好有关。
更新二: This is the most comprehensive website 解释这一切,如果你在答案中跟踪 links。
据我所知,当你在 base class pure 中创建虚函数时,你就有可能进行纯虚调用。因此,编译器生成代码,在其中打印有关纯虚拟调用事实的消息、函数的 demangled 名称和 class,可能还有其他内容。它为此向您的二进制文件添加了一堆函数,因此大小增加了。
我建议向您的纯虚函数添加空实现 - 可能会阻止编译器执行该操作。
这几乎可以肯定是因为意外包含了异常处理,libc++ 内置了异常处理,无论您是否使用 --noexception
或任何正确的 gnu-ism 编译代码。
有问题的异常可能是 'pure virtual function call' 或类似的东西(一个相当模糊的运行时错误,但如果您在基础 class 构造函数中调用虚函数,则可能发生)。
答案是提供您自己的空实现、atexit() 以及您并不真正需要的任何随机标注。一旦这样做,链接器就不会拖入其他内容(拖入其他内容,拖入其他内容,等等)。
void __cxa_pure_virtual(void)
{
BKPT();
}
这是我在我们的项目中所拥有的,尽管在您的 libc++ 版本中可能发生了变化