1. 5種形式

可調(diào)用對(duì)象有5種形式，類(lèi)型各不同：

形式解釋

函數(shù)	返回值類(lèi)型和實(shí)參類(lèi)型
函數(shù)指針	返回值類(lèi)型和實(shí)參類(lèi)型
lambda表達(dá)式	類(lèi)類(lèi)型
bind創(chuàng)建的對(duì)象	todo
重載了函數(shù)調(diào)用運(yùn)算符的類(lèi)	類(lèi)類(lèi)型

2. 雖然可調(diào)用對(duì)象類(lèi)型不同，但是調(diào)用形式可以一樣

調(diào)用形式指明了調(diào)用返回的類(lèi)型以及傳遞給調(diào)用的實(shí)參類(lèi)型。不同的可調(diào)用對(duì)象可能具有相同的調(diào)用形式。

eg. 類(lèi)型都為int(int, int)

// ordinary function int add(int i, int j) { return i + j; }//lambda表達(dá)式，其產(chǎn)生一個(gè)未命名的函數(shù)對(duì)象類(lèi) auto mod = [](int i, int j) { return i % j; };// function-object class struct divide {int operator()(int denominator, int divisor){return denominator / divisor;} };//調(diào)用代碼 //使用map映射 map<string,function<int(int,int)> > binops; binops.insert({"+", add}); //error,不能將mode或divide insert到binope中，因?yàn)樗麄冾?lèi)型不是函數(shù)指針 binops.insert({"%", mod});

有個(gè)問(wèn)題：不能統(tǒng)一調(diào)用

3. 如何統(tǒng)一調(diào)用?

標(biāo)準(zhǔn)庫(kù)function類(lèi)型：標(biāo)準(zhǔn)庫(kù)function類(lèi)型是一個(gè)模板，定義在頭文件functional中，用來(lái)表示對(duì)象的調(diào)用形式。
使用時(shí)需要?jiǎng)?chuàng)建一個(gè)具體的function類(lèi)型。（必須提供其所表示的對(duì)象的調(diào)用形式）

操作解釋

function f;	f是一個(gè)用來(lái)存儲(chǔ)可調(diào)用對(duì)象的空f(shuō)unction，這些可調(diào)用對(duì)象的調(diào)用形式應(yīng)該與類(lèi)型T相同。
function f(nullptr);	顯式地構(gòu)造一個(gè)空f(shuō)unction
function f(obj)	在f中存儲(chǔ)可調(diào)用對(duì)象obj的副本
f	將f作為條件：當(dāng)f含有一個(gè)可調(diào)用對(duì)象時(shí)為真；否則為假。
定義為function的成員的類(lèi)型f(args)	調(diào)用f中的對(duì)象，參數(shù)是args
result_type	該function類(lèi)型的可調(diào)用對(duì)象返回的類(lèi)型
argument_type	當(dāng)T有一個(gè)或兩個(gè)實(shí)參時(shí)定義的類(lèi)型。
first_argument_type	第一個(gè)實(shí)參的類(lèi)型
second_argument_type	第二個(gè)實(shí)參的類(lèi)型

eg. function<int(int, int)>

function<int(int,int)> f1=add; //函數(shù)指針 function<int(int,int)> f2=divide(); //函數(shù)對(duì)象類(lèi)的指針 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}, //函數(shù)指針{"-",std::minus<int>()}, //標(biāo)準(zhǔn)庫(kù)函數(shù)對(duì)象{"/",divide()}, // 用戶定義的函數(shù)對(duì)象{"*",[](int i,int j){return i*j;}}, //未命名的lambda{"%",mod} //已命名的lambda對(duì)象 };//這個(gè)時(shí)候insert是可以的 binops.insert( {"+", add} ); //函數(shù)指針 binops.insert( {"/",divide()} ); //函數(shù)對(duì)象 binops.insert( {"%", mod} ); //lambda表達(dá)式 binops.insert({"+"},[](int a,in b){return add(a,b);});//lambda表達(dá)式 binops.insert({ "add" , [](int a, int b) {return add(a, b); } });//lambda表達(dá)式cout << binops["+"](10, 5)<<endl;//調(diào)用add(10, 5) cout << binops["-"](10, 5) << endl; cout << binops["/"](10, 5) << endl; //使用divide對(duì)象調(diào)用括號(hào)運(yùn)算符 cout << binops["*"](10, 5) << endl; cout << binops["%"](10, 5) << endl;//調(diào)用lambda函數(shù)對(duì)象 cout << binops["add"](10, 5) << endl;//調(diào)用lambda函數(shù)對(duì)象

3.1 不能直接將重載函數(shù)的名字存入 function 類(lèi)型的對(duì)象中，這樣做會(huì)產(chǎn)生二義性錯(cuò)誤。

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}); //錯(cuò)誤，不能區(qū)分是哪個(gè)add

3.2 解決方法

存儲(chǔ)函數(shù)指針而非函數(shù)名字：

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

• C++11新標(biāo)準(zhǔn)庫(kù)中的function類(lèi)與舊版本中的unary_function和binary_function沒(méi)有關(guān)系，后兩個(gè)類(lèi)已經(jīng)被bind函數(shù)代替。

【引用】

[1] 代碼functionObject.h

總結(jié)

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

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。