复制初始化：为什么即使关闭了复制省略，也没有调用移动或复制构造函数？

Question

我的问题不同，因为我可能 "know" 复制省略。我正在学习复制初始化。但是，以下代码让我感到困惑，因为我已经使用 -fno-elide-contructors -O0 选项关闭了复制省略。

#include <iostream>
using namespace std;
class test{
public :
    test(int a_, int b_) : a{a_}, b{b_} {}
    test(const test& other)
    {
        cout << "copy constructor" << endl;
    }
    test& operator=(const test& other)
    {
        cout << "copy assignment" << endl;
        return *this;
    }
    test(test&& other)
    {
        cout << "move constructor" << endl;
    }
    test& operator=(test&& other)
    {
        cout <<"move assignment" << endl;
        return *this;
    }

private :
    int a;
    int b;
};

test show_elide_constructors()
{
    return test{1,2};
}

int main()
{
    cout << "**show elide constructors**" <<endl;
    show_elide_constructors();
    cout << "**what is this?**" <<endl;
    test instance = {1,2};//why neither move constructor nor copy constructor is not called?
    cout << "**show move assignment**" <<endl;
    instance = {3,4};
    return 0;
}

我首先使用命令构建： g++ -std=c++11 -fno-elide-constructors -O0 main.cpp -o main 我得到的结果如下：

**show elide constructors**
move constructor
**what is this?**
**show move assignment**
move assignment

然后我使用不带 -fno-elide-constructor -O0 选项的命令进行构建，以证明 g++ 确实在我之前的构建中关闭了优化。

那么，为什么test instance = {1,2}不调用复制构造函数或移动构造函数呢？不是从隐式转换创建的临时对象吗？并且 instance 应该由该临时对象初始化？

Answer 1

why test instance = {1,2} does not call copy constructor or move constructor?

不应该。 test instance = {1,2}是copy-list-initialization，作为效果，直接使用合适的构造函数（即test::test(int, int)）构造对象instance。无需构造临时文件并在此处调用 copy/move 构造函数。

Answer 2

好的。我在这里添加一些补充信息。 : Copy initialization, List initialization.

所以T object = {other}确实是复制初始化直到c++11，它认为它是列表初始化。

顺便说一句，如果构造函数是显式的，调用将失败。

复制初始化：为什么即使关闭了复制省略，也没有调用移动或复制构造函数？

copy initialization : why move or copy constructor was not called even if copy-elision is turned off?

c++

initialization

implicit-conversion

copy-elision

copy-initialization