(编者注：原始版本过于宽泛,并且首先对装配和结构的工作方式产生了一些困惑.)
解决方法
结构存储为连续的存储器块(if the compiler doesn’t optimize it away or keep the member values in registers).在结构对象中,其元素的地址按成员的定义顺序增加. (来源：http://en.cppreference.com/w/c/language/struct).我链接了C定义,因为在C struct中意味着类(使用public：作为默认值而不是私有:).
将结构或类视为一个字节块,可能太大而无法放入寄存器,但会被复制为“值”.汇编语言没有类型系统;内存中的字节只是字节,它不需要任何特殊指令来存储来自浮点寄存器的double并将其重新加载到整数寄存器中.或者做一个未对齐的加载并得到1 int的最后3个字节和下一个的第一个字节.结构只是在内存块之上构建C类型系统的一部分,因为内存块很有用.
这些字节块可以具有静态(全局或静态),动态(malloc或new)或自动存储(本地变量：临时在堆栈上或寄存器中,在普通cpu上的正常C/C++实现中).块中的布局是相同的(除非编译器优化了struct局部变量的实际内存;请参阅下面的内联返回结构的函数的示例.)
结构或类与任何其他对象相同.在C和C术语中,即使int也是一个对象：http://en.cppreference.com/w/c/language/object.即一个连续的字节块,你可以记忆(除了C中的非POD类型).
您正在编译的系统的ABI规则指定插入填充的时间和位置,以确保每个成员具有足够的对齐,即使您执行类似struct {char a; int b; }; (例如,在Linux和其他非Windows系统上使用的the x86-64 System V ABI指定int是32位类型,在内存中获得4字节对齐.ABI是指C和C标准留下的一些东西“实现依赖“,以便该ABI的所有编译器都可以生成可以调用彼此函数的代码.”
请注意,您可以使用offsetof(struct_name,member)来了解结构布局(在C11和C 11中).另见C 11中的alignof或C11中的_Alignof.
程序员可以很好地命令struct成员避免在填充上浪费空间,因为C规则不允许编译器为你排序结构. (例如,如果你有一些char成员,将它们放在至少4个组中,而不是与更宽的成员交替.从大到小的排序是一个简单的规则,记住指针在公共平台上可能是64位或32位.)
ABIs等的更多细节可以在https://stackoverflow.com/tags/x86/info找到.Agner Fog的excellent site包括ABI指南以及优化指南.
类(带成员函数)
class foo {
int m_a;
int m_b;
void inc_a(void){ m_a++; }
int inc_b(void);
};
int foo::inc_b(void) { return m_b++; }
compiles to(使用http://gcc.godbolt.org/)：
foo::inc_b(): # args: this in RDI
mov eax,DWORD PTR [rdi+4] # eax = this->m_b
lea edx,[rax+1] # edx = eax+1
mov DWORD PTR [rdi+4],edx # this->m_b = edx
ret
如您所见,this指针作为隐式的第一个参数传递(在rdi中,在SysV AMD64 ABI中). m_b存储在struct / class开头的4个字节处.注意巧妙地使用lea来实现后增量运算符,将旧值保留在eax中.
没有发出inc_a的代码,因为它是在类声明中定义的.它被视为内联非成员函数.如果它真的很大并且编译器决定不内联它,它可以发出它的独立版本.
C对象与C结构确实不同的地方是涉及虚拟成员函数时.对象的每个副本都必须携带一个额外的指针(对于其实际类型的vtable).
class foo {
public:
int m_a;
int m_b;
void inc_a(void){ m_a++; }
void inc_b(void);
virtual void inc_v(void);
};
void foo::inc_b(void) { m_b++; }
class bar: public foo {
public:
virtual void inc_v(void); // overrides foo::inc_v even for users that access it through a pointer to class foo
};
void foo::inc_v(void) { m_b++; }
void bar::inc_v(void) { m_a++; }
; This time I made the functions return void,so the asm is simpler ; The in-memory layout of the class is Now: ; vtable ptr (8B) ; m_a (4B) ; m_b (4B) foo::inc_v(): add DWORD PTR [rdi+12],1 # this_2(D)->m_b,ret bar::inc_v(): add DWORD PTR [rdi+8],1 # this_2(D)->D.2657.m_a,ret # if you uncheck the hide-directives Box,you'll see .globl foo::inc_b() .set foo::inc_b(),foo::inc_v() # since inc_b has the same deFinition as foo's inc_v,so gcc saves space by making one an alias for the other. # you can also see the directives that define the data that goes in the vtables
有趣的事实：添加m32,在大多数Intel cpu上,imm8比inc m32更快(负载ALU的微融合uop);旧的Pentium4建议避免使用的罕见情况之一仍然适用. gcc总是避免使用inc,即使它会节省代码大小而没有缺点：/ INC instruction vs ADD 1: Does it matter?
虚函数调度：
void caller(foo *p){
p->inc_v();
}
mov rax,QWORD PTR [rdi] # p_2(D)->_vptr.foo,p_2(D)->_vptr.foo
jmp [QWORD PTR [rax]] # *_3
mov将vtable地址从对象加载到寄存器中. jmp是内存间接跳转,即从内存加载新的RIP值.跳转目标地址是vtable [0],即vtable中的第一个函数指针.如果有另一个虚函数,mov不会改变,但jmp会使用jmp [rax 8].
vtable中的条目顺序可能与类中声明的顺序相匹配,因此在一个转换单元中重新排序类声明将导致虚函数转到错误的目标.就像重新排序数据成员一样,会改变类的ABI.
如果编译器有更多信息,它可以使调用虚拟化.例如如果它可以证明foo *总是指向一个bar对象,它可以内联bar :: inc_v().
GCC甚至会在编译时弄清楚类型可能是什么时进行推测性虚拟化.在上面的代码中,编译器看不到任何继承自bar的类,因此bar *指向bar对象而不是某些派生类是一个很好的选择.
void caller_bar(bar *p){
p->inc_v();
}
# gcc5.5 -O3
caller_bar(bar*):
mov rax,QWORD PTR [rdi] # load vtable pointer
mov rax,QWORD PTR [rax] # load target function address
cmp rax,OFFSET FLAT:bar::inc_v() # check it
jne .L6 #,add DWORD PTR [rdi+8],1 # inlined version of bar::inc_v()
ret
.L6:
jmp rax # otherwise tailcall the derived class's function
请记住,foo *实际上可以指向派生的bar对象,但不允许bar *指向纯foo对象.
这只是一个赌注;虚函数的一部分是可以扩展类型而无需重新编译在基类型上运行的所有代码.这就是为什么它必须比较函数指针并回退到间接调用(在这种情况下为jmp tailcall),如果它是错误的.编译器启发式方法决定何时尝试它.
请注意,它正在检查实际的函数指针,而不是比较vtable指针.只要派生类型没有覆盖该虚函数,它仍然可以使用内联bar :: inc_v().覆盖其他虚拟函数不会影响这个函数,但需要不同的vtable.
允许扩展而无需重新编译对于库来说很方便,但也意味着大程序各部分之间的松散耦合(即,您不必在每个文件中包含所有头文件).
但这会为某些用途带来一些效率成本：C虚拟调度只能通过指向对象的指针来工作,因此您不能拥有没有黑客的多态数组,也不能通过指针数组进行昂贵的间接调整(这会破坏许多硬件和软件优化) ：Fastest implementation of simple,virtual,observer-sort of,pattern in c++?).
如果你想要某种类型的多态/分派,但只需要一组封闭的类型(即在编译时都知道),你可以用union + enum + switch手动完成,或者用std :: variant< D1,D2>制作一个union和std :: visit to dispatch,或其他各种方式.另见Contiguous storage of polymorphic types和Fastest implementation of simple,pattern in c++?.
对象并不总是存储在内存中.
使用结构不会强制编译器实际将内容放入内存,不只是小数组或指向局部变量的指针.例如,按值返回结构的内联函数仍然可以完全优化.
as-if规则适用：即使结构在逻辑上具有一些内存存储,编译器也可以使asm将所有需要的成员保存在寄存器中(并进行转换,这意味着寄存器中的值不对应于变量的任何值)或临时在C抽象机中“运行”源代码).
struct pair {
int m_a;
int m_b;
};
pair addsub(int a,int b) {
return {a+b,a-b};
}
int foo(int a,int b) {
pair ab = addsub(a,b);
return ab.m_a * ab.m_b;
}
# The non-inline deFinition which actually returns a struct addsub(int,int): lea edx,[rdi+rsi] # add result mov eax,edi sub eax,esi # sub result # then pack both struct members into a 64-bit register,as required by the x86-64 SysV ABI sal rax,32 or rax,rdx ret # But when inlining,it optimizes away foo(int,int): lea eax,[rdi+rsi] # a+b sub edi,esi # a-b imul eax,edi # (a+b) * (a-b) ret
请注意,即使按值返回结构也不一定会将其放入内存中. x86-64 SysV ABI传递并返回打包在一起的小结构.不同的ABI为此做出了不同的选择.
原文地址：https://www.jb51.cc/c/116636.html
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
