带有`T&&`的参数类型和推导的`T`总是通用引用吗？

Question

参考

template<typename T>
void fun(ParamType param); // ParamType is some form of T, e.g. T, T&, T const, ...

fun(expr); // expr is an expression

我知道ParamType 中的&&“某处”不足以使ParamType 成为通用引用，例如ParamType = std::vector<T>&& 是右值引用。 && 需要在模板参数 T 旁边，因为它 (T&&)可能是一个通用引用。

但我也知道ParamType 中的T&& "somewhere" 仍然不够，例如ParamType = std::remove_reference_t<T&&> 不是通用引用。

因此，我几乎是在问ParamType 的“表格”是否有/有什么要求才能作为转发参考？。

不过，by doing a bit of research，我觉得我需要问一个更“二进制”的问题：

为简单起见，假设T 是唯一的模板参数，因此ParamType 是T 的唯一函数（在数学意义上），如果这两个都为真，是否正确

• T 以ParamType 的形式出现T&&
• fun 推导出T 和PramType（即T 不需要通过fun<T> 传递）

那么ParamType 是通用引用吗？

换句话说，如果ParamType 中包含T&& 并推导出T，那么它是否总是一个通用引用？

Answer 1

ParamType 的“形式”作为转发引用有什么要求？

来自标准（最新草案）：

[temp.deduct.call] 转发引用是对不代表类模板的模板参数的 cv 非限定模板参数的右值引用

---

其中包含T&& 和T 的参数类型是否总是推导出一个通用引用？

类型“在”什么并不重要，重要的是类型是什么。如果它是对函数模板参数的 cv 非限定右值引用，则它是转发引用。

例如，Foo<T&&> 有T&&“在其中”，但它不是转发引用。 ParamType 也不能是转发引用，因为它不是函数的模板参数。

Answer 2

不，不是。

我没有想到明显的案例！

template<typename T>
void fun(const T&&) {}

这里T&&是ParamType的一部分（即const T&&），T是推导出来的，但ParamType是一个右值引用。

（可能我没有想到这一点，因为我养成了将const放在类型后面的习惯，就像T const&&一样。）