4

我了解 C++11 中的转发方法。

template <class T> void foo(T &&)

foo 现在将同时接受左值和右值。

我的问题是当我进一步超载 foo 时。考虑这个简单的代码：

template <class T> class A {};

template <class T> void foo(T &&obj) {}
template <class T> void foo(A<T> &&obj) {}

int main() {
  int i;
  A<int> a;
  foo(i); // calls foo(T &&) as I want
  foo(a); // calls foo(T &&), but I want it to call foo(A<T> &&)
  return 0;
}

如果我foo用A < int > &（左值）对象调用，它将调用foo(T &&)，而不是foo(A < T > &&)。在 的定义中foo(T &&obj)，我设法区分了 std 和自定义特征是否obj存在A<T>，但这会产生非常混乱的代码，因为我必须A从 调用方法obj，并且obj声明为T，而不是声明为A < T >。重新排序声明或添加左值重载并不能解决问题。

希望我让自己明白。我提供了一个简化的代码来解决问题。我正在实现一个自定义Optional < T >类（类似于boost::optional），我在构造函数中遇到了这个问题，因为我需要能够Optional < T >从另一个Optional < T >、Optional < U >或对象创建（T和分配）一个U对象。（其中T是要创建的可选对象所持有的类型，U是不同的类型，可转换为T）。

感谢您的时间。

4

1 回答 1

6

在函数调用的模板参数推导期间，“通用引用”的特殊规则仅适用于参数类型是 cv 非限定模板参数 [temp.deduct.call]/3

[P是函数模板的参数类型，是实参A的类型]

如果P是对 cv 非限定模板参数的右值引用并且参数是左值，则使用类型“左值引用A”代替A类型推导。[示例：

template <class T> int f(T&&);
template <class T> int g(const T&&);
int i;
int n1 = f(i); // calls f<int&>(int&)
int n2 = f(0); // calls f<int>(int&&)
int n3 = g(i); // error: would call g<int>(const int&&), which
// would bind an rvalue reference to an lvalue

—结束示例]

同样，这些规则不适用于参数类型A<T>&&。它不是“通用引用”，而是纯粹的右值引用类型。

如果您想在两个构造函数之间进行排名，其中A<T>-version 应该更专业（更好的匹配），您可以：

  • 提供两个三个重载A<T> const&，A<T>&（感谢Eric Niebler）以及A<T>&&除了T&&通用版本
  • 使用 SFINAE；提供两个带参数的重载T&&并检查是否T是A<T>
于 2013-11-03T23:41:36.463 回答