std::function介紹

類模版std::function是一種通用、多型的函式封裝。std::function的例項可以對任何可以呼叫的目標實體進行儲存、複製、和呼叫操作，這些目標實體包括普通函式、Lambda表示式、函式指標、以及其它函式物件等。std::function物件是對C++中現有的可呼叫實體的一種型別安全的包裹（我們知道像函式指標這類可呼叫實體，是型別不安全的）。

通常std::function是一個函式物件類，它包裝其它任意的函式物件，被包裝的函式物件具有型別為T1, …,TN的N個引數，並且返回一個可轉換到R型別的值。std::function使用 模板轉換建構函式接收被包裝的函式物件；特別是，閉包型別可以隱式地轉換為std::function。

最簡單的理解就是：

通過std::function對C++中各種可呼叫實體（普通函式、Lambda表示式、函式指標、以及其它函式物件等）的封裝，形成一個新的可呼叫的std::function物件；讓我們不再糾結那麼多的可呼叫實體。一切變的簡單粗暴。

std::function的使用

#include <functional>
#include <iostream>
using namespace std;
 
std::function< int(int)> Functional;
 
// 普通函式
int TestFunc(int a)
{
    return a;
}
 
// Lambda表示式
auto lambda = [](int a)->int{ return a; };
 
// 仿函式(functor)
class Functor
{
public:
    int operator()(int a)
    {
        return a;
    }
};
 
// 1.類成員函式
// 2.類靜態函式
class TestClass
{
public:
    int ClassMember(int a) { return a; }
    static int StaticMember(int a) { return a; }
};
 
int main()
{
    // 普通函式
    Functional = TestFunc;
    int result = Functional(10);
    cout << "普通函式："<< result << endl;
 
    // Lambda表示式
    Functional = lambda;
    result = Functional(20);
    cout << "Lambda表示式："<< result << endl;
 
    // 仿函式
    Functor testFunctor;
    Functional = testFunctor;
    result = Functional(30);
    cout << "仿函式："<< result << endl;
 
    // 類成員函式
    TestClass testObj;
    Functional = std::bind(&TestClass::ClassMember, testObj, std::placeholders::_1);
    result = Functional(40);
    cout << "類成員函式："<< result << endl;
 
    // 類靜態函式
    Functional = TestClass::StaticMember;
    result = Functional(50);
    cout << "類靜態函式："<< result << endl;
 
    return 0;
}
 

對於各個可呼叫實體轉換成std::function型別的物件，上面的程式碼都有，執行一下程式碼，閱讀一下上面那段簡單的程式碼。總結了簡單的用法以後，來看看一些需要注意的事項：

• 關於可呼叫實體轉換為std::function物件需要遵守以下兩條原則：
  • 轉換後的std::function物件的引數能轉換為可呼叫實體的引數；
  • 可呼叫實體的返回值能轉換為std::function物件的返回值。
• std::function物件最大的用處就是在實現函式回撥，使用者需要注意，它不能被用來檢查相等或者不相等，但是可以與NULL或者nullptr進行比較。