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

概述我有以下代码： 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; } }, 我有以下代码：

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'

总结

以上是内存溢出为你收集整理的c – 为什么不能铿锵地推断出lambda地图的类型？全部内容，希望文章能够帮你解决c – 为什么不能铿锵地推断出lambda地图的类型？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。