c++中复制初始化使用什么特殊的成员函数？

Question

我正在测试 c++ 类初始化。

class Point
{
private:
    int x,y;
public:
    Point() = delete;
    Point(int a):x(a), y(0) { std::cout << "Conversion" << std::endl;}
    
    Point(const Point&) { std::cout << "Copy constructor" << std::endl;}
    //Point(const Point&) = delete;
    Point& operator=(const Point&) = delete;

    Point(Point&&) = delete;
    Point& operator=(Point&&) = delete;
};

int main()
{
    Point p1(5); //case1
    Point p2 = 5; //case2

    return 0;
}

在上面的代码中，我认为“5”首先会被case1/2的转换构造函数转换为临时对象。然后，我预计必须使用复制构造函数来初始化 p1 和 p2。但是，事实并非如此。 当我运行这段代码时，我在控制台中只看到了两条“转换”消息。没有“复制构造函数”消息。

尽管我删除了所有复制构造函数、移动构造函数、复制赋值运算符和移动赋值运算符，但这段代码运行良好。

如果您告诉我在为“5”创建临时对象后将使用什么特殊成员函数进行初始化，我将不胜感激，

我正在使用带有 std=c++17 选项的 g++ 编译器。

Answer 1

案例一

在情况 1 中使用 converting constructor，因为您提供了一个可以将 int 转换为 Point 的构造函数。这就是为什么这个构造函数被称为转换构造函数的原因。

案例二

来自mandatory copy elison

在以下情况下，编译器需要省略类对象的复制和移动构造，即使复制/移动构造函数和析构函数具有可观察到的副作用。对象直接构建到存储中，否则它们将被复制/移动到。 复制/移动构造函数不需要存在或可访问：

在对象的初始化中，当初始化表达式是与变量类型相同的类类型（忽略cv-qualification）的prvalue时。

在情况 2 中，即使您 delete 复制/移动构造函数，也只会使用转换构造函数。这是由于上面引用的强制复制 elison（在 C++17 中）。