返回值优化,是一种属于编译器的技术,它通过转换源代码和对象的创建来加快源代码的执行速度。RVO = return value optimization。
测试平台:STM32F103VG + Keil 5.15 背景: 我们有个MacAddress::ToArray
byte* MacAddress::ToArray() const{ return (byte*)&Value;}
因为封装需要,打算返回字节数组类ByteArray的对象,于是有
ByteArray MacAddress::ToArray() const{ return ByteArray((byte*)&Value, 6);}
调用代码
ByteArray bs = mac.ToArray();bs.CopyTo(General_reg.SHAR);
按照我浅薄的C++知识理解,在ToArray内return 的时候,会产生一次对象拷贝,到临时对象。
然后在调用者那里的等号,产生一次拷贝构造。 实际上,编译烧写调试,查看反汇编358: ByteArray bs = mac.ToArray(); 0x0800595C 4629 MOV r1,r50x0800595E A804 ADD r0,sp,#0x100x08005960 F000FE92 BL.W MacAddress::ToArray (0x08006688) 359: bs.CopyTo(General_reg.SHAR); 360: 0x08005964 2300 MOVS r3,#0x000x08005966 461A MOV r2,r30x08005968 F1040109 ADD r1,r4,#0x090x0800596C A804 ADD r0,sp,#0x100x0800596E F002FB8F BL.W Array::CopyTo (0x08008090)
直接分配内存,传入ToArray使用。ToArray之后,并没有见到所猜想的第二次拷贝构造。
下面看看ToArray的反汇编0x08006688 B570 PUSH {r4-r6,lr}0x0800668A 4605 MOV r5,r00x0800668C 460C MOV r4,r1 481: return ByteArray((byte*)&Value, 6); 0x0800668E 2206 MOVS r2,#0x060x08006690 F1040108 ADD r1,r4,#0x080x08006694 4628 MOV r0,r50x08006696 F7FFFDEB BL.W _ZN9ByteArrayC2EPKhi (0x08006270)0x0800669A 4605 MOV r5,r0 482: } 0x0800669C BD70 POP {r4-r6,pc}
天哪!这里面只有一次构造函数,并不是猜想的那样,先构造本地变量,然后return再拷贝。
并且,这个构造函数的内存地址,正是外部传进去的那一个。 这个就是C++的RVO,返回值优化技术,没想到MDK也支持。 这个技能的获取,让我C++水平从30%提升到40%