1. 5種形式

可調用對象有5種形式，類型各不同：

形式解釋

函數	返回值類型和實參類型
函數指針	返回值類型和實參類型
lambda表達式	類類型
bind創建的對象	todo
重載了函數調用運算符的類	類類型

2. 雖然可調用對象類型不同，但是調用形式可以一樣

調用形式指明了調用返回的類型以及傳遞給調用的實參類型。不同的可調用對象可能具有相同的調用形式。

eg. 類型都為int(int, int)

// ordinary function int add(int i, int j) { return i + j; }//lambda表達式，其產生一個未命名的函數對象類 auto mod = [](int i, int j) { return i % j; };// function-object class struct divide {int operator()(int denominator, int divisor){return denominator / divisor;} };//調用代碼 //使用map映射 map<string,function<int(int,int)> > binops; binops.insert({"+", add}); //error,不能將mode或divide insert到binope中，因為他們類型不是函數指針 binops.insert({"%", mod});

有個問題：不能統一調用

3. 如何統一調用?

標準庫function類型：標準庫function類型是一個模板，定義在頭文件functional中，用來表示對象的調用形式。
使用時需要創建一個具體的function類型。（必須提供其所表示的對象的調用形式）

操作解釋

function f;	f是一個用來存儲可調用對象的空function，這些可調用對象的調用形式應該與類型T相同。
function f(nullptr);	顯式地構造一個空function
function f(obj)	在f中存儲可調用對象obj的副本
f	將f作為條件：當f含有一個可調用對象時為真；否則為假。
定義為function的成員的類型f(args)	調用f中的對象，參數是args
result_type	該function類型的可調用對象返回的類型
argument_type	當T有一個或兩個實參時定義的類型。
first_argument_type	第一個實參的類型
second_argument_type	第二個實參的類型

eg. function<int(int, int)>

function<int(int,int)> f1=add; //函數指針 function<int(int,int)> f2=divide(); //函數對象類的指針 function<int(int,int)> f3=[](int i,int l){return i*j;}; //lambdacout << f1(4,2) << endl; // prints 6 cout << f2(4,2) << endl; // prints 2 cout << f3(4,2) << endl; // prints 8

eg2.

//使用map映射 map<string,function<int(int,int)> > binops={{"+",add}, //函數指針{"-",std::minus<int>()}, //標準庫函數對象{"/",divide()}, // 用戶定義的函數對象{"*",[](int i,int j){return i*j;}}, //未命名的lambda{"%",mod} //已命名的lambda對象 };//這個時候insert是可以的 binops.insert( {"+", add} ); //函數指針 binops.insert( {"/",divide()} ); //函數對象 binops.insert( {"%", mod} ); //lambda表達式 binops.insert({"+"},[](int a,in b){return add(a,b);});//lambda表達式 binops.insert({ "add" , [](int a, int b) {return add(a, b); } });//lambda表達式cout << binops["+"](10, 5)<<endl;//調用add(10, 5) cout << binops["-"](10, 5) << endl; cout << binops["/"](10, 5) << endl; //使用divide對象調用括號運算符 cout << binops["*"](10, 5) << endl; cout << binops["%"](10, 5) << endl;//調用lambda函數對象 cout << binops["add"](10, 5) << endl;//調用lambda函數對象

3.1 不能直接將重載函數的名字存入 function 類型的對象中，這樣做會產生二義性錯誤。

int add(int i,int j){return i + j;} Sales_data add(const Sales_data&,const Sales_data&)； map<string,funciton<int(int,int)>> binops; binops.insert({"+",add}); //錯誤，不能區分是哪個add

3.2 解決方法

存儲函數指針而非函數名字：

int (*fp) (int,int) = add; binops.insert("add",fp); //正確，fp指向正確的add版本

• C++11新標準庫中的function類與舊版本中的unary_function和binary_function沒有關系，后兩個類已經被bind函數代替。

【引用】

[1] 代碼functionObject.h

總結

以上是生活随笔為你收集整理的C++ Primer 5th笔记（chap 14 重载运算和类型转换）可调用对象与function的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。