lundi 27 février 2017

Using std::forward on sub fields

I was experimenting with how std::move and std::forward differs, and I have found that I am not able to use std::forward on class field:

name = std::forward<T>(rhs.name);

below is full example. The error I am getting under gcc 6.3 is:

C:/PROGRA~1/MINGW-~1/X86_64~3.0-P/mingw64/lib/gcc/x86_64-w64-mingw32/6.3.0/include/c++/bits/move.h:89:7: error: static assertion failed: template argument substituting _Tp is an lvalue reference type
       static_assert(!std::is_lvalue_reference<_Tp>::value, "template argument"
       ^~~~~~~~~~~~~

I understand that the cause is probably because T is of type WrongUseOfMove. But I wonder if forwarding only a sub variable is possible. For example I could use passed in rhs parameter and forward its fields to different class variables.

#include <iostream>
#include <string>
#include <vector>

class WrongUseOfMove {
 public:
  template<typename T>
  WrongUseOfMove(T&& rhs)
  {
    //name = std::move(rhs.name); // Very wrong!!
    //name = std::forward<T>(rhs.name); // Does not compile, T is WrongUseOfMove instead decltype(rhs.name);
    name = std::forward<decltype(rhs.name)>(rhs.name); // compiles - but is it correct? 
    std::cout << __PRETTY_FUNCTION__ << "\n";
  }

  WrongUseOfMove(){}

  std::string name;
};

int main()
{
  WrongUseOfMove wm;
  WrongUseOfMove wm2 = wm;
}

http://ift.tt/2lMaBze

Aucun commentaire:

Enregistrer un commentaire