c++ - 模板参数推导 - 推导 T 并使用 T&&

Question

举例

template <typename T>
void function(T&& arg)

有人可以详细解释它是如何结束函数签名变成左值的 T& 和传入的右值的 T&& 吗？我知道不知何故(需要标准行)T -> T& 在左值的情况下和 T -> T 在重值的情况下然后通过组合 & 和 && 它产生左值/右值引用。

Answer 1

规则可在第 8.3.2p6 节中找到。

If a typedef, a type template-parameter, or a decltype-specifier denotes a type TR that is a reference to a type T, an attempt to create the type "lvalue reference to cv TR" creates the type "lvalue reference to T", while an attempt to create the type "rvalue reference to cv TR" creates the type TR.

或者表格形式:

TR   R

T&   &  -> T&  // lvalue reference to cv TR -> lvalue reference to T
T&   && -> T&  // rvalue reference to cv TR -> TR (lvalue reference to T)
T&&  &  -> T&  // lvalue reference to cv TR -> lvalue reference to T
T&&  && -> T&& // rvalue reference to cv TR -> TR (rvalue reference to T)