Почему в этом случае вызывается неконстантный конструктор перемещения rvalue?

Question

Я видел связанные вопросы, и они в основном говорят о том, должны ли мы иметь постоянные ссылки в качестве параметра или нет. Но я все еще не могу понять, почему в следующем коде вызывается неконстантный конструктор перемещения :

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

Если изначально значение prvalue имеет тип « cv T», где T - неквалифицированный cv некласс, тип не массив, тип выражения корректируется на T до дальнейшего анализа.

Перевод: язык не имеет const -качественных скалярных значений. Их просто не существует.