将参数从模板转发到不同类型的函数

Question

我正在试验模板和转发。写了一些让我吃惊的简单实验代码。我想更好地理解这个机制，可能我在这里缺乏一些知识，因此我请求帮助。您能否解释一下为什么我在下面的代码中的两个调用无法编译（PLACE 2 和 3）？

#include <iostream>
#include <memory>
#include <utility>
using namespace std;

void h2rvalref(int&& i) { cout << "h2rvalref" << endl; }
void h2ref(int& i) { cout << "h2ref" << endl; }
void h2val(int i) { cout << "h2val" << endl; }

template <class T, class X>
void h1(T&& t, X x) { x(forward<T>(t)); }

int main()
{    
    // PLACE (1)
    h1<int, decltype(h2rvalref)>(1, h2rvalref);

    auto b = 1;
    // PLACE (2)
    // h1<int, decltype(h2ref)>(b, h2ref); // --> ERROR - no matching function..., cannot convert 'b' (type 'int') to type 'int&&'

    // PLACE (3)
    // h1<int, decltype(h2val)>(b, h2val); // --> ERROR - no matching function..., cannot convert 'b' (type 'int') to type 'int&&'
}

我不明白为什么当我有 int 类型的值 b 时，错误说明了将 int 转换为 int&& 的内容。

Answer 1

问题在于您正在为函数提供显式模板参数。当您为要转发的类型显式提供模板参数时，转发参数不起作用（除非您真的知道自己在做什么）。

template <class T, class X>
void h1(T&& t, X x) { x(forward<T>(t)); }

当你写h1<int, decltype(h2ref)>时，你会得到这样一个函数：

void h1(int&& t, decltype(h2ref) x) { x(forward<int>(t)); }

int&& 是与int 不同的类型，不能绑定到int 类型的左值，例如您传入的b；它只能绑定到int类型的右值

---

如果你不使用模板参数，它就可以工作：

h1(b, h2ref);

这将实例化一个如下所示的函数：

void h1(int& t, // int& && collapses to just int&
        decltype(h2ref) x) {
    x(forward<int&>(t));
}