我已经看到了相关的问题,他们大多谈论我们是否应该将const rvalue引用作为参数。但是我仍然无法解释为什么在以下代码中调用非常量move构造函数:
#include <iostream>
using namespace std;
class A
{
public:
A (int const &&i) { cout << "const rvalue constructor"; }
A (int &&i) { cout << "non const rvalue constructor"; }
};
int const foo (void)
{
const int i = 3;
return i;
}
int main (void)
{
A a(foo());
}
答案 0 :(得分:13)
这是您的代码的稍作修改的版本:
#include <iostream>
#if 0
using T = int;
#else
struct T {T(int){}};
#endif
using namespace std;
class A {
public:
A (T const &&i) { cout << "const rvalue constructor"; }
A (T &&i) { cout << "non const rvalue constructor"; }
};
T const
foo (void)
{
const T i = 3;
return i;
}
int main()
{
A a(foo());
}
当T == int
时,会出现非常量重载。当T
是类类型时,将得到const重载。此行为属于第8.2.2节[expr.type] / p2:
如果prvalue最初具有类型“ cv
T
”,其中T
是cv不合格的非类,非数组类型,则在进行任何进一步分析之前,将表达式调整为T
。
翻译:该语言没有const
限定的标量prvalue。它们根本不存在。