返回常量对象并将其分配给非常量对象

Question

我发现了一个明显忽略 const-ness 的代码的奇怪行为：

#include <iostream>

using std::cerr;

class A
{
public:
    A() { cerr << "A::A()\n"; }
    A(const A &a) { cerr << "A::A(const A&)\n"; }
    A(A &&) { cerr << "A::A(A&&)\n"; }
    A & operator = (const A &a) { cerr << "A::operator=(const A&)\n"; return *this; }
    A & operator = (A &&a) { cerr << "A::operator(A&&)\n"; return *this; }
    ~A() { cerr << "A::~A()\n"; }

    const A get() const { cerr << "const A A::get() const\n"; return A(); }
    A get() { cerr << "A A::get()\n"; return A(); }
};

int main()
{
    const A a;
    A b = a.get();
}

首先，我在这里所期望的：a 是一个常量，因此调用了 get() 的常量版本。接下来，常量对象被返回，但左侧是非常量对象b，所以应该调用复制构造函数。哪个不是：

A::A()
const A A::get() const
A::A()
A::~A()
A::~A()

这种行为是 c++ 标准所期望的吗？ 那么，RVO 可以简单地忽略临时对象的常量性吗？以及如何在此处强制执行复制？

禁用复制省略的输出 (-fno-elide-constructors) 进行了额外的移动和预期的复制构造函数调用：

A::A()
const A A::light_copy() const
A::A()
A::A(A&&)
A::~A()
A::A(const A&)
A::~A()
A::~A()
A::~A()

如果a对象不是常量，那么就是两步不复制，这也是意料之中的。

PS。这种行为对我来说很重要，因为我看到的是打破浅拷贝 const-strictness：对于 get() 的 const 版本（实际上是 shallow_copy()），我需要确保不会修改返回的对象，因为返回的对象是浅拷贝，对浅拷贝的修改会影响“父”对象（可能是常量）。

Answer 1

那么，RVO 可以简单地忽略临时对象的常量性吗？

是的。 [class.copy]/p31（引用 N4527，其中包含一些澄清意图的 DR；强调我的）：

这种复制/移动操作的省略，称为复制省略，是 在以下情况下允许（可以结合到 消除多个副本）：

• 在具有类返回类型的函数中的 return 语句中，当 表达式 是非易失性自动对象的名称（其他 比函数参数或由 handler (15.3) 的 exception-declaration 具有与函数返回类型相同的类型 （忽略 cv-qualification），复制 /移动 直接构造自动对象可以省略操作 进入函数的返回值
• [...]
• 当尚未绑定到引用 (12.2) 的临时类对象将被复制/移动到具有相同类型的类对象时 （忽略 cv-qualification），可以省略复制/移动操作 将临时对象直接构造到 省略复制/移动
• [...]

第三个项目符号在这里适用；请注意，类似的规则也适用于 NRVO（第一个项目符号）。

Answer 2

如果你想禁止从 const 临时构造/赋值，你可以将这些方法标记为已删除：

A(const A &&) = delete;
A& operator = (const A &&) = delete;

Live Demo