有一个非常小的项目:
func2.cpp:
#include <iostream>
void myfunc2()
{
std::cout << "Func2 called" << std::endl;
}
func.cpp:
#include <iostream>
#include "func.h"
void myfunc()
{
std::cout << "Hallo func " << std::endl;
}
main.cpp:
#include "func.h"
#include "func2.h"
int main()
{
//myfunc(); // intentionally moved away!
//myfunc2();
}
.h文件仅具有所需功能的定义。
Makefile:
all: go
%.o: %.cpp
g++ -O3 -fdata-sections -ffunction-sections $< -c
go: main.o func.h func.o func2.o func2.h
g++ -fdata-sections -ffunction-sections main.o func.o func2.o -o go -Wl,--gc-sections
如果我对生成的可执行文件不满意,则会得到两个不需要的功能:
0000000000400560 <_GLOBAL__sub_I__Z6myfuncv>:
400560: 48 83 ec 08 sub $0x8,%rsp
400564: bf 31 10 60 00 mov $0x601031,%edi
400569: e8 c2 ff ff ff callq 400530 <std::ios_base::Init::Init()@plt>
40056e: ba 30 07 40 00 mov $0x400730,%edx
400573: be 31 10 60 00 mov $0x601031,%esi
400578: bf 40 05 40 00 mov $0x400540,%edi
40057d: 48 83 c4 08 add $0x8,%rsp
400581: e9 9a ff ff ff jmpq 400520 <__cxa_atexit@plt>
400586: 66 2e 0f 1f 84 00 00 nopw %cs:0x0(%rax,%rax,1)
40058d: 00 00 00
0000000000400590 <_GLOBAL__sub_I__Z7myfunc2v>:
400590: 48 83 ec 08 sub $0x8,%rsp
400594: bf 32 10 60 00 mov $0x601032,%edi
400599: e8 92 ff ff ff callq 400530 <std::ios_base::Init::Init()@plt>
40059e: ba 30 07 40 00 mov $0x400730,%edx
4005a3: be 32 10 60 00 mov $0x601032,%esi
4005a8: bf 40 05 40 00 mov $0x400540,%edi
4005ad: 48 83 c4 08 add $0x8,%rsp
4005b1: e9 6a ff ff ff jmpq 400520 <__cxa_atexit@plt>
4005b6: 66 2e 0f 1f 84 00 00 nopw %cs:0x0(%rax,%rax,1)
4005bd: 00 00 00
看起来每个需要iostream对象的文件都会生成一个在初始化期间调用的函数。该部分和生成的函数从该文件中第一个定义的函数获取名称。
如果我不使用该函数,并且该函数未在最终可执行文件中链接,则这些_GLOBAL__sub_I__xxxx
函数仍然存在。如何删除它们?
在我看来,像cout
这样的iostream对象的每个用户都会生成一个附加的初始化函数,这对我来说似乎很神秘。有什么技巧可以摆脱它吗?我觉得每个可执行文件只需要一次,但是我看到过多次。一般如何避免呢?
答案 0 :(得分:3)
罪魁祸首是std::ios_base::Init::Init()
构造函数,该构造函数从每个包含<iostream>
的源文件中调用。该调用保证流在首次使用之前已正确初始化。
由于"static initialization order fiasco",这种初始化必须存在于可能使用流的所有文件中,因为我们不知道不同源文件之间的初始化顺序。