为什么在这种情况下调用非常量右值移动构造函数?

时间:2018-06-27 16:13:03

标签: c++ language-lawyer move-semantics

我已经看到了相关的问题,他们大多谈论我们是否应该将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());
  }

1 个答案:

答案 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。它们根本不存在。