[已解决]关于lambda表达式作为模板函数参数的问题

能吃能睡不能学

代码：

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

template <class T>
void sort(T arr[], int size, bool (*f)(T,T)){
        bool flag;
        for(int i=1;i<size;i++){
                flag=false;
                for(int j=0;j<size-i;j++)
                {
                        if(!f(arr[j],arr[j+1])){
                                T temp;
                                temp=arr[j];
                                arr[j]=arr[j+1];
                                arr[j+1]=temp;
                                flag=true;
                        }
                }
                if(!flag)        break;
        }
}

int main()
{
        int a[]={2,5,9,4,7,3,6,1,0,8};
        char *b[]={"aaa","bbb","ccc","ddd"};

        sort(a,10, [](int x,int y)->bool {return x>y;});
        for(int i:a)        cout<<i<<" ";
        cout<<endl;

        sort(a,10,[](int x,int y)->bool {return x<y;});
        for(int i:a)        cout<<i<<" ";
        cout<<endl;
       
        sort(b,4,[](char *x,char *y)->bool{return strcmp(x,y)<0;});
        for(int i=0;i<4;i++)        cout<<b[i]<<" ";
        cout<<endl;

        sort(b,4,[](char *x,char *y)->bool{return strcmp(x,y)>0;});
        for(int i=0;i<4;i++)        cout<<b[i]<<" ";
        cout<<endl;

        return 0;
}

以上代码为一个冒泡排序的通用模板，当我用lambda表达式作为sort的实参时会报错，形参和实参不匹配，想问下形参应该怎样写？？谢谢！
祝大家节日快乐~

最佳答案

月排行榜 / 总排行榜

Croper

2019-10-24 21:15:09

嗯。。最主要的原因是因为lambda表达式和函数指针是两个不同的类型；

在平常的使用中，经常吧lambda和函数指针混用是因为其中有一个隐式类型转换；

但是一旦套用到模板中，模板的参数通常不会进行类型转换（才能生成对应类型的函数）。换句话说，在其中不会进行lambda到函数指针的默认类型转换，而是直接报类型不匹配的错误。
参考algorithm中自带的sort函数

template<class _RanIt,

[code]
        template<class _RanIt,
        class _Pr> inline
        void sort(const _RanIt _First, const _RanIt _Last, _Pr _Pred)
        {        // order [_First, _Last), using _Pred
        _Adl_verify_range(_First, _Last);
        const auto _UFirst = _Get_unwrapped(_First);
        const auto _ULast = _Get_unwrapped(_Last);
        _Sort_unchecked(_UFirst, _ULast, _ULast - _UFirst, _Pass_fn(_Pred));
        }

可以看到，标准库中的sort函数直接将你放置函数指针的形参的位置模板化了，同样，你也可以这样修改

template <class T,class T2>
void sort(T arr[], int size, T2 f)

或者另一个方法，是在主函数中将lambda表达式强制转换为函数指针

sort(a,10,(bool (*)(int,int))([](int x,int y)->bool {return x>y;}));

跳转到最佳答案楼层

bin554385863

bool (*f)(T,T)--->函数指针;
[](int x,int y)->bool {return x>y;}--->lambda表达式;

你觉得它俩格式匹配么?
还有C++有自己的sort函数,最好换个函数名比如_sort()

能吃能睡不能学

bin554385863 发表于 2019-10-24 16:53
bool (*f)(T,T)--->函数指针;
[](int x,int y)->bool {return x>y;}--->lambda表达式;

我知道不匹配，我是想问下怎么修改啊大佬

bin554385863

能吃能睡不能学 发表于 2019-10-24 18:15
我知道不匹配，我是想问下怎么修改啊大佬

怎么修改也不可能统一它俩的类型

Croper

嗯。。最主要的原因是因为lambda表达式和函数指针是两个不同的类型；

在平常的使用中，经常吧lambda和函数指针混用是因为其中有一个隐式类型转换；

但是一旦套用到模板中，模板的参数通常不会进行类型转换（才能生成对应类型的函数）。换句话说，在其中不会进行lambda到函数指针的默认类型转换，而是直接报类型不匹配的错误。
参考algorithm中自带的sort函数

template<class _RanIt,

[code]
        template<class _RanIt,
        class _Pr> inline
        void sort(const _RanIt _First, const _RanIt _Last, _Pr _Pred)
        {        // order [_First, _Last), using _Pred
        _Adl_verify_range(_First, _Last);
        const auto _UFirst = _Get_unwrapped(_First);
        const auto _ULast = _Get_unwrapped(_Last);
        _Sort_unchecked(_UFirst, _ULast, _ULast - _UFirst, _Pass_fn(_Pred));
        }

可以看到，标准库中的sort函数直接将你放置函数指针的形参的位置模板化了，同样，你也可以这样修改

template <class T,class T2>
void sort(T arr[], int size, T2 f)

或者另一个方法，是在主函数中将lambda表达式强制转换为函数指针

sort(a,10,(bool (*)(int,int))([](int x,int y)->bool {return x>y;}));

能吃能睡不能学

Croper 发表于 2019-10-24 21:15
嗯。。最主要的原因是因为lambda表达式和函数指针是两个不同的类型；

在平常的使用中，经常吧lambda和函 ...

非常感谢！！！