完美转发对象成员

Question

假设我有两个struct s：

struct X {};
struct Y { X x; }

我有功能：

void f(X&);
void f(X&&);

如何编写一个g()函数Y&，分别为Y&&或X&但完美转发X&&或f()到template <typename T> void g(T&& t) { if (is_lvalue_reference<T>::value) { f(t.x); } else { f(move(t.x)); } } ：

{{1}}

上面的代码说明了我的意图，但随着参数数量的增加，它的可扩展性不高。有没有办法让它完美转发并使其可扩展？

Answer 1

template <typename T>
void g(T&& t) {
  f(std::forward<T>(t).x);
}

Answer 2

我认为这会奏效，虽然我不确定：

template<class T, class M>
struct mforward {
  using type = M&&; 
};
template<class T, class M>
struct mforward<T&, M> {
  using type = M&; 
};

template <typename T>
void g(T&& t) {
  f(std::forward<typename mforward<T, decltype(t.x)>::type>(t.x));
}