C++中function的实现原理详解

 更新时间:2022年12月09日 10:30:46   作者:Hello_Bugs  
类模版std::function是一种通用、多态的函数封装。function的实例可以对任何可以调用的目标实体进行存储、复制、和调用操作。本文主要聊聊它的实现原理,需要的可以参考一下

前言

类模版std::function是一种通用、多态的函数封装。std::function的实例可以对任何可以调用的目标实体进行存储、复制、和调用操作,这些目标实体包括普通函数、Lambda表达式、函数指针、以及其它函数对象等。std::function对象是对C++中现有的可调用实体的一种类型安全的包裹(我们知道像函数指针这类可调用实体,是类型不安全的)。

通常std::function是一个函数对象类,它包装其它任意的函数对象,被包装的函数对象具有类型为T1, …,TN的N个参数,并且返回一个可转换到R类型的值。std::function使用 模板转换构造函数接收被包装的函数对象;特别是,闭包类型可以隐式地转换为std::function

自己实现function

#include <iostream>
#include <string>
using namespace std;

template<typename T>
class MyFunction3 {

};

template<typename Ty, typename A1>
class MyFunction3<Ty(A1)> {

public:
	typedef Ty(*pFunction)(A1);//定义一个函数指针,指针指向的函数返回类型是Ty,有1个函数参数
	MyFunction3<Ty(A1)>(pFunction _pFunction) : _function(_pFunction) {
	}

	Ty operator()(A1 arg1) {
		return (*_function)(arg1);
	}

private:
	pFunction _function;
};


template<typename Ty,typename A1,typename A2>
class MyFunction3<Ty(A1,A2)> {

public:

	typedef Ty(*pFunction)(A1, A2);//定义一个函数指针,指针指向的函数返回类型是Ty,有两个函数参数
	MyFunction3<Ty(A1, A2)>(pFunction _pFunction):_function(_pFunction) {
	}
    
	Ty operator()(A1 arg1, A2 arg2) {
		return (*_function)(arg1, arg2);
	}

private:
	pFunction _function;
};


void showMes(string mes) {
	cout << "showMes(string mes)=" << mes << endl;
}


int sum1(int x, int y) {
	cout << "sum1 "<<(x+y) << endl;
	return x + y;
}
int sum2(int x, int y) {
	cout << "sum2 " << (x + y) << endl;
	return x + y;
}

int main() {

	MyFunction3<int(int, int)> f1(sum1);
	f1(20,30);


	MyFunction3<void(string)> f2(showMes);
	f2("AAAA");

	system("pause");
	return 0;
}

上面代码我们实现了两个模板的部分特例化

  • class MyFunction3<Ty(A1)> 一个函数参数的
  • class MyFunction3<Ty(A1,A2)> 两个函数参数的

所以问题来了...三个参数,四个参数,五个参数等若干个参数的怎么办?

可以使用C++11 可变参数类型, 具体如下

#include <iostream>
#include <string>
using namespace std;

template<typename T>
class MyFunction4 {

};


template<typename R , typename... A >
class MyFunction4<R(A...)> {

public:
	typedef R(*PFUNCTION)(A...);

	MyFunction4<R(A...)>(PFUNCTION _p) : function(_p) {}

	R operator()(A... arg) {
		return (*function)(arg...);
	}

private:

	PFUNCTION function;
};


void showMes1(string mes) {
	cout << "showMes(string mes)=" << mes << endl;
}

int sum11(int x, int y) {
	cout << "sum11 " << (x + y) << endl;
	return x + y;
}
int sum21(int x, int y) {
	cout << "sum21 " << (x + y) << endl;
	return x + y;
}

int main() {

	MyFunction4<int(int, int)> f1(sum11);
	f1(20, 30);


	MyFunction4<void(string)> f2(showMes1);
	f2("AAAA");

	system("pause");
	return 0;
}

到此这篇关于C++中function的实现原理详解的文章就介绍到这了,更多相关C++ function原理内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

相关文章

  • C++开发protobuf动态解析工具

    C++开发protobuf动态解析工具

    这篇文章主要为大家介绍了C++开发protobuf动态解析工具实现示例详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2023-01-01
  • OpenMP中For Construct对dynamic的调度方式详解

    OpenMP中For Construct对dynamic的调度方式详解

    在本篇文章当中主要给大家介绍 OpenMp for construct 的实现原理,与他相关的动态库函数分析以及对 dynamic 的调度方式进行分析,希望对大家有所帮助
    2023-02-02
  • 深入sizeof的使用详解

    深入sizeof的使用详解

    本篇文章是对sizeof的使用进行了详细的分析介绍,需要的朋友参考下
    2013-05-05
  • OpenCV透视变换应用之书本视图矫正+广告屏幕切换

    OpenCV透视变换应用之书本视图矫正+广告屏幕切换

    透视变换是指利用透视中心、像点、目标点三点共线的条件,按透视旋转定律使承影面绕迹线旋转某一角度,破坏原有的投影光线束,仍能保持承影面上投影几何图形不变的变换。本文将为大家介绍两个OpenCV透视变换应用,需要的可以参考一下
    2022-08-08
  • C++万能库头文件在vs中的安装步骤(图文)

    C++万能库头文件在vs中的安装步骤(图文)

    这篇文章主要介绍了C++万能库头文件在vs中的安装步骤(图文),文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2021-02-02
  • 一起来学习C++的动态内存管理

    一起来学习C++的动态内存管理

    这篇文章主要为大家详细介绍了C++的动态内存管理,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下,希望能够给你带来帮助
    2022-03-03
  • C++ 二维数组传参的四种方式

    C++ 二维数组传参的四种方式

    C++的二维数组里面,通过用数组名传参,传过去后数组名会退化成一个一维数组指针,所以C++的函数参数不能像C语言一样去写,本文主要介绍了C++ 二维数组传参的四种方式,具有一定的参考价值,感兴趣的可以了解一下
    2024-04-04
  • C++ 网络连通性检测的实现方法

    C++ 网络连通性检测的实现方法

    这篇文章主要介绍了C++ 网络连通性检测的实现方法的相关资料,这里提供实例帮助大家实现这样的功能,需要的朋友可以参考下
    2017-09-09
  • getdate()函数的用法实例

    getdate()函数的用法实例

    getdate()函数的用法实例,需要的朋友可以参考一下
    2013-03-03
  • C++ COM编程之什么是接口?

    C++ COM编程之什么是接口?

    这篇文章主要介绍了C++ COM编程之什么是接口?在C++中,可以使用抽象基类来实现COM接口,需要的朋友可以参考下
    2014-10-10

最新评论