10

我有 2 个重载函数 - 一个采用 L 值，另一个采用 R 值。目的是使函数可以像这样调用：

Obj obj;
foo(obj);

或者：

foo(Obj());

所以，我写了 2 个重载函数：

template <class T>
void foo(T& v)
{
  /* ... function body code goes here ... */
}

template <class T>
void foo(T&& v)
{
    foo(v);
}

int main()
{
    foo(int(5));
}

R 值重载只需要委托给 L 值重载。我理解它的方式，一旦我进入函数体，任何使用v都会给我一个 L 值引用，除非我特别使用std::moveor std::forward。所以foo(v)在 R 值重载中调用应该自动调用 L 值版本（而不是递归。）

但是，编译器抱怨歧义：

test.cpp: In function ‘void foo(T&&) [with T = int]’:
test.cpp:305:12:   instantiated from here
test.cpp:299:2: error: call of overloaded ‘foo(int&)’ is ambiguous

我不明白为什么这是模棱两可的。在 R 值重载中的调用foo()应该清楚地调用 L 值版本。那么为什么不编译呢？

4

1 回答 1

6

短版：尝试更新您的编译器。您的版本没有实现http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1164。

您的第二个模板是“完美转发”模板。任何类型为 的函数模板形参T&&，其中T是模板形参，当实参为右值时，将推导出该模板形参到X（实参类型在哪里），如果实参为左值，则推导出为。XX&

在您的情况下，您传递了一个右值，因此T被推断为Obj（并且int在您的真实代码中）。如果您将传递一个变量名称或其他左值，那么您的第二个模板将具有参数类型Obj&（T 将是Obj&，并且&&应用于此类类型保持Obj&）。

但是另一个模板也有这样的参数类型。因此，在重载解析期间，参数到参数的转换是相同的（完全匹配），并且需要检查另一个标准，即两个模板的特殊性，在部分排序规则下。如果一个模板比另一个模板更专业，那么它将由编译器选择。如果没有比另一个更专业的模板，最终的歧义就会上升。

在这种情况下，第一个模板比第二个模板更专业，因此编译器最终应该调用第一个模板。

于 2012-07-24T06:54:22.733 回答