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

Question

我看过相关的问题，他们主要讨论是否应该将 const 右值引用作为参数。但我仍然无法解释为什么在以下代码中调用了 非 const 移动构造函数：

    #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());
  }

Answer 1

这里是您的代码稍作修改的版本：

#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:

如果纯右值最初的类型为“cvT”，其中T 是无 cv 限定的非类、非数组类型，则表达式的类型调整为T 在任何进一步分析之前。

翻译：该语言没有const 限定的标量纯右值。它们根本不存在。