C++拾遺--bind函數綁定

                        C++拾遺--bind函數綁定

前言

    函數綁定bind函數用於把某種形式的參數列表與已知的函數進行綁定，形成新的函數。這種更改已有函數調用模式的做法，就叫函數綁定。需要指出：bind就是函數適配器。

正文

適配器

#include <iostream>
#include <functional>
using namespace std;
using namespace std::placeholders;

int main()
{
	auto fun = [](int *array, int n, int num){
		for (int i = 0; i < n; i++)
		{
			if (array[i] > num)
				cout << array[i] << ends;
		}
		cout << endl;
	};
	int array[] = { 1, 3, 5, 7, 9 };
	//_1，_2 是佔位符
	auto fun1 = bind(fun, _1, _2, 5);
	//等價於調用fun(array, sizeof(array) / sizeof(*array), 5);
	fun1(array, sizeof(array) / sizeof(*array));
	cin.get();
	return 0;
}

運行

7 9

實例很簡單，大家一看就明白。但有必要說明一下：

問題：什麼是適配器？

適配器是一種機制，把已有的東西改吧改吧、限制限制，從而讓它適應新的邏輯。需要指出，容器、迭代器和函數都有適配器。

bind就是一個函數適配器，它接受一個可調用對象，生成一個新的可調用對象來適應原對象的參數列表。

bind使用的一般形式：

• auto newfun = bind(fun, arg_list);

其中fun是一函數，arg_list是用逗號隔開的參數列表。調用newfun()，newfun會調用fun(arg_list);

bind的常見用法一

在本例中，fun()的調用需要傳遞三個參數，而用bind()進行綁定後只需兩個參數了，因爲第三個參數在綁定時被固定了下來。減少函數參數的調用，這是bind最常見的用法。

2._1，_2是佔位符，定義於命名空間placeholders中。_1是newfun的第一個參數，_2是newfun的第二個參數，以此類推。

bind的常見用法二

bind的另一個常見的用法是更改參數的調用順序。如

int fun(int a, int b);

auto newfun = bind(fun, _2, _1);

調用newfun(1, 2);相當於調用fun(2, 1);

順便說下什麼是佔位參數？

int fun(int a, int b, int)
{
	return a + b;
}

調用方式類似於 fun(1, 2, 0);

這個fun函數的設計很有意思，它接受三個int型的參數，但第三個參數沒有給出變量名，以至於function body中無法使用該參數，既然已經設計出來了，卻不用？這是啥意思？

這個就是佔位參數，它爲函數的升級提供了預留的接口。

綁定類成員函數

#include <iostream>
#include <functional>
using namespace std;
using namespace std::placeholders;
class MyClass
{
public:
	void fun1(void)
	{
		cout << "void fun1(void)" << endl;
	}
	int fun2(int i)
	{
		cout << "int fun2(int i)" << " i = " << i << endl;
		return i;
	}
};
int main()
{
	cout << "******使用bind綁定類成員函數***by David***" << endl;
	MyClass my;
	//使用類對象綁定
	auto fun1 = bind(&MyClass::fun1, my);
	fun1();
	MyClass *p;
	//使用類指針綁定
	auto fun2 = bind(&MyClass::fun2, p, _1);
	int i = fun2(1);
	cout << "i = " << i << endl;
	cin.get();
	return 0;
}

運行

對類成員函數進行綁定與對普通函數進行綁定，稍有不同：對類成員函數綁定需要用到類對象或類指針。這個很好理解：類成員函數被封裝在類中，故不可隨便訪問，需藉助類對象或類指針。

下面一段代碼展示了類成員變量和類成員函數的類型

#include <iostream>
using namespace std;
class MyClass
{
public:
	int var;
	void fun(int i)
	{

	}
};
int main(void)
{
	cout << typeid(&MyClass::var).name() << endl;
	cout << typeid(&MyClass::fun).name() << endl;
	cin.get();
	return 0;
}

運行

從運行結果看，普通成員和類類型成員是不同的。

總結

函數綁定bind可以對普通函數或類成員函數進行綁定。它的作用有兩點：一是減少調用參數；二是更改參數調用順序。

本專欄目錄

• C++拾遺 目錄

所有內容的目錄

• CCPP Blog 目錄