赋值运算符并不总是被调用

Question

我有一个带有两个函数的模板类，摘录如下所示；

template<class TYPE, class ARG_TYPE>
int MyClassT<TYPE, ARG_TYPE>::Add(ARG_TYPE newElement)
{ 
    TYPE Element = newElement; <--- TYPE operator= not called, shallow copy
'
'
}

和

template<class TYPE, class ARG_TYPE>
void MyClassT<TYPE, ARG_TYPE>::SetAt(int nIndex, ARG_TYPE newElement)
{ 
,
,
m_pData[nIndex] = newElement;  <--- TYPE operator= is called, deep copy

'
'
}

为什么第一种情况导致浅表副本，而第二种情况导致深表副本？ 我假设在第一种情况下将替换副本构造函数，但不知道为什么。

Answer 1

TYPE Element = newElement; <--- TYPE operator= not called, shallow copy

这应该调用copy-constructor，而不是operator=() ，因为这不是赋值语句。 这是初始化。

• 初始化调用复制构造函数。 在初始化时，将构造一个新对象。
• 赋值调用operator=() 。 在分配中，旧对象将更新为给定值。

因此，您是否为TYPE定义了一个复制构造函数？

Answer 2

我假设在第一种情况下将替换副本构造函数，但不知道为什么。

那正是正在发生的事情。 C ++标准规定了这种行为。 您应该使复制构造函数执行与赋值运算符相同的操作。

Answer 3

TYPE Element = newElement;

这实际上是结构，而不是复制运算符语法。 这样，它将调用复制构造函数。

TYPE Element;
Element = newElement;

将在构造对象上调用=时按您期望的方式调用赋值运算符-同样，将构造数组中的所有对象，这就是调用赋值运算符的原因。