C++ Primer 5th笔记（chap 19 特殊工具与技术）将成员函数用作可调用对象

Posted 2021-11-05 thefist11

1. 通过一个指向成员函数的指针进行函数调用

利用.*或者->*运算符将该指针绑定到特定的对象上。

与普通的函数指针不同，成员指针不是一个可调用对象

• 不支持函数调用运算符。
• 不能直接将一个指向成员函数的指针传递给算法

auto fp = &string::empty;   // fp指向string的empty函数
// 错误, 必须使用.*或者->*调用成员指针
find_if(svec.begin(), svec.end(), fp);

-> 
// 在find_if内部试图执行如下代码, 但是要想通过成员指针调用函数, 必须使用该->*运算符, 所以失败
if (fp(*it))

2. 使用fuction生成一个可调用对象

vector<string> svec;
function<bool (const string&)> fcn = &string::empty;
find_if(svec.begin(), svec.end(), fcn);

/ / 假设it 是 find_if 内部的迭代器，则*it 是给定范围内的一个对象
if (fcn (*it) )  //假设 fcn 是 find_if 内部的一个可调用对象的名字
<=>
if ( ( (*it).*p) () ) //假设 p 是 fen 内部的一个指向成员函數的指针

2.1 定义function对象

指定该对象所能表示的函数类型， 即可调用对象的形式。

如果可调用对象是一个成员函数，

• 第一个形参必须表示该成员是在哪个(一般是隐式的） 对象上执行的。
• 指明对象是否是以指针或引用的形式传入

vector<string*> pvec;
function<bool (const string*)> fp = &string::empty;
find_if(pvec.begin(), pvec.end(), fp);

2.2 使用mem_fn生成一个可调用对象

使用标准库功能mem_fn来让编译器负责推断成员的类型。

find_if(svec.begin(), svec.end(), mem_fn(&string::empty));
 
// mem_fn生成的对象可以通过对象调用, 也可以通过指针调用
//可以认为 mem fn 生成的可调用对象含有一对重载的函数调用运算符： 一个接受 string*， 另一个接受 strings
auto f = mem_fn(&string::empty);  // f接收一个string或者一个string*
f(*svec.begin());    // 正确: 传入一个string对象, f使用.*调用empty
f(&svec[0]);         // 正确: 传入一个string指针, f使用->*调用empty

2.3 使用bind生成一个可调用对象

使用 bind 时， 必须将函数中用于表示执行对象的隐式形参转换成显式的

auto it = find_if(svec.begin(), svec.end(), bing(&string::empty, _1));
 
// bind生成的可调用对象第一个实参既可以是string的指针, 也可以是string的引用
auto f = bind(&string::empty, _1);
f(*svec.begin());// 正确： 实参是一个 string, f 使用.*调用 empty
f(&svec[0]);// 正确： 实参是一个 string 的指针， f 使用->*调用 empty