const T＆和T＆在模板演繹中有什么區別

Question

#for example:

#1:
template <typename T>
void func(T &) {}
int a;
const int b;
func(a);           // T ->  int
func(b);           // T ->  const int
func(5);           // wrong. 5 is a right value

#2:
template <typename T>
void func(const T &) {}
int a;
const int b;
func(a);     // T ->  int
func(b);     // T ->  int   
func(5);     // T ->  int

#3
template <typename T>
void func(T &&) {}
func(5);     // T ->  int

我的問題是：

為什么第一個代碼不起作用，為什么這與左/右值有關;

為什么3'中的T不是const int

Answer 1

為什么第1個代碼不起作用;為什么這與左/右值有關;

對於第一種情況， T將推導為int ，然后參數類型為int & ，這是對非const的左值引用。 5是一個rvalue，它不能綁定到非const的lvalue-reference，然后調用失敗。

對於第二種情況，函數的參數類型是const int & ，即對const的lvalue-reference，它可以綁定到像5這樣的rvalue。

為什么3'中的T不是const int

模板參數推導不會增加 const如果參數類型不是const 。 5是int類型（它是一個rvalue），但它的類型不是const int 。

在另一方面，我們有轉發參考來處理左值/右值。 例如

template <typename T>
void func(T &&) {}
int a;
const int b;
func(a);           // T ->  int&;       parameter type -> int&
func(b);           // T ->  const int&; parameter type -> const int&
func(5);           // Fine. T ->  int;  paramter type -> int&&

Answer 2

這一切都歸結為表達式的屬性。 5是表達式。 它有一個類型和一個值類別。 5的類型是int ，而不是const int ，只是普通的int 。 它是一個prvalue（這是值類別）。

因此，當推導T& 5 ，該類型只能推導為int 。 這意味着合成函數接受int& ，它不能綁定到rvalue。

當推導出T const& ，類型T仍然只能在模板參數推導的適當規定下推導為int 。 但是現在合成函數接受一個int const& ，並且可以很好地綁定到右值。