C++11 如果P不是引用类型：如果a是引用类型，则a’；对于类型推断，s类型被忽略

我正在学习模板参数推导的内容，我已经阅读了（C++11草稿）很多次，我认为它遗漏了一条规则：
如果P不是引用类型：如果a是引用类型，则a的类型的ref限定符将被忽略以进行类型推断

---

---

这一定是我的错，但我不知道它在哪里。

A

是函数参数的类型。函数参数是一个表达式，表达式从来没有引用类型。假设你有

inti，
int&r=i。表达式
i
和表达式
r
都只有类型
int
，并且都是左值。两者都没有类型
int&
。在某些情况下，名称不作为表达式使用（
decltype
对于特定的语法结构有特殊的例外，它们不被视为表达式），在这种情况下，区别很重要，但使用对象作为函数参数不是其中之一