C++ 如何将Lambda转换成函数指针

 更新时间:2022年11月05日 11:16:44   作者:斗酒神僧  
这篇文章主要介绍了C++ 如何将Lambda转换成函数指针,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教

没有捕获任何变量的Lambda表达式可以转换成与它的调用原型一致的函数指针。

参考下面的代码

void example1()
{
    auto add = [](int x, int y)
    {
        return x + y;
    };
    int x = 2, y = 3;
    int z1 = add(x, y);                  // 调用Lambda
    int(*f)(int, int) = add;             // Lambda转换成函数指针
    int z2 = f(x, y);                    // 调用函数
    cout << z1 << ", " << z2 << endl;
}

Lambda是实现了函数调用运算符的匿名类(anonymous class)。对于每一个Lambda,编译器创建匿名类,并定义相应的数据成员存储Lambda捕获的变量。没有捕获变量的Lambda不包含任何含成员变量。

一个没有任何成员变量(包括没有虚函数表指针)的类型,在空指针上调用成员函数也不会有任何的问题,因为它的成员函数不会通过this指针访问内存。

当Lambda向函数指针的转换时,编译器为Lambda的匿名类实现函数指针类型转换运算符。

上面的例子中,编译器实现operator int(*)(int, int)。

下面是Visual C++编译器为语句int(*f)(int, int) = add生成的64位汇编代码:

lea         rcx,[add]  
call        <lambda_0e153cdea67ea404383c23c1022dd325>::operator int (__cdecl*)(int,int) 
mov         qword ptr [f],rax  

第1行,变量"add"的地址存入rcx寄存器;第2行,调用匿名类的函数指针类型转换运算符;第3行,返回结果存入变量f。

提示:在默认的成员函数调用约定__thiscall下,this指针通过rcx寄存器传递, 有关__thiscall的详细内容,请参考:https://docs.microsoft.com/en-us/cpp/cpp/thiscall

下面是类型转换运算符实现的一行关键汇编代码

lea         rax,[<lambda_0e153cdea67ea404383c23c1022dd325>::<lambda_invoker_cdecl>] 

这一行把匿名类的名为lambda_invoker_cdecl的函数地址存入用于返回结果的寄存器rax。因为只有类的静态函数可以转换成非成员函数指针,所以lambda_invoker_cdecl是静态函数。下面是此函数其中一段汇编代码:

xor         rcx,rcx  
call        <lambda_0e153cdea67ea404383c23c1022dd325>::operator() 

第一行,rcx寄存器清0,即this指针置0;第二行,调用operator()。

综合上面的分析,得出Lambda转换成函数指针的一种可能的实现方式,参考下面的代码:

typedef int(*FUNCADD)(int, int);

// 实现两个整数相加的函数对象
class add_function_object
{
public:
    // 函数调用运算符
    int operator()(int x, int y)const
    {
        return x + y;
    }
    // 函数指针类型转换运算符
    operator FUNCADD()const
    {
        return add;
    }
private:
    static int add(int x, int y)
    {
        add_function_object* obj = nullptr;
        return obj->operator()(x, y);
    }
};

void example2()
{
    int x = 2, y = 3;
    add_function_object add;
    int z1 = add(x, y);
    auto fadd = add.operator FUNCADD();
    int z2 = fadd(x, y);
    cout << z1 << ", " << z2 << endl;
}

从C++17起,没有捕获任何变量的Lambda可以用作值类型模板实参,参考下面的代码:

typedef int (*INTEGER_OPERATION)(int, int);

int do_integer_operation(INTEGER_OPERATION op, int x, int y)
{
    return op(x, y);
}

template <INTEGER_OPERATION op>
int integer_operation_t(int x, int y)
{
    return op(x, y);
}

void example3()
{
    auto add = [](int x, int y)
    {
        return x + y;
    };
    auto sub = [](int x, int y)
    {
        return x - y;
    };
    int z1 = integer_operation_t<add>(2, 3);
    int z2 = do_integer_operation(integer_operation_t<sub>, 2, 3);
    cout << "z1 : " << z1 << ", z2 : " << z2 << endl;
}

以上为个人经验,希望能给大家一个参考,也希望大家多多支持脚本之家。

相关文章

  • C++位操作实战掩码、提取与组装

    C++位操作实战掩码、提取与组装

    在C++编程中,位操作是基础而强大的技术,允许在二进制级别上操作数据,对性能优化、内存节省和底层硬件控制至关重要,文章探讨了掩码操作、字节提取与组装等技术,并介绍了bitset类模板的使用,帮助处理二进制数据,通过实例解析如何设置、清除、检查特定位
    2024-10-10
  • 详解C语言内核字符串转换方法

    详解C语言内核字符串转换方法

    在内核开发模式下,初始化字符串也需要调用专用的初始化函数,如下分别初始化ANSI和UNCODE字符串,本文我们就来看看代码是如何实现的
    2022-09-09
  • C语言递归操作用法总结

    C语言递归操作用法总结

    这篇文章主要介绍了C语言递归操作用法,结合实例形式总结分析了C语言递归操作的原理、实现技巧与相关应用,需要的朋友可以参考下
    2016-02-02
  • C++深入详解单例模式与特殊类设计的实现

    C++深入详解单例模式与特殊类设计的实现

    这篇文章主要为大家详细介绍了C++单例模式和特殊类的设计,单例模式这种类型的设计模式属于创建型模式,它提供了一种创建对象的最佳方式,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下,希望能够给你带来帮助
    2022-06-06
  • 详解C语言中的函数、数组与指针

    详解C语言中的函数、数组与指针

    这篇文章主要介绍了C语言中的函数、数组与指针,本文给大家介绍的非常详细,具有参考借鉴价值,需要的朋友可以参考下
    2017-02-02
  • C++常量详解一(常量指针与常量引用的初始化)

    C++常量详解一(常量指针与常量引用的初始化)

    这篇文章主要介绍了C++常量详解一(常量指针与常量引用的初始化),需要的朋友可以参考下
    2017-06-06
  • 使用C++描绘心形

    使用C++描绘心形

    本文给大家分享的是一个使用c++绘制心形的代码,虽然情人节已经过去了,但是只要有心,天天都是情人节~~哈哈,让那些说程序猿都是木头的人去死吧。
    2015-03-03
  • Qt qml实现动态轮播图效果

    Qt qml实现动态轮播图效果

    这篇文章主要为大家详细介绍了Qt和qml实现动态轮播图效果的相关知识,文中的示例代码讲解详细,具有一定的借鉴价值,有需要的小伙伴可以参考一下
    2024-12-12
  • C语言算法练习之数组元素排序

    C语言算法练习之数组元素排序

    这篇文章主要为大家介绍了C语言算法练习中数组元素排序的实现方法,文中的示例代码讲解详细,对我们学习C语言有一定帮助,需要的可以参考一下
    2022-09-09
  • C语言 数据结构堆排序顺序存储(升序)

    C语言 数据结构堆排序顺序存储(升序)

    这篇文章主要介绍了C语言 数据结构堆排序顺序存储(升序)的相关资料,需要的朋友可以参考下
    2017-05-05

最新评论