C++构造函数问题:给构造函数传入一个右值而不是右值的引用,会进入哪个构造函数?

#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++)、架构……

对学习编程者的忠告:

img

多用小脑和手,少用大脑、眼睛和嘴,会更快地学会编程!
眼过千遍不如手过一遍!
书看千行不如手敲一行!
手敲千行不如单步一行!
单步源代码千行不如单步Debug版对应汇编一行!
单步Debug版对应汇编千行不如单步Release版对应汇编一行!
不会单步Release版对应汇编?在你想单步Release版C/C++代码片断的前面临时加一句DebugBreak();重建所有,然后在IDE中运行。(一般人我不告诉他!

img

单步类的实例“构造”或“复制”或“作为函数参数”或“作为函数返回值返回”或“参加各种运算”或“退出作用域”的语句对应的汇编代码几步后,就会来到该类的“构造函数”或“复制构造函数”或“运算符重载”或“析构函数”对应的C/C++源代码处。