使用模板将语义从一种类型移动到另一种类型

Question

是否有可能有一个 struct A 本身带有一个移动构造函数和一些可以从其他类型移动的构造函数（例如 struct B ）但是有一个模板推导正在进行，这样类型 B 不是直接硬编码为另一个移动构造函数：

 struct A{
      A()= default;
      A(A&&a){ /* A's move constructor */ }

      template<typename T>
      A(T&&t){ 
        /* (not a move constructor! by std., matches also lvalues) 

        move from t
        (meta programming to check if we can move the type) 
        */
      } 


}

struct B{};

上面的问题是

B b;
A a(std::move(b)); // select the templated constructor (which moves)

A a(b);  // selects the same copy constructor (which moves but we do not want!!

如何做到这一点？

Answer 1

最干净的解决方案是为左值创建一个更好的构造函数，然后=delete它：

struct A{
  A()= default;
  A(A&&a){ /* A's move constructor */ }

  template<class T>
  A(T&&t){ 
  } 
  template<class T>
  A(T const&&)=delete;
  template<class T>
  A(T&t)=delete;
};

在这种方法下，A a(b);会编译失败。

如果您希望左值遵循不同的路径，那么：

struct A{
  A()= default;
  A(A&&a){ /* A's move constructor */ }

  template<class T>
  A(T&&t){ 
    // rvalues end up here
  } 
  template<class T>
  A(T const&&t):A(t) {} // forward to lvalue ctor
  template<class T>
  A(T&t){
    // lvalues end up here
  }
};

使用 SFINAE 可能只值得复杂性如果你不知道你想要这两个选项中的哪一个 - 即，你从其他地方继承构造函数。 p>

最后一个极端情况——A(T const&&)（和A(A const&&)）在某些极端情况下可能会出现。我让它表现得像一个左值 ctor，因为你通常不能“从”T const&&“移动”。 （除非T 的胆量是mutable，即使那样我也会认为这是一个坏主意）。

Answer 2

如果希望构造函数模板接受任意右值，可以使用enable_if：

template <
  class T,
  class Sfinae = typename std::enable_if<!std::is_lvalue_reference<T>::value>::type
>
A(T &&t)

这只会在T 没有被推导出为左值引用时启用构造函数，这相当于说参数不是左值。

正如@dyp在cmets中提到的，也可以更明确的表达：

template <
  class T,
  class Sfinae = typename std::enable_if<std::is_rvalue_reference<T&&>::value>::type
>
A(T &&t)

Answer 3

只需在构造函数中使用B&&，就像您为A 所做的那样。