具有 STL 向量的复制构造函数与赋值运算符

Question

有这个课程：

class A
{
    int number;
    int number2;
public:
    A(int _number):number(_number),number2(0)
    {
        cout<<"Normal constructor\n";
    }
    A()
    {
        cout<<"Default constructor\n";
    }

    A(const A& source)
    {
        number = source.number;
        number2 = source.number2;
        cout<<"Copy constructor\n";
    }

    A & operator=(const A& source)
    {
        number = source.number;
        number2 = source.number2;
        cout<<"Assignment operator\n";
        return *this;
    }
};

---

如果vector<A> obj {1,2,3}被创建，normal constructor被调用3次，因为它没有被声明为explicit，因此它被用作converting constructor。然后copy constructor被调用了3次。

• 是否可以在跳过复制操作时声明和实例化 vector？

如果执行vector<A> obj_1;，则会创建一个可以容纳A 类型对象的空向量——没有调用构造函数，但对象存在。 p>

• 为什么没有调用构造函数？
• 我是否声明了对象完全可以使用？

---

来自this link：

1. 复制构造函数用于从其他对象的数据初始化以前未初始化的对象。

2. 赋值运算符用于将先前初始化的对象的数据替换为其他对象的数据。

---

执行obj_1 = obj，如果我的 obj_1 先前已初始化，会导致在我的类 A 中调用 copy constructor 而不是 operator= 函数，正如我所期望的那样？

另外，在vector 内部已经有一个operator= 函数。我怎么知道每个人什么时候被调用？

vector<A> obj {1,2,3};
vector<A> obj_1;
obj_1 = obj;  // Why copy constructor called instead of function operator= inside my class

Answer 1

有什么方法可以在跳过复制操作时声明和实例化 vector？

没有。当您执行vector<A> obj {1,2,3} 时，编译器会根据提供的值创建std::initializer_list<A>。 std::initializer_list 创建是您看到三个普通构造函数调用的原因。然后向量必须复制这些元素，因为这些元素的底层存储是const。没有办法通过列表初始化来解决这个问题。即使vector<A> obj {A(1),A(2),A(3)} 仍然会导致复制。

如果你不想这样，那么你可以做的一件事是使用reserve为元素创建存储，然后使用emplace_back直接构造向量中的对象，如

vector<A> obj;
obj.reserve(3);
for (int i = 1; i < 4, ++i)
    obj.emplace_back(i);

如果我的 obj_1 先前已初始化，则执行 obj_1 = obj 会导致在我的 A 类中调用复制构造函数而不是 operator= 函数，正如我所期望的那样？

这是因为obj_1 是空的。因为它是空的，所以没有元素可以调用赋值运算符。相反，它所做的是在 obj_1 中创建元素，这些元素是 obj 的副本，最有效的方法是只调用复制构造函数，而不是默认构造对象然后分配给它们。

如果你有

vector<A> obj {1,2,3};
vector<A> obj_1 {3, 4, 5};
obj_1 = obj; 

然后您会看到使用了赋值运算符，因为实际上存在要赋值的对象。