函数模板推导左值引用和通用引用

Question

假设我有函数copy：

template <typename Buf>
void copy(
    Buf&& input_buffer,
    Buf& output_buffer) 
{}

其中input_buffer 是通用引用，output_buffer 是左值引用。

Reference collapsing rules 确保input_buffer 确实是，无论Buf 的推断类型如何，都是一个通用引用，而output_buffer 确实是一个左值引用。

不过，我想知道Buf 类型是如何在这里推导出来的。

我发现copy 传递了一个右值作为input_buffer，（显然，一个左值作为output_buffer）Buf 是一个非引用类型。

但是，如果我要传递两个左值，则程序无法编译：

int i = 4;
int j = 6;

_copy(i, j);

我希望编译器将Buf 推断为int&。按照引用折叠规则，我希望input_buffer 成为左值引用，即& + && -> &，并且output_buffer 也成为左值引用； & + & -> &.

所以问题是：为什么这段代码不能编译？

（注意：我不一定要求解决问题，而是要求解释。）

如果我需要详细说明，请随时询问。

编辑： 如果来电：copy(i, j); GNU GCC 编译器提供： 错误：没有匹配函数调用'copy(int&, int&)' 注意：候选：模板无效副本（Buf&&，buf&） 注意：模板参数扣除/替换失败： 注意：推断参数'Buf'（'int&'和'int'）的冲突类型

如果调用： copy<int&>(i, j); 好的。

Answer 1

a) 转发参考的类型扣除：

template<class T>
void f(T&& val) {}

[a.1] 当你传递左值时，T 被推导出为T&。所以你有

void f(T& && ){} -after reference collapsing-> void f(T&){}

[a.2] 当你传递右值时，T 被推导出为T。所以你有

void f(T&& ) {}

b) 除了转发参考之外的参考类型扣减：

template<class T>
void f(T& param){}

当你传递左值时，T 被推导出为T。 param 的类型为 T&，但模板参数是 T，而不是 T&。

所以下面的代码编译

int i = 10;
copy(20,i);

因为第一个参数的类型推导返回 Buf==int，因为您传递了 20 个右值。 第二个参数的推导结果也返回Buf==int。所以在这两个 case Buf 相同，代码编译。

无法编译的代码：

int i=1;
int j=2;
copy(i,j);

第一个参数的推导类型是什么？您正在传递 L 值，因此 Buf 是 int&。 第二次扣除返回Buf==int。这两种推导的类型不一样，这就是为什么 代码无法编译。