复制构造函数从 const 转换为非 const？

Question

考虑以下问题：

class A
{
public:
    int xx;
    A(const A& other)
    {
        cout << "A cctor" << endl;
        /*  do some stuff */
    }

    A(int x) : xx(x) {}  /* conversion constructor */

    };


int main()
{    
    A a = 1;
    A other = a;
    return 0;
}

在这种情况下（以及一般情况下）说 CCtor 从 const 转换为非 const 是否正确？

谢谢，罗恩

Answer 1

不，它不会转换为非 const 对象。考虑一下：

A a(42);
const A another = a;

这里，another 是一个 const 对象，是从非 const 对象创建的。

然而，更重要的是构造函数从现有对象创建一个新对象。新对象是否为 const 并不取决于现有对象。 const/非const旧/新对象的所有四种可能组合都是可能的。

Answer 2

从 A(int) 构造函数从 int 转换为 A 的意义上来说，是的，您的复制构造函数 A(const A&) 从 const A“转换”为 A。就此而言，它也会从非 const A“转换”为 A，因为 const 引用参数可以绑定到其中任何一个。

由于创建 const 对象与创建非 const 对象使用相同的构造函数，因此该复制构造函数也可以从 A 或 const A “转换”为 <代码>常量A。

我在引号中使用“转换”只是因为从类型转换为其自身或自身的 cv 限定版本可能是该术语的令人困惑的使用，通常您只是将其称为“复制”而不是转换。

构造函数参数也可以绑定到 A 的派生类的实例，因此您可能会说它将派生类转换为 A。这通常称为“切片”。

严格来说，复制构造函数本身并不转换任何内容，但到 A 的转换（无论是强制转换还是隐式转换）确实依赖于使用匹配的构造函数。所以我认为施工方可以承担很大一部分功劳。

Answer 3

复制构造函数创建现有对象的新副本，该对象可能是也可能不是 const。 A::A(const A& other) 中的 const 只是表示我们不会更改复制构造函数中的 other。事实上，如果您尝试修改 ctor 内部的其他内容，编译器会向您抱怨。

创建的对象也可能是或不是 const，具体取决于您如何声明它。

Answer 4

不知道你的意思。 A(const A&) 是一个典型的复制因子，它对其唯一参数具有“只读”访问权限。如果你传递任何常量，一切都很好。如果你传递任何非 const 的东西，对于 ctor 来说它就会变成 const 。正如您所说， A a = 1 是一个转换因子。 A other = a 是一个复制因子。问题是什么？

关于你的问题的标题，在 C++ 中，没有公平方法将const转换为非const。

class A
{
public:
    int xx;
    A(const A& other)
    {
        cout << "A cctor" << endl;
        /*  do some stuff */
        // other is const here - you can only call its
        // const methods and read all its data members            
    }

    A(int x) : xx(x) {}  /* conversion constructor */
        // at this point, x is not const, but it's a copy
        // of an object you've passed here, not the object itself
        // you can change x, it just doesn't matter - you
        // change the copy
    };


int main()
{    
    A a = 1; // a is not const, 1 is passed "by value", since it's primitive type
    A other = a; // a is not const, other is not const, a is passed by const reference
    return 0;
}

Answer 5

构造函数初始化一个新副本。而且从常量复制也没有问题。

不涉及转换。

Answer 6

CCtor 从 const 转换为非 const 是什么意思？

如果您的意思是，通过调用复制构造函数从 const 对象创建非常量对象，那么是的。但这并不意味着 const 对象本身在复制构造函数内（或在调用站点）变成非 const。它仅意味着新构造的对象是通过复制现有对象来创建的，该对象作为常量引用传递给复制构造函数。

Answer 7

否，复制构造函数通过将另一个类对象作为参数来创建类对象的副本。

由于为了构造作为参数传递的新对象，不需要对其进行修改，因此它作为 const 传递。