为什么原始到类类型的转换会破坏对象值？

Question

为什么在下面的代码中设置c1 = 10 会破坏对象的所有其他变量值（a、b、c）。该语句应该调用构造函数，并且在定义构造函数时，它将a 的值设置为10，但是当我尝试访问b 和c 的值时；它给了我垃圾值。

#include<iostream>
using namespace std;
class abc{
    private:
    // properties
    int a,b, c;
    
    public:
    
    void setdata(int x,int y)
    {
        a = x;
        b = y;
    }
    void showdata(){
        cout << "a = " << a << " b = " << b << "\n";
    }
    
    // constructors
    abc(){}
    
    abc(int k)
    {
        a=k;
    }
};
int main()
{
    
abc c1; // object intialization
c1.setdata(6,7); // setting values of properties
c1.showdata(); // printing values

c1 = 10; // primitive to class type conversion, constructor is being called
c1.showdata(); // why value of b and other variables is getting changed ?

return 0;

}

Answer 1

这相当于

c1 = abc(10);

构造函数abc(int k) 不会初始化值b 和c，因此成员变量包含一些随机值。这些来自临时abc(10) 对象的随机值随后被复制到c1。

---

构造函数abc()也是如此，这里两个成员变量都没有初始化，所以它们都包含“垃圾”值。当您在施工后立即致电showdata 时，您会看到这一点

abc c1;
c1.showdata();

Answer 2

事实上c1 = 10; 调用了两个不同的步骤：

• 一个临时的 abc 对象是从 abc(int k) 构造函数构造的 - 显然它的 b 和 c 值没有设置
• 然后使用将替换所有成员的移动分配运算符之一将该临时分配给c1。

之后，临时对象被销毁。

如果您有充分的理由不覆盖副本中的先前值，则可以提供自定义复制或移动赋值运算符。但请注意，这将用于每个作业。

Answer 3

你写的时候：

c1 = 10;

在右侧，converting constructor用于创建abc类型的临时对象。

接下来，赋值运算符用于将右侧的临时对象分配给左侧的对象。

另外，请注意，转换构造函数 abc(int k); 只分配 给数据成员 a 并保留数据成员 b 和 c 原样。但由于您没有显式初始化成员 b 和 c，它们具有不确定值。而使用/访问这些值（b 和 c）会导致未定义的行为。

这就是为什么建议这样做

始终在本地/块范围内初始化内置类型。

要解决这个问题，您可以使用类内初始化器，如下所示：

class abc{
    private:
    // USE IN-CLASS INITIALIZERS
    int a = 0,b = 0, c =0;
    
    public:
    
    void setdata(int x,int y)
    {
        a = x;
        b = y;
    }
    void showdata(){
        cout << "a = " << a << " b = " << b << "\n";
    }
    
    // constructors
    abc(){}
    
    abc(int k)
    {
        a=k;
    }
};

也不是为构造函数体内的数据成员a赋值，而是应该使用构造函数初始化列表来初始化它，如下所示：

class abc{
    private:
    // USE IN-CLASS INITIALIZERS
    int a = 0,b = 0, c =0;
    
    public:
    
    void setdata(int x,int y)
    {
        a = x;
        b = y;
    }
    void showdata(){
        cout << "a = " << a << " b = " << b << "\n";
    }
    
    // constructors
    abc(){}
    //use constructor initializer list
    abc(int k): a{k}
    {
       //no need to assign to `a` here
    }
};

Answer 4

你的线路

c1 = 10; 

创建一个新对象，其中只调用您的构造函数abc(int k)。现在您有一个临时对象，它将被移动到现有的c1 中。由于您只覆盖了您的变量a，因此没有明确设置所有其他变量。

我不知道您创建一个临时对象是否是预期行为，该对象将被移动到现有对象中。如果你不想要它，你应该让你的构造函数explicit。

顺便说一句：您的构造函数没有初始化变量a，而是覆盖了它。对于int 类型，没关系，但对于其他不可默认构造的类型，它将不起作用。

您应该始终使用构造函数初始化器来初始化您的变量，例如：

abc(int k): a{k}{}