#include <iostream>
class A {
public:
A (){
std::cout << "construction!" << std::endl;
}
A (const A&) {
std::cout << "copy construction!" << std::endl;
}
A (A&&) {
std::cout << "move construction!" << std::endl;
}
A& operator=(A&&) {
std::cout << "move copy operator!" << std::endl;
return *this;
}
~A() = default;
};
A makeA () {
return A();
}
void func (A&& a) {
std::cout << "func(A&&)" << std::endl;
}
void func (const A& a) {
std::cout << "func(const A&)" << std::endl;
}
// void func (A a) {
// std::cout << "func(A)" << std::endl;
// }
int main () {
A a(makeA());
// A a(std::move(makeA()));
//func(makeA());
//func(std::move(makeA()));
return 0;
}
// 打印结果为:construction!
现在的问题是 A a(makeA())会进入哪个构造函数?
优化了,把makeA 改一下就调用移动复制了
A makeA(){
A a1;//加上这一句,我猜你用的是vs,vs只支持匿名复制消除,就是你一开始的代码,加上这句要启动复制消除,需要release版本,或者是gcc
return a1;
}
(A&& a) 这是啥类型啊 引用的引用?
应该是调用拷贝构造函数 A (const A&) {
makeA()会生成一个临时变量,然后用这个临时变量来初始化a,会调用移动构造函数。对于临时对象,移动语义是传递它们的最佳方式。
也就是makeA()调用无参构造函数,然后再调用移动构造函数初始化a。
//func(makeA());
//func(std::move(makeA()));
这两个函数都会进入到 func(A&&),但不知道构造函数为什么不一样?
A a(std::move(makeA()));会进入到移动构造,
但是A a(makeA());不会进入移动构造
计算机组成原理→DOS命令→汇编语言→C语言(不包括C++)、代码书写规范→数据结构、编译原理、操作系统→计算机网络、数据库原理、正则表达式→其它语言(包括C++)、架构……
对学习编程者的忠告:
单步类的实例“构造”或“复制”或“作为函数参数”或“作为函数返回值返回”或“参加各种运算”或“退出作用域”的语句对应的汇编代码几步后,就会来到该类的“构造函数”或“复制构造函数”或“运算符重载”或“析构函数”对应的C/C++源代码处。