將參考函數作爲通用參考傳遞

Question

我正在努力理解將參考函數作爲通用參考傳遞給函數時會發生什麼（正在推導哪種類型）。讓我們假設我們有一個函數foo接受一個PARAM作爲通用參考：

template<typename T> 
void foo(T&& param) 
{ 
    std::cout << __PRETTY_FUNCTION__ << std::endl; 
} 

然後讓我們做到以下幾點：

void(&f)(int) = someFunction; 
foo(f); 

結果將是：

void foo(T&&) [with T = void (&)int]

這是完全可以理解的：我們將lvalue傳遞給函數foo，所以推導的類型是void（&）int，並且參數的類型將爲「void（& & &）int」，其參考摺疊規則變爲無效（&）int。參數將只是一個函數的左值引用。

但是，當我做到以下幾點：

void(&f)(int) = someFunction; 
foo(std::move(f)); 

foo將打印：

void foo(T&&) [with T = void (&)int]

這也正是像以前一樣！這裏發生了什麼？爲什麼結果與傳遞左值相同？我期望，因爲我們傳遞右值到foo，所推導的類型應該是T = void（int），並且參數應該變爲void（int323）。對於所有其他「常規」類型（如類，基本類型等），這總是會發生。爲什麼在處理函數引用時它有所不同？

Answer 1

A std::move是一個光榮的static_cast右值引用類型。該標準表示，對函數類型的右值引用依然會產生左值。每[expr.static.cast]/P1：

表達static_cast<T>(v)的結果是將所述表達v鍵入T的結果。 如果T是一個左值引用類型或對函數類型的右值引用，則結果爲左值;

關於std::move()函數調用，該函數返回一個右值參考指定轉換的結果的值的類別，我們也可以從[expr.call]/P10看到的函數調用是一個左值如果返回類型是一個rvalue參考函數類型：

函數調用是一個左值如果結果類型是左值引用類型或一個rvalue參考函數類型，一個x值如果結果的類型是對象類型的右值引用，以及其他值rwise。