使用LVALUE参考时Sfinae，但使用RVALUE REF时成功

Question

我搜索了，但实际上找不到答案，为什么只有在Lvalue Ref通过论点时会发生Sfinae，但是当Rvalue Ref通过ARG时，构建成功：

template <typename T>
class A {
 public:
  using member_type = T;
};

template <typename AType>
typename AType::member_type f(AType&& m) {
  typename AType::member_type res{};
  return res;
}

void demo() {
  A<int> a;

  // ERROR: candidate template ignored: substitution failure 
  // [with AType = A<int> &]: type 'A<int> &' 
  // cannot be used prior to '::' because it has no members
  f(a); 

  // BUILD SUCCESS
  f(std::move(a)); 
}

Answer 1

当您拥有

template <typename AType>
typename AType::member_type f(AType&& m)

所谓的转发参考时。即使它看起来像是RVALUE参考，此参考类型也可以与LVALUES或RVALUE绑定。它的工作方式是，当您将lvalue传递给f，atype被推荐为t＆amp;，而当您传递rvalueAtype 仅推荐为t。

因此，当您进行f（a）; atype被推导为a＆lt; int＆gt;＆amp;，然后尝试形成返回类型a＆lt; int＆gt; :: member_type无效，因为参考没有类型成员。

相反，当您执行F（std :: Move（a））;， atype 被推荐为a＆lt; int＆gt; and code> and a＆lt ; int＆gt;确实具有member_type类型成员。

要解决此问题，您可以使用 std :::::::： decay_t 喜欢

template <typename AType>
auto f(AType&& m) {
  typename std::decay_t<AType>::member_type res{};
  return res;
}