c – 为什么不能铿锵地推断出lambda地图的类型？

发布时间：2020-12-16 10:36:55 所属栏目：百科来源：网络整理

导读：我有以下代码： enum RelationalOperator { LT,LTE,EQ,GTE,GT };std::mapRelationalOperator,bool (*)(const Point,const Point) ops = { { GTE,[](const Point a,const Point b) { return a = b; } },{ LTE,const Point b) { return a = b; } },{ EQ,const

我有以下代码：

enum RelationalOperator { LT,LTE,EQ,GTE,GT };
std::map<RelationalOperator,bool (*)(const Point&,const Point&)> ops = {
    { GTE,[](const Point& a,const Point& b) { return a >= b; } },{ LTE,const Point& b) { return a <= b; } },{ EQ,const Point& b) { return a == b; } },{ GT,const Point& b) { return a > b; } },{ LT,const Point& b) { return a < b; } },};

此代码位于模板内,Point是模板参数.

我试图用auto替换变量ops的类型,但Clang说：

src/utils.hpp:47:10: error: cannot deduce actual type for variable 'ops' with type 'auto' from initializer list

这是为什么？我认为关键字auto适用于这种情况,其中类型很长而且相当明显.

解决方法

首先,每个lambda都有自己的类型,因此给定一组不同的lambda,如果没有一些手动转换(通常将它们嵌入到std :: function< R(Args ...)>中,你不能将它们分解为单个类型).对象).

然后,当你编写这样的初始化时：

enum RelationalOperator { LT,};

真的发生了什么？它调用std :: map< RelationalOperator,bool(*)(const Point&,const Point&)>的std :: initializer_list构造函数.它还能够推断出给定的支撑表达式是这样一个映射的初始化列表：

std::initializer_list<std::pair<RelationalOperator,bool (*)(Point const&,Point const&)>>

然后,您的lambda会发生隐式转换.

现在如果你改写：

auto ops = {
    { GTE,};

它无法弄清楚支撑表达式(std :: initializer_list< T>中的T)表示什么类型的对象.这在gcc’s error message中非常明确：

main.cpp:8:29: error: unable to deduce 'std::initializer_list<auto>' from '{{1,2},{3,4}}'

     auto x = {{1,4}};

                             ^

main.cpp:8:29: note:   couldn't deduce template parameter 'auto'

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!