17

假设我有两个structs:

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

我有功能:

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

如何编写一个函数,分别g()采用Y&orY&&但完美转发X&or :X&&f()

template <typename T>
void g(T&& t) {
  if (is_lvalue_reference<T>::value) {
    f(t.x);
  } else {
    f(move(t.x));
  }
}

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

4

2 回答 2

25
template <typename T>
void g(T&& t) {
  f(std::forward<T>(t).x);
}
于 2011-12-22T20:14:32.147 回答
3

我认为这会起作用,尽管我不确定:

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));
}
于 2011-12-20T04:50:59.833 回答