引用作为参数的模板参数推导

Question

我正在尝试深入理解模板参数推导。 我不明白的一点是，我应该如何应用标准中的规则 here 用于 A 和 P 类型 对于以下情况（遗憾的是，cppreference.com 上没有示例，请参阅下面的相关部分）

template<typename T>
void foo(T t);

void call_with_reference(int& r) {
    foo(r)
}

• P 不是 reference typ:
  这给了P := T
• A := int&

-> 匹配 P 和 A 得到：T 被推导出为 int&

这显然是错误的。标准中规定来自A 的引用被删除 的规则在哪里？非常感谢您提供一个不含糊的、明确的答案。

相关部分：

Answer 1

A 是表达式的类型。表达式类型由[expr.type]/1描述：

如果一个表达式最初的类型是“对 T 的引用”（[dcl.ref]，[dcl.init.ref]），则类型被调整为 T。

所以这里A 是int。

这个表达式是一个lvalue，但是因为P不是一个引用，所以它不会发挥任何作用。